Hacker News new | ask | show | jobs
The Surprise Examination Paradox and the Second Incompleteness Theorem [pdf] (ams.org)
9 points by urish 4008 days ago