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

by George Dyson

In answering the Entscheidungsproblem, Turing proved that there is no systematic way to tell, by looking at a code, what that code will do. That’s what makes the digital universe so interesting, and that’s what brings us here.