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

Математика

Автор: Босс В.

Язык: русский

Год: 2006

Добавил: Admin 1 Авг 20

Редактировал: Афанасий Дмитриев 30 Авг 20

Проверил: Admin 31 Авг 20

Формат: DJVU (2076 Kb)

Currently 0/5

Рейтинг: 0/5 (Всего голосов: 0)

Аннотация

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