

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






What is Goedel’s Second Incompleteness Theorem?
Prof. Dr. Albert Visser^{} 
Video records: 

MP4 
2,116.8 Mb 

MP4 
579.9 Mb 
Number of views: 
This page:  241  Video files:  30 
Photo Gallery

Abstract:
Great mathematical theorems often have cloudlike identities, being more like
a cloud of nonequivalent 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
‘coordinatefree’ 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 coordinatefree formulation
of the theorem.
4) I provide some examples of less wellknown applications of the theorem.
Language: English
See also

