Босс Валерий — Лекции по математике. Том 6. От Диофанта до Тьюринга

Лекции по математике. Том 6. От Диофанта до Тьюринга краткое содержание

Лекции по математике. Том 6. От Диофанта до Тьюринга - описание и краткое содержание, автор Босс Валерий, читать бесплатно онлайн на сайте электронной библиотеки Lib-King.Ru.

Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот рассматриваемый круг вопросов. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Геделя, например, доказываются в несколько строчек. Для студентов, преподавателей, инженеров и научных работников.