The Surprise Examination Paradox and the Second Incompleteness Theorem [pdf] | Dark Hacker News