The Surprise Examination Paradox and the Second Incompleteness Theorem [pdf] #1 Post by urish » Tue, Jun 23, 2015, 7:16 PM UTC The Surprise Examination Paradox and the Second Incompleteness Theorem [pdf]ams.org