

A pioneer in the development of computer science traces the emergence of logical concepts underlying computers through the lives of a group of brilliant innovators spanning three centuries. None of these scientists, except Alan Turing, understood that their work would form the intellectual matrix out of which would emerge the digital computer. Includes bandw photos of key figures. Davis is visiting scholar at the University of California-Berkeley. Annotation copyrighted by Book News, Inc., Portland, OR
A glimpse inside

Davis traces the intellectual roots of the computer back to the 17th century, showing how the quest to mechanize reasoning began long before electronics. From Leibniz's dream of a universal language and calculating machine, through the work of Boole, Frege, and Gödel, the book reveals how each generation advanced the idea that thought itself could be formalized and made mechanical. The computer is presented not as a sudden invention, but as the culmination of centuries of abstract thought.
One of the central themes is the role of abstraction in mathematics and logic. The book explains how figures like Boole and Frege developed symbolic systems that allowed reasoning to be manipulated like algebra. This abstraction made it possible to ask—and eventually answer—questions about what could, in principle, be computed. Davis shows how these abstract breakthroughs were essential precursors to the practical computer.
Ratings at a glance
- 1The Long Road to Computability
- 2The Power of Abstraction
- 3The Entscheidungsproblem and Its Consequences
- 4Alan Turing: The Visionary
- 5Unintended Foundations of the Digital Age