Mathematical logic and the origin of modern computing
A half-century survey on The Universal Turing Machine
The Universal Computer: The Road from Leibniz to Turing
The Universal Computer: The Road from Leibniz to Turing
Shadows of the Mind: A Search for the Missing Science of Consciousness
Shadows of the Mind: A Search for the Missing Science of Consciousness
Engines of Logic: Mathematicians and the Origin of the Computer
Engines of Logic: Mathematicians and the Origin of the Computer
Superminds: People Harness Hypercomputation, and More
Superminds: People Harness Hypercomputation, and More
Super-Recursive Algorithms
Physical constraints on hypercomputation
Theoretical Computer Science
A hardware relaxation paradigm for solving NP-hard problems
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
| Hi-index | 0.00 |
Many years ago, I wrote [7]: It is truly remarkable (Gödel ...speaks of a kind of miracle) that it has proved possible to give a precise mathematical characterization of the class of processes that can be carried out by purely machanical means. It is in fact the possibility of such a characterization that underlies the ubiquitous applicability of digital computers. In addition it has made it possible to prove the algorithmic unsolvability of important problems, has provided a key tool in mathematical logic, has made available an array of fundamental models in theoretical computer science, and has been the basis of a rich new branch of mathemtics. A few years later I wrote [8]: The subject ...is Alan Turing's discovery of the universal (or all-purpose) digital computer as a mathematical abstraction. ...We will try to show how this very abstract work helped to lead Turing and John von Neumann to the modern concept of the electronic computer.