35125

Автор(ов): 

1

Параметры публикации
Тип публикации: 
Книга (брошюра, монография, стандарт)
Название: 
Лекции по математике: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. Т.06
Сведения об издании: 
4-е изд.
Сведения об издании: 
2-ое и более издание
ISBN/ISSN: 
978-5-397-04993-1
Город: 
Москва
Издательство: 
URSS
Год издания: 
2015
Объём, стр.: 
208
Аннотация
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта --- вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Гёделя, например, доказываются в несколько строчек. Для студентов, преподавателей, инженеров и научных работников.
Библиографическая ссылка: 
Босс В. Лекции по математике: Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. Т.06. 4-е изд. М.: URSS, 2015. – 208 с.