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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

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

Quantum hypercomputation—hype or computation?Amit Hagar & Alex Korolev - 2007 - Philosophy of Science 74 (3):347-363.
A brief critique of pure hypercomputation.Paolo Cotogno - 2009 - Minds and Machines 19 (3):391-405.
The diagonal method and hypercomputation.Toby Ord & Tien D. Kieu - 2005 - British Journal for the Philosophy of Science 56 (1):147-156.
Hypercomputation: Computing more than the Turing machine.Toby Ord - 2002 - Dissertation, University of Melbourne
Hypercomputation.B. Jack Copeland - 2002 - Minds and Machines 12 (4):461-502.
Computation and hypercomputation.Mike Stannett - 2003 - Minds and Machines 13 (1):115-153.

Analytics

Added to PP
2009-01-28

Downloads
161 (#119,365)

6 months
18 (#142,459)

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 8 citations / Add more citations

References found in this work

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.
Godel's Proof.Ernest Nagel & James R. Newman - 1958 - New York, NY, USA: Routledge. Edited by James R. Newman.
Elements of the Theory of Computation.Harry R. Lewis & Christos H. Papadimitriou - 1984 - Journal of Symbolic Logic 49 (3):989-990.
Godel's Proof.Ernest Nagel & James R. Newman - 1958 - New York, NY, USA: Routledge. Edited by James R. Newman.

View all 13 references / Add more references