Hacker News new | ask | show | jobs
Rosser's Theorem via Turing Machines (scottaaronson.com)
11 points by jgershen 5446 days ago