RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
Forthcoming seminars
Seminar calendar
List of seminars
Archive by years
Register a seminar

Search
RSS
Forthcoming seminars





You may need the following programs to see the files








Steklov Mathematical Institute Seminar
October 19, 2017 16:00, Moscow, Steklov Mathematical Institute of RAS, Conference Hall (8 Gubkina)
 


What is Goedels Second Incompleteness Theorem?

Prof. Dr. Albert Visser

Number of views:
This page:176
Youtube Live:

Prof. Dr. Albert Visser
Photo Gallery





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

Language: English
See also

SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017