Engines Of Logicby Martin Davis
Computers are everywhere todayat work, in the bank, in artist's studios, in our pocketsyet they remain to many of us objects of irreducible mystery. How can today's computers perform such a bewildering variety of tasks if computing is just glorified arithmetic? The answer, as Martin Davis lucidly illustrates, lies in the fact that computers are engines of logic. Their hardware and software embody concepts developed over centuries by logicians such as Leibniz, Boole, and Gödel, culminating in the amazing insights of Alan Turing. Readers will come away from this book with a revelatory understanding of how and why computers work. 8 b/w photographs. Published in hardcover as The Universal Computer.
Author Biography: 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.
- Norton, W. W. & Company, Inc.
- Publication date:
- Edition description:
- Product dimensions:
- 0.61(w) x 5.50(h) x 8.50(d)
and post it to your social network
Most Helpful Customer Reviews
See all customer reviews >
Sometimes it takes a long time to understand the motivation for a subject you're engaged in studying. Sometimes you can just read a book. This is such a book. During my studies of computer science I frequently baulked at the amount of mathematics I was being presented with and didn't understand how to connect that world to the world of programming I lived and breathed. Had I read this work in my first year that confusion would have been lessened. This is an easy to read exploration of the people and ideas behind modern computers as opposed to a computer book. Davis' exposition is clear and easy to read, with enough details to be engaging but few enough to be readily digestible. A must read for anyone interested in how math and logic play a role in computers.