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

by George Dyson

Gödel set the stage for the digital revolution, not only by redefining the powers of formal systems—and lining things up for their physical embodiment by Alan Turing—but by steering von Neumann’s interests from pure logic to applied.