Turing's Cathedral: The Origins of the Digital Universe (Penguin Press Science)

by George Dyson

Gödel’s incompleteness theorems of 1931 brought Hilbert’s program to a halt. No consistent mathematical system sufficient for dealing with ordinary arithmetic can establish its own consistency, nor can it be complete.