The Surprise Examination Paradox and the Second Incompleteness Theorem [pdf]http://www.ams.org/notices/201011/rtx101101454p.pdf by urish • 11 years ago 9 0 11 years agoAMams.org