The Surprise Examination Paradox and the Second Incompleteness Theorem [pdf] (ams.org) 9 points by urish 11y ago ↗ HN
0 comments
[ 2.8 ms ] story [ 13.6 ms ] threadNo comments yet.