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

by George Dyson

Von Neumann “knew Gödel’s work, Post’s work, Church’s work very, very well…. So that’s how he knew that with these tools, and a fast method of doing it, you’ve got the universal tool.”