The Surprise Examination Paradox and the Second Incompleteness Theorem

Shira Kritchman, Ran Raz

We give a new proof for Godel's second incompleteness theorem, based on Kolmogorov complexity, Chaitin's incompleteness theorem, and an argument that resembles the surprise examina…