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

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



Workshop on Proof Theory, Modal Logic and Reflection Principles
20 октября 2017 г. 12:15–12:50, Москва, Математический институт им. В.А. Стеклова РАН 		 

The second incompleteness theorem revisited

A. Visser
Видеозаписи:
MP4 1,182.1 Mb
MP4 324.0 Mb

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

A. Visser



Аннотация: We discuss a number of examples of theories-cum-axiomatizations where the Löb Conditions fail,but where we still have the Second Incompleteness Theorem. E.g., we provide a $\Sigma_1^0$-axiomatization of Elementary Arithmetic for which the Löb Conditions fail.

Язык доклада: английский
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024