A very fun read chalk full of and lively interesting personal and biographical information on some of the greatest logicians and mathematicians to have ever lived (e.g. Godel, Hilbert, Boole).

If you're interested in the history of computation theory (computational logic) and even mathematical logic more generally, this book is highly recommended. Davis himself was part of that history by making contributions, e.g., to the Entscheidungsproblem (decision problem).

At the same time, he does not skimp on technical details and explanations, though some of the more technical are often relegated to lengthy endnotes, and so most of these are easily skipped, if desired, without loss of continuity.

A fun read!

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.

I thought that this book was an excellent overview of the development of logical thought and it's relevance to the modern computer. Davis does a superior job of energizing a subject that is admittedly a little dull. I found myself rereading several of the sections to try to better understand some of the math involved, but overall, I think Davis found a nice balance between the complexity of the math and the history of logic. My one serious criticism of the book is that I found the chronology to be tough to follow, and I often found myself referring back to previous chapters to try and get a better sense of when events were happening. It is natural to assume that a book like this is presented in chronological fashion. The Universal Computer generally is presented that way, but there are some events that happen more or less simultaneously. This is important to the overview of the history of the field. I think the book could actually use a graphical timeline with the birth dates of the mathematicians and the significant events (i.e. 1902 - Russell's letter to Frege, etc.) that are involved. Other than that, the book is informative and enjoyable for those interested in the origins of the modern computer.

As a recent college graduate, who earned a B.S. in computer science, I thought this book provided some good background information on the people who worked to discover the underlying principles of automated mathematics implemented in a machine. The book was, for the most part, not terribly difficult to follow and gave more insight on the actual history of the individual people and times than I thought it might. Nevertheless, the individual histories, and time context put the points being made into a better framework. Not a long book, I recommend this to the more intellectual type, rather than an occasional reader.

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.