Scott Aaronson personal blog
Rosser’s Theorem via Turing machines
(Thanks to Amit Sahai for spurring me to write this post!) The Background We all remember Gödel’s First Incompleteness Theorem from kindergarten. This is the thing that, given a formal syste…
- Points
- 0
- HN comments
- 0
- Submissions
- 0
- Cited by
- 12 commenters
Cited in comments
Linked from 13 Hacker News comments by 12 different people, from May 2012 to Aug 2020.
Most recent:
