The Universal Computer: The Road from Leibniz to Turing by Martin Davis — book cover
Electronic digital computers · History

The Universal Computer: The Road from Leibniz to Turing by Martin Davis — Summary, Key Ideas & Quotes

2000256 pages3-min Big ideas4.0 (2)
Rate it
What is The Universal Computer: The Road from Leibniz to Turing about?

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

Illustration for The Universal Computer: The Road from Leibniz to Turing
The Long Road to Computability

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.

The Power of Abstraction

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.

See all 6 key ideas →

Ratings at a glance

Google Books
4.0 / 5
2 ratings
Get smart in 3 min
6 key ideas, distilled
  1. 1The Long Road to Computability
  2. 2The Power of Abstraction
  3. 3The Entscheidungsproblem and Its Consequences
  4. 4Alan Turing: The Visionary
  5. 5Unintended Foundations of the Digital Age

Frequently asked

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 visitin