info prev up next book cdrom email home

Church-Turing Thesis

The Turing Machine concept defines what is meant mathematically by an algorithmic procedure. Stated another way, a function $f$ is effectively Computable Iff it can be computed by a Turing Machine.

See also Algorithm, Computable Function, Turing Machine


Penrose, R. The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics. Oxford, England: Oxford University Press, pp. 47-49, 1989.

© 1996-9 Eric W. Weisstein