Turing's Cathedral: The Origins of the Digital Universe

by George Dyson

In the spring of 1935—at the time of von Neumann’s visit to Cambridge—Turing was attending Max Newman’s lectures on the foundations of mathematics when the Entscheidungsproblem first attracted his attention. Hilbert’s challenge