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


References

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
1999-05-26