Department of Mathematics; University of California; Los Angeles
SVM HeaderParse 0.2
CA 90095-1555, USA
SVM HeaderParse 0.1
Machines and Recursive Definitions 2.1 Abstract Machines The best-known model of mechanical computation is (still) the first, introduced by Turing , and after half a century of study, few doubt the truth of the fundamental Church-Turing Thesis : A function f : N # N on the natural numbers (or, more generally, on strings from a finite alphabet) is computable in principle exactly when it can be computed by a Turing Machine. The Church-Turing Thesis grounds proofs of undecidability and it is essential for the most important applications of logic. On the other hand, it cannot be argued seriously that Turing machines model faithfully all algorithms on the natural numbers. If, for example, we code the input n in binary (rather than unary) notation, then the time needed for the computation of f(n) can sometimes be considerably shortened; and if we let the machine use two tapes rather than one, then (in some cases) we may gain a quadratic speedup of the computation, see . This mea...