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

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






Летняя школа «Современная математика» имени Виталия Арнольда, 2023
27 июля 2023 г. 17:15–18:30, Московская область, г. Дубна, дом отдыха «Ратмино»
 


Гёдель и антигёдель: о граничных условиях теорем Гёделя о неполноте

Л. Д. Беклемишев
Видеозаписи:
MP4 1,314.0 Mb
MP4 2,426.8 Mb

Количество просмотров:
Эта страница:288
Видеофайлы:164
Youtube:

Л. Д. Беклемишев



Аннотация: Я обсужу (без подробных доказательств) теоремы Гёделя о неполноте и попробую рассказать об некоторых примерах формальных теорий, в которых можно сформулировать и доказать утверждение о собственной непротиворечивости. В последнее время появились новые интересные примеры такого рода, но, разумеется, все они в той или иной степени экзотические.

Website: https://mccme.ru/dubna/2023/courses/beklemishev.html
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024