The Universal Computer: The Road from Leibnitz to Turing

An entertaining book that will be enjoyed by anyone interested in mathematical logic or computation theory. Davis weaves history, anecdote, and mathematics into an exciting sketch of the major developments in mathematical logic and their role in the development of the computer. He does a commendable job in explaining the mathematics in an accessible fashion, without distorting it by over-simplification. A good book for people new to the field as well as those already familiar with these stories.

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.

This book traces the contributions of mathematical logicians to the development of modern day computers. Its cast of characters begins with Gottfried Leibnitz in the 17th century, continues with George Boole in the 19th century, Gottlob Frege and David Hilbert straddling the 19th and 20th centuries, and ends with Kurt Goedel, Alan Turing and John von Neumann in the 20th century. The author brings these great scientists to life by describing their works in the context of their lives and times. He shows that despite their exceptional intellects, they often had difficult obstacles to overcome, both in their own frailties as well as in their adversaries.The book's main theme is that although modern computers were born out of the need to do heavy number crunching during WWII, their foundation is in logic, the very logic by which our own brains work. It tells a compelling story of how the quest for understanding of the very foundations of mathematics led to the development of the machines that we have come to depend on so heavily in our daily lives.There are a few places where the reading becomes a bit difficult as the author outlines the work of Goedel and Turing in the early part of the 20th century. Nevertheless, this book is quite readable overall and very enjoyable (as soon as I finished reading it the first time, I immediately started reading it again). I recommend it to general reader who would like to know more about the theoretical underpinnings of computers.The only comment I have is that all of the mathematicians covered were from Germany, England and the United States. I was left wondering if there might be contributors from other countries that were overlooked.

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.

This is one of the best popular books on computer science or mathematics in years. Most authors in this area (e.g., Berlinski) have no special expertise in the subject matter or its history; that doesn't guarantee a bad book, but makes it hard to write a good one. Davis is a refreshing exception:* He is a brilliant researcher, who made fundamental contributions to areas such as computability (the Davis-Putnam- Robinson theorem, related to Hilbert's 10th problem) and algorithms (the Davis-Putnam algorithm for solving satisfiability problems). * He is a master expositor (his 1958 book "Computability and Unsolvability" was one of the very first textbooks in its area, yet it is still widely read today despite the many other books written on this subject over the past 42 years).* He has spent the last twenty years studying the history of logic and computation.Davis's book is all one would hope for given his qualifications. It is insightful and engaging, and full of fascinating information that is hard to find elsewhere. I cannot imagine a better book on this subject.