S scottaaronson.blog Rosser's Theorem via Turing Machines (2011) 67 points dargscisyhp 2 years ago 9 comments
