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

by George Dyson

What Gödel (and Turing) proved is that formal systems will, sooner or later, produce meaningful statements whose truth can be proved only outside the system itself.