The Turing machine model seems to capture the entire concept of computability, according to the following thesis[62]:
Church Turing Thesis: A Turing machine can compute any function computable by a reasonable physical device.
What does “reasonable physical device” mean? This thesis is a physical statement, and as such it cannot be proven. But one knows a physically unreasonable device when one sees it. Up till now there are no candidates for counterexamples to this thesis (but see Ref. [103]). All physical systems, (including quantum systems), seem to have a simulation by a Turing Machine.
Life - a dark sea of gloom and despair, lit only by brief glimmers of false hope.
Saturday, February 21, 2009
Quantum Computing and the Church-Turing Thesis
Another interesting article.
Labels:
Computation,
Philosophy,
Science
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment