Videolibrary
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Video Library
Archive
Most viewed videos

Search
RSS
New in collection






Workshop on Proof Theory, Modal Logic and Reflection Principles
October 18, 2017 10:35–11:10, Moscow, Steklov Mathematical Institute
 


Diagonal-free proofs of the Diagonal Lemma

S. Salehi
Video records:
MP4 1,191.9 Mb
MP4 326.7 Mb

Number of views:
This page:338
Video files:109

S. Salehi



Abstract: 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.

Language: English
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024