Quantum hypercomputation

Minds and Machines 12 (4):541-561 (2002)
  Copy   BIBTEX

Abstract

We explore the possibility of using quantum mechanical principles for hypercomputation through the consideration of a quantum algorithm for computing the Turing halting problem. The mathematical noncomputability is compensated by the measurability of the values of quantum observables and of the probability distributions for these values. Some previous no-go claims against quantum hypercomputation are then reviewed in the light of this new positive proposal.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,636

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2009-01-28

Downloads
191 (#128,991)

6 months
24 (#130,182)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Computation in physical systems.Gualtiero Piccinini - 2010 - Stanford Encyclopedia of Philosophy.
The Physical Church–Turing Thesis: Modest or Bold?Gualtiero Piccinini - 2011 - British Journal for the Philosophy of Science 62 (4):733-769.
Quantum algorithms: Philosophical lessons.Amit Hagar - 2007 - Minds and Machines 17 (2):233-247.
Quantum hypercomputation—hype or computation?Amit Hagar & Alex Korolev - 2007 - Philosophy of Science 74 (3):347-363.

View all 10 citations / Add more citations

References found in this work

Godel's Proof.Ernest Nagel & James Roy Newman - 1958 - New York, NY, USA: Routledge. Edited by James Roy Newman.
Godel's Proof.S. R. Peterson - 1961 - Philosophical Quarterly 11 (45):379.
Computability and physical theories.Robert Geroch & James B. Hartle - 1986 - Foundations of Physics 16 (6):533-550.
Elements of the Theory of Computation.Harry R. Lewis & Christos H. Papadimitriou - 1984 - Journal of Symbolic Logic 49 (3):989-990.
Beyond the universal Turing machine.B. Jack Copeland & Richard Sylvan - 1999 - Australasian Journal of Philosophy 77 (1):46-66.

View all 12 references / Add more references