Rosser's Theorem via Turing Machines(scottaaronson.com)11 points by jgershen 14 years ago | 0 commentsNo comments yet