The AMS website will be down for maintenance on October 25th between 6:00pm - 10:00pm ET. This downtime includes registration for the 2019 JMM MEETING in Baltimore. We apologize for any inconvenience this may cause. For questions please contact AMS Customer Service at firstname.lastname@example.org or (800) 321-4267 (U.S. & Canada), (401) 455-4000 (Worldwide).
"The Sheer Logic of IT": Review of The Universal Computer: The Road fromLeibniz to Turing, by Martin Davis. Reviewed by Christos Papadimitriou. AmericanScientist, March-April 2001, pages 168-171.
This book traces the origins of modern computers back to Gottfried WilhelmLeibniz, who is best known for his development of the calculus (simultaneouslywith Isaac Newton). Leibniz, the reviewer writes, ``dreamed about reducinghuman reasoning to a purely mechanical and symbolic task.'' The book arguesthat what paved the road to computers, starting with this 17th century dreamand leading to the ``universal Turing machine,'' was the development of themathematical field of logic. The reviewer does not quite agree that logicplayed such a big role, arguing that two of the key developers, Alan Turing andJohn von Neumann, were not logicians. Nevertheless, this admiring and positivereview states that this subject ``could not have found a more eloquent andworthy chronicler.''
--- Allyn Jackson