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

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





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






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


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

В. А. Успенский
Видеозаписи:
Real Video 215.0 Mb
Windows Media 227.3 Mb
Flash Video 326.3 Mb
MP4 326.3 Mb
Материалы:
Adobe PDF 102.8 Kb
Adobe PDF 150.1 Kb

Количество просмотров:
Эта страница:10267
Видеофайлы:3261
Материалы:687
Youtube Video:

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


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке



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

Материалы: 122_2.pdf (102.8 Kb), 122_1.pdf (150.1 Kb)
Цикл лекций См. также

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