- A new proof of Godel's incompleteness theorem that resembles the Surprise Exam Paradox. This is EXACTLY the kind of thing I was looking for.
- An argument that suggests that Godel's incompleteness theorem can be used to resolve the paradox.
Monday, February 28, 2011
Interesting Math related to the Unexpected Hanging Paradox
In a prior post I pondered if there was interesting MATH that relates to the Unexpected Hanging Paradox. At the time none of the comments really had any and, alas, I thought there was not. (Thought looking back at the comments, the first one by Jeffe may be relevant.) But recently Ran Raz emailed me a pointer to this paper by Kritchman and Raz: The Surprise Examination Paradox and the Second Incompleteness Theorem. See also this post by Sam Alexander which explains some of the paper very well. The paper contains the following: