UniLog 5 Summer School
Slides for the third tutorial on Gödel's incompleteness theorems, held at UniLog 5 Summer School, Istanbul, June 24, 2015
Gödel's incompleteness theorem
Logic and Foundations | Logic and Foundations of Mathematics | Philosophy
Bernd Buldt (2015).
Gödel’s Second Incompleteness Theorem. Presented at UniLog 5 Summer School, Istanbul.