x, y, z

Теорема Гёделя о неполноте и четыре дороги, ведущие к ней

Владимир Успенский

Комментарии: 0
Лекция 1

Лекция 2

Лекция 3

Теорема Гёделя о неполноте — едва ли не самая знаменитая теорема математики. Она утверждает, что какие бы способы доказывания ни предложить, в любом достаточно богатом языке найдутся истинные, но не доказуемые утверждения. Богатство языка есть его способность выражать факты. Оказывается, что для целей теоремы Гёделя богатство языка достаточно понимать как его способность выражать принадлежность натуральных чисел перечислимым множествам. Понятие перечислимого множества — одно из основных понятий теории алгоритмов: непустое множество называется перечислимым, если его можно расположить в вычислимую последовательность. Таким образом, теорема Гёделя имеет алгоритмические истоки. Возможны четыре принципиально различные пути, ведущие от этих истоков к теореме; эти пути были предложены, соответственно, Гёделем, Колмогоровым, Чейтином и Шенем.

Материалы к лекциям: 1.pdf, 2.pdf.

Успенский Владимир Андреевич — доктор физико-математических наук, профессор.

Лекции летней школы «Современная математика», г. Дубна
21-22 июля 2007 г.
Комментарии: 0