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

Поиск
RSS
Ближайшие семинары





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








Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук
19 октября 2017 г. 16:00, г. Москва, конференц-зал МИАН (ул. Губкина, 8)
 


What is Goedel’s Second Incompleteness Theorem?

Prof. Dr. Albert Visser
Видеозаписи:
MP4 2,116.8 Mb
MP4 579.9 Mb

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

Prof. Dr. Albert Visser
Фотогалерея


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

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

Аннотация: Great mathematical theorems often have cloud-like identities, being more like a cloud of non-equivalent formulations than being one sharp result. Gödel's incompleteness theorems are no exception to this rule. In the case of the Second Incompleteness Theorem, the situation is even more dramatic.
There seems to be no precise mathematical formulation that covers our intuitive ‘coordinate-free’ understanding of the theorem. How to formulate (a reasonable version of) the theorem?

In my talk I address this question and provide some further information about the theorem. To be specific:
1) I provide a reasonably general preliminary formulation of the Second Incompleteness Theorem.
2) I discuss the matter of intensionality in metamathematics. An inportant example of intentionality is the fact that whether one has the second incompleteness theorem or not may depend on the choice of the representation of the axiom set.
3) I consider two ways to address the problem of giving a coordinate-free formulation of the theorem.
4) I provide some examples of less well-known applications of the theorem.

Язык доклада: английский
См. также

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