UniLog 5 Summer School
Slides for the first 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).
Fixed Points, Diagonalization, Self-Reference, Paradox. Presented at UniLog 5 Summer School, Istanbul.