The Innovators: How a Group of Hackers, Geniuses, and Geeks Created the Digital Revolution

by Walter Isaacson

But far more important was the by-product of Turing’s proof: his concept of a Logical Computing Machine, which soon came to be known as a Turing machine.

To fo