The Surprise Examination Paradox and the Second Incompleteness Theorem [pdf](ams.org)
ams.org
The Surprise Examination Paradox and the Second Incompleteness Theorem [pdf]
http://www.ams.org/notices/201011/rtx101101454p.pdf
0 comments
—
http://www.ams.org/notices/201011/rtx101101454p.pdf
—