释义 |
Church-Turing ThesisThe Turing Machine concept defines what is meant mathematically by an algorithmic procedure. Stated another way, afunction 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.
|