Toward a General Logicist Methodology for Engineering Ethically Correct Robots
IEEE Intelligent Systems
From Philosophical to Industrial Logics
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
The church-turing thesis: consensus and opposition
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Constraints on hypercomputation
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Quantum Information Processing
Hi-index | 0.00 |
From the Publisher: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.