Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your mobile phone number.

Buy Used
+ $3.99 shipping
Used: Good | Details
Sold by Goodwill of WM
Condition: Used: Good
Comment: Used - Good Ships within two business days!
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

Engines of Logic: Mathematicians and the Origin of the Computer Paperback – September 1, 2001

4.4 out of 5 stars 7 customer reviews

See all formats and editions Hide other formats and editions
New from Used from
Paperback, September 1, 2001
"Please retry"
$46.37 $8.95
Free Two-Day Shipping for College Students with Prime Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student

Windows 10 For Dummies Video Training
Get up to speed with Windows 10 with this video training course from For Dummies. Learn more.
click to open popover

Editorial Reviews


A thoroughly enjoyable mix of biographical portraits and theoretical mathematics...full of well-honed anecdotes and telling detail. -- Publishers Weekly

Anyone who works with computers today, who seeks to look into the electronic future, can profit greatly from reading [this]. -- John McCarthy, Stanford University

Delightfully entertaining and most instructive! -- Raymond Smullyan, author of The Riddle of Scheherazade and First-Order Logic

Erudite, gripping and humane, Martin Davis shows the extraordinary individuals through whom the groundwork of the computer came into being. -- Andrew Hodges, author of Alan Turing: The Enigma

Martin Davis speaks about logic with the love and touch of a sculptor speaking about stone. -- Dennis Shasha, New York University

[A]n elegant history of the search for the boundaries of logic and the machines that live within them. -- Wired, Peter Wayner, December 2000

About the Author

Martin Davis's other books include Computability and Unsolvability. A professor emeritus at New York University, he is currently a visiting scholar at the University of California-Berkeley.

The latest book club pick from Oprah
"The Underground Railroad" by Colson Whitehead is a magnificent novel chronicling a young slave's adventures as she makes a desperate bid for freedom in the antebellum South. See more

Product Details

  • Paperback: 276 pages
  • Publisher: W. W. Norton & Company; Reprint edition (September 1, 2001)
  • Language: English
  • ISBN-10: 0393322297
  • ISBN-13: 978-0393322293
  • Product Dimensions: 5.5 x 0.6 x 8.5 inches
  • Shipping Weight: 11.2 ounces
  • Average Customer Review: 4.4 out of 5 stars  See all reviews (7 customer reviews)
  • Amazon Best Sellers Rank: #479,187 in Books (See Top 100 in Books)

Customer Reviews

Top Customer Reviews

By Gary Sprandel on July 26, 2002
It may be initially hard to connect Leibniz's series or George Cantor's quest for infinite numbers to the modern computer, but Dr. Davis does a masterful job of showing this logical progression. The progression continues to Godel and Turing, and from Turing to the modern computer.
Combining clear discussions of mathematical concepts with short biographical sketches, the intensity of some of these logical debates becomes clear. For the 20th century figures, Davis offers first hand accounts, such as seeing Godel and Einstein walking together at Princeton (and this picture is included in the book), or his own 1954 computer program of a mathematical proof.
On the question of who invented the computer, Dr. Davis sides toward Turing and the influence of Turing on von Nuemann (contrast with Herman Goldstine: the Computer from Pascal to von Neumann). Davis points out that the difference in architecture between Turing and von Nuemann is still evident today in the difference between RISC and full instruction set computers. In the final chapter, Davis debates John Searle's understanding of the mind and consciousness. I hope Davis writes a book about the logical connections after Turing. These include Maurice's Karnaugh's method of minimizing boolean expressions, Jay Forester's memory and Industrial Dynamics, and perhaps Ted Codd and C.J. Dates database thinking.
Comment 15 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
A truly excellent book. Both as a 'history of ideas' and in its consideration of the personal trials and tribulations faced by Leibniz, Frege, Boole, Hilbert, Cantor, Godel, and Turing. The book traces the development of the computer through the life and work of these logicians/mathematicians, from Leibniz's dream of a language of symbolic logic and a machine capable of producing and testing true propositions in that language. This book is relevant not only to philosophers, mathematicians, and computer scientists, but to writers who seek understanding of the relations between language and logic in the contemporary electronic landscape. It will also be a good read for anyone wishing to understand the intellectual atmospheres from which the computer arose.

And it is poignant in its reflections on the fate of some of the most gifted logicians in history. Cantor spent a lot of time in sanitoriums; Godel starved himself to death over paranoia that his food was being poisoned; Alan Turing probably committed suicide by eating a poisoned apple.

Martin Davis is himself a renowned logician, and he approaches this writing with a depth of experience, knowledge, and human concern that makes this book a must-read.

By the way, the hardcover and the softcover editions have different names. The hardcover edition is called "The Universal Computer: The Road from Leibniz to Turing".
Comment 6 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
This book has deservedly been reviewed in glowing 5-star terms in its hardcover version ("The Universal Computer"). This paperback edition is the same book. If you want to understand the ideas behind computers, this is the book for you!
Comment 17 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
Verified Purchase
This short, easy read is a great historical introduction to computers and some of the figures and concepts behind their origins. The reader should be aware that this book is very light on mathematics, which I saw as a drawback considering the author's well known talents for exposition. Nevertheless, the narrative is interesting and he often touches on interesting philosophical questions. One particularly delightful passage discusses the fact that the real numbers outnumber numerical definitions -- something apparently known to Cantor and other mathematicians at the dawn of set theory. I'd never heard this and it has since set me off looking for some of these proofs. So, I tip my hat to Dr. Davis for sharing his insightful views. As far as pop-sci goes, this is grade A.

Note: there is a dicussion of the the indefinability of real numbers in G. Chaitin's Meta-Math. Seems this result is still getting attention for it's oddness.
Comment One person found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse