Rosser's Theorem via Turing Machines #1 Post by jgershen » Thu, Jul 21, 2011, 9:45 PM UTC Rosser's Theorem via Turing Machinesscottaaronson.com