The Universal Computer: The Road from Leibniz to Turing

Rating:
Summary: What a compelling book!
Review: This popular treatment of the development of computing turned out to be a book that I simply couldn't put down. Martin Davis interlaces the lives of the people who laid the groundwork for computing (and what interesting lives they led!) with a very understandable treatment of the technical side of the underpinnings of computing. I've heartily recommended this to my friends--technical minded and not--as book I think they really want to read.

Rating:
Summary: The best popular history of the computer as logic engine
Review: While most of us consider computers to be some special silicon in a white box, they are in fact machines that execute rules in applied logic. For this reason, the history of computing has two tracks. The first is the hardware track, which generally starts with Charles Babbage and progresses through the recent advances in integrated circuits. One chapter of the book traces the historical development of computer hardware, starting with the Jacquard loom and moving up to the modern personal computer. The second is the history of logic that can be mechanically applied, which is the primary focus of this book.
Once again, the mathematics largely predates the applications. It is amazing how mathematicians develop mathematical structures that initially have no applications and then after some time, something appears that requires that form of mathematics. To me, it is nothing sort of amazing that Alan Turing invented an abstract universal computer long before any of the physical counterparts existed. No one has ever been able to substantially improve on his Turing machines and it is widely believed that they cannot be improved. This theme permeates the book and Davis does a very good job in presenting all of the advances in a historical context.
The contributions of Leibniz, Boole, Frege, Cantor, Hilbert, Godel and Turing are all described in detail, and it is clear how one person's work was built using that done by their predecessors. Other people noted include Bertrand Russell, Leopold Kronecker, and Albert Einstein.
This is the best popular history of the development of the computer viewed as a logic engine. I strongly recommend it as a book for courses in the history of mathematics and computing.