Turing's Cathedral: The Origins of the Digital Universe

by George Dyson

“The sentence with Gödel number g cannot be proved,” where the details of the system are manipulated so that the Gödel number of G is g.