Rosser's Theorem via Turing Machines (2011)