Composition and Submachine Concepts for Sequential ASMs
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Models, software models and UML
UML for real
IEEE Annals of the History of Computing
Colossus: Its Origins and Originators
IEEE Annals of the History of Computing
The sets of real and complex numbers are denumerable
ACM SIGACT News
Thinking, speaking, and writing for freshmen
Proceedings of the 37th SIGCSE technical symposium on Computer science education
A note on discreteness and virtuality in analog computing
Theoretical Computer Science
Accelerating machines: a review
International Journal of Parallel, Emergent and Distributed Systems
A Review of Mathematical Knowledge Management
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Model checking: algorithmic verification and debugging
Communications of the ACM - Scratch Programming for All
Symbol Grounding in Computational Systems: A Paradox of Intentions
Minds and Machines
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
On the Possibilities of Hypercomputing Supertasks
Minds and Machines
The church-turing thesis: consensus and opposition
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Gödel and the origins of computer science
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Quantum Information Processing
Algorithmic randomness, quantum physics, and incompleteness
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
Turing'04 Proceedings of the 2004 international conference on Alan Mathison Turing: a celebration of his life and achievements
Artificial Intelligence: From programs to solvers
AI Communications - ECAI 2012 Turing and Anniversary Track
Hi-index | 0.00 |
From the Publisher:One of the world's pioneers in the development of computer science offers a mesmerizing history of computers. Computers are everywhere today--at work, in the bank, in artist's studios, sometimes even in our pockets--yet 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 essentially engines of logic. Their hardware and software embody concepts developed over centuries by logicians such as Leibniz, Boole, and Godel, culminating in the amazing insights of Alan Turing. The Universal Computer traces the development of these concepts by exploring with captivating detail the lives and work of the geniuses who first formulated them. Readers will come away with a revelatory understanding of how and why computers work and how the algorithms within them came to be.