Turing's Cathedral: The Origins of the Digital Universe

by George Dyson

show that the consistency of mathematics is unprovable,” only to find out, by return mail, that Gödel had got there first.12