The Universal Computer - The Road from Leibniz to Turing - Grand Format

Martin Davis, one of the world's pioneers in the development of computer science—he has been praised as the first to produce a computer-generated mathematical proofoffers a mesmerizing history of how computers came to be. Computers are everywhere today—at work ; in art studios ; in banks, grocery stores, and homes throughout the world ; sometimes even in our pockets—yet they remain to many of us objects of irreducible mystery.
How can today's electronic wizardry perform such a bewildering variety of tasks if computing is simply glorified arithmetic ? The answer, as Martin Davis lucidly illustrates, lies in the fact that computers are essentially engines of logic, using concepts developed step by step over centuries by mathematical pioneers. Emergence of the logical concepts underlying computers is traced here through the lives of a group of brilliant innovators—primarily German and British—spanning three centuries : G.
W. Leibniz, George Boole, Gottlob Frege, Georg Cantor, David Hilbert, Kurt GSdel, and Alan Turing. Each of them in one way or another was concerned with the nature of human reason and was determined to push forward the stuff of lite into a better understanding of how people infer—that is, how we use logic. None of them, except for Alan Turing in our own century, understood that their work would form the intellectual matrix out of which would emerge the all-purpose digital computer.
The Universel Computer brings the story together and underscores the power of ideas. Readers will corne away with a revelatory understanding of how and why computers work and how the algorithms within them came to be.