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

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






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


Diagonal-free proofs of the Diagonal Lemma

S. Salehi
Видеозаписи:
MP4 1,191.9 Mb
MP4 326.7 Mb

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

S. Salehi


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

Аннотация: The Diagonal Lemma (of Gödel and Carnap) is one of the fundamental results in Mathematical Logic. However, its proof (as presented in textbooks) is very un_intuitive, and a kind of “pulling a rabbit out of a hat”. As a matter of fact, several theorems that are proved by using this lemma now have diagonal-free proofs. One example is Gödel's Incompleteness theorem for which several diagonal-free proofs are given by Kleene, Chaiting and Boolos; another example is Tarski's Undefinability theorem for which Robinson and Kotlarski gave diagonal-free proofs.
In this talk we will see that a weak form of the Diagonal Lemma is equivalent with Tarski's theorem, and we will explore some different proofs for these theorems. Even though there will be no new theorem in this talk, several interesting proofs for old theorems will be presented.

Язык доклада: английский

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