RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления





Для просмотра файлов Вам могут потребоваться






Летняя школа «Современная математика», 2007
21 июля 2007 г. 09:30, г. Дубна
 


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

В. А. Успенский

Количество просмотров:
Эта страница:2137
Видеофайлы:1143
Материалы:238

В. А. Успенский



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

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017