Gödel's Incompleteness Theorem

Valeria Zahoransky (Freie Universität Berlin)

Gödel's Incompleteness Theorem states that logical systems capable of a certain expressivity cannot be consistent and complete. This fact had far-reaching implications for mathematics and metamathematics. We shall have a look at the structure of the proof with an emphasis on the most important ideas like Gödel's numberings and diagonalisation.

Last modified: Sat Feb 23 14:05:36 CET 2019