The Universal Computer

PUBLISHERS WEEKLY 2000年1月3日

This thoroughly enjoyable mix of biographical portraits and theoretical mathematics reveals how a sequence of logicians posed the conceptual questions and contributed the crucial insights resulting in the development of computers long before the technology was available to build even the simplest machines. An intriguing portrait of the great 17th-century mathematician G.W. Leibniz, a pivotal figure in the history of the search for human knowledge, launches this account by New York University professor emeritus Davis (Computability and Unsolvability). Steeped in Aristotelian ideas of perfection but trained in modern engineering, Leibniz conceived the idea of a universal system for determining truth. His contributions to this system are as diverse as the ingenious Leibniz Wheel (an early calculating machine) and the notation used today for calculus. His ideasDin particular, his recognition of the deep connection between systems of notation and actual physical devices for performing computationDinspired mathematicians and logicians, including George Boole, Gottlob Frege, Georg Cantor, David Hilbert and Kurt G del, until Alan Turing used them to develop the powerful mathematical tools that underlie modern computers as well as some of the earliest computer prototypes. After Leibniz, people thought about the problem of building computational systems; after Turing, people got busy building the machines. Davis has told the fascinating story in between. Full of well-honed anecdotes and telling detail, the book reads like a masterful lecture. Presenting key mathematical ideas in moderate depth, it also offers a solid introduction to the field of computer science that will captivate motivated readers.