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

by George Dyson

“Gödel shows that every system of logic is in a certain sense incomplete, but at the same time … indicates means whereby from a system L of logic a more complete system L' may be obtained,” Turing explained.