{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T13:46:09Z","timestamp":1751982369155,"version":"3.41.0"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Minds and Machines"],"published-print":{"date-parts":[[2002,11]]},"DOI":"10.1023\/a:1021130831101","type":"journal-article","created":{"date-parts":[[2003,3,21]],"date-time":"2003-03-21T00:40:25Z","timestamp":1048207225000},"page":"541-561","source":"Crossref","is-referenced-by-count":20,"title":["Quantum Hypercomputation"],"prefix":"10.1007","volume":"12","author":[{"given":"Tien D.","family":"Kieu","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5099702_CR1","volume-title":"Speakable and Unspeakable in Quantum Mechanics","author":"J.S. Bell","year":"1987","unstructured":"Bell, J.S. (1987), Speakable and Unspeakable in Quantum Mechanics, Cambridge: Cambridge University Press."},{"key":"5099702_CR2","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1007\/BF01011339","volume":"22","author":"P. Benioff","year":"1980","unstructured":"Benioff, P. (1980), \u2018The Computer as a Physical System.\u2019 Journal of Statistical Physics 22, pp. 563\u2013591.","journal-title":"Journal of Statistical Physics"},{"key":"5099702_CR3","doi-asserted-by":"crossref","first-page":"1411","DOI":"10.1137\/S0097539796300921","volume":"26","author":"E. Bernstein","year":"1997","unstructured":"Bernstein, E. and Vazirani, U. (1997), Quantum Complexity Theory. SIAM Journal on Computing 26, pp. 1411.","journal-title":"SIAM Journal on Computing"},{"key":"5099702_CR4","volume-title":"Computing with Cells and Atoms","author":"C.S. Calude","year":"2001","unstructured":"Calude, C.S. and Paun, G. (2001), Computing with Cells and Atoms, Oxford: Taylor and Francis."},{"key":"5099702_CR5","unstructured":"Calude, C.S. and Pavlov, B. (2001), \u2018Coins, Quantum Measurements and Turing's Barrier\u2019, Archive quant-ph\/0112087."},{"key":"5099702_CR6","volume-title":"Mathematical Mountaintops","author":"J.L. Casti","year":"2001","unstructured":"Casti, J.L. (2001), Mathematical Mountaintops, Oxford\/New York: Oxford University Press."},{"key":"5099702_CR7","volume-title":"Algorithmic Information Theory","author":"G.J. Chaitin","year":"1992","unstructured":"Chaitin, G.J. (1992), Algorithmic Information Theory, Cambridge: Cambridge University Press."},{"key":"5099702_CR8","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1080\/00048409912348801","volume":"77","author":"B.J. Copeland","year":"1999","unstructured":"Copeland, B.J. and Sylvan, R. (1999), \u2018Beyond the Universal Turing Machine\u2019, Australasian Journal of Philosophy 77, 46\u201366.","journal-title":"Australasian Journal of Philosophy"},{"key":"5099702_CR9","doi-asserted-by":"crossref","unstructured":"Davis, M. and Hersh, R. (1973), \u2018Hilbert's 10th Problem\u2019, Scientific American, pp. 84\u201391.","DOI":"10.1038\/scientificamerican1173-84"},{"key":"5099702_CR10","volume-title":"Computability and Unsolvability","author":"M. Davis","year":"1982","unstructured":"Davis, M. (1982), Computability and Unsolvability, New York: Dover."},{"key":"5099702_CR11","volume-title":"Engines of Logic","author":"M. Davis","year":"2000","unstructured":"Davis, M. (2000), Engines of Logic, New York: Norton."},{"key":"5099702_CR12","doi-asserted-by":"crossref","first-page":"265","DOI":"10.2307\/421056","volume":"6","author":"D. Deutsch","year":"2000","unstructured":"Deutsch, D., Ekert, A. and Lupacchini, R. (2000), \u2018Machines, Logic and Quantum Physics\u2019, The Bulletin of Symbolic Logic 6, pp. 265\u2013283. See also a review of this paper by E. Knill on http:\/\/quickreviews.org\/cgi\/display.cgi?reviewID=knill.bsl.6.265 Enk, S.J. van and Fuchs, C.A. (2001), Archive quant-ph\/0111157.","journal-title":"The Bulletin of Symbolic Logic"},{"key":"5099702_CR13","unstructured":"Etesi, G. and N\u00e9meti, I. (2001), \u2018Non-Turing Computations via Malament-Hogarth Space-times\u2019, Archive gr-qc\/0104023."},{"key":"5099702_CR14","unstructured":"Farhi, E., Goldstone, J., Gutmann, S. and Sipser, M. (2000), \u2018Quantum Computation by Adiabatic Evolution\u2019, Archive quant-ph\/0001106."},{"key":"5099702_CR15","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1007\/BF02650179","volume":"21","author":"R.P. Feynman","year":"1982","unstructured":"Feynman, R.P. (1982), \u2018Simulating Physics with Computers\u2019 International Journal of Theoretical Physics 21, pp. 467.","journal-title":"International Journal of Theoretical Physics"},{"key":"5099702_CR16","volume-title":"The Kleene Symposium","author":"R.O. Gandy","year":"1980","unstructured":"Gandy, R.O. (1980), \u2018Church's Thesis and Principles for Mechanisms\u2019, in J. Barwise, H.J. Keisler and K. Kunen, eds. The Kleene Symposium, Amsterdam: North-Holland"},{"key":"5099702_CR17","unstructured":"Gandy, R.O. (1993), On the impossibility of using analogue machines to calculate non-computable functions, unpublished. (Gandy handed this paper to Jack Copeland about two weeks before he died. I am grateful to Jack Copeland for giving me access to this hand-written manuscript.)"},{"key":"5099702_CR18","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1007\/BF01886519","volume":"16","author":"R. Geroch","year":"1986","unstructured":"Geroch, R., and Hartle, J.B. (1986), \u2018Computability and Physical Theories\u2019, J.Found.Phys. 16, pp. 533\u2013550.","journal-title":"J. Found. Phys"},{"key":"5099702_CR19","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1103\/PhysRevLett.79.325","volume":"79","author":"L.K. Grover","year":"1997","unstructured":"Grover, L.K. (1997), \u2018Quantum Mechanics Helps in Searching for a Needle in a Haystack\u2019, Physical Review Letters. 79, pp. 325\u2013328.","journal-title":"Physical Review Letters"},{"key":"5099702_CR20","unstructured":"Guillen, M. (1983), Bridges to Infinity, Rider & Company."},{"key":"5099702_CR21","unstructured":"Kieu, T.D. (2001a), \u2018Quantum Algorithm for the Hilbert's Tenth Problem\u2019, Archive quant-ph\/0110136. See also Kieu, T.D. (2002), \u2018Computing the Noncomputable\u2019, Archive quant-ph\/0203034, to appear in Contemporary Physics."},{"key":"5099702_CR22","unstructured":"Kieu, T.D. (2001b), \u2018A Reformulation of the Hilbert's Tenth Problem Through Quantum Mechanics\u2019, Archive quant-ph\/0111063."},{"key":"5099702_CR23","unstructured":"Kieu, T.D. (2002), \u2018Quantum Principles and Mathematical Computability\u2019, Archive quant-ph\/0205093."},{"key":"5099702_CR24","volume-title":"Elements of the Theory of Computation","author":"H.R. Lewis","year":"1981","unstructured":"Lewis, H.R. and Papadimitriou, C.H. (1981), Elements of the Theory of Computation, Englewood Cliffs, NJ: Prentice Hall."},{"key":"5099702_CR25","doi-asserted-by":"crossref","unstructured":"Lloyd, S. and Braunstein, S.L. (1998), \u2018Quantum Computation over Continuous Variables\u2019, Archive quant-ph\/9810082.","DOI":"10.1007\/978-94-015-1258-9_2"},{"key":"5099702_CR26","volume-title":"Hilbert's Tenth Problem","author":"Y.V. Matiyasevich","year":"1993","unstructured":"Matiyasevich, Y.V. (1993), Hilbert's Tenth Problem, Cambridge, MA: MIT Press."},{"key":"5099702_CR27","volume-title":"Quantum Mechanics","author":"A. Messiah","year":"1976","unstructured":"Messiah, A. (1976), Quantum Mechanics, Vol. II, Amsterdam: North Holland."},{"key":"5099702_CR28","volume-title":"G\u00f6del's Proof","author":"E. Nagel","year":"1958","unstructured":"Nagel, E. and Newman, J.R. (1958), G\u00f6del's Proof, New York: New York University Press."},{"key":"5099702_CR29","doi-asserted-by":"crossref","first-page":"2915","DOI":"10.1103\/PhysRevLett.79.2915","volume":"79","author":"M.A. Nielsen","year":"1997","unstructured":"Nielsen, M.A. (1997), \u2018Computable Functions, Quantum Measurements, and Quantum Dynamics\u2019, Physical Review Letters 79, pp. 2915\u20132918.","journal-title":"Physical Review Letters"},{"key":"5099702_CR30","volume-title":"Quantum Computation and Quantum Information","author":"M.A. Nielsen","year":"2000","unstructured":"Nielsen, M.A. and Chuang, I.L. (2000), Quantum Computation and Quantum Information, Cambridge: Cambridge University Press."},{"key":"5099702_CR31","volume-title":"Computability in Analysis and Physics","author":"M. Pour-El","year":"1979","unstructured":"Pour-El, M. and Richards, I. (1979), Computability in Analysis and Physics, Berlin: Springer."},{"key":"5099702_CR32","volume-title":"Mind and Machines","author":"M. Scriven","year":"1964","unstructured":"Scriven, M. (1964), \u2018The Mechanical Concept of Mind\u2019, in A.R. Anderson, ed., Mind and Machines, Englewood Cliffs, NJ: Prentice-Hall."},{"key":"5099702_CR33","doi-asserted-by":"crossref","first-page":"1484","DOI":"10.1137\/S0097539795293172","volume":"26","author":"P.W. Shor","year":"1997","unstructured":"Shor, P.W. (1997), \u2018Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer\u2019, SIAM Journal on Computing 26, pp. 1484\u20131509.","journal-title":"SIAM Journal on Computing"},{"key":"5099702_CR34","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1126\/science.268.5210.545","volume":"268","author":"H.T. Siegelmann","year":"1995","unstructured":"Siegelmann, H.T. (1995), \u2018Computation Beyond the Turing Limit\u2019, Science 268, pp. 545\u2013548.","journal-title":"Science"},{"key":"5099702_CR35","unstructured":"Stannett, M., 2001, \u2018Hypercomputation is Experimentally Irrefutable.\u2019 Tech. Report CS-01-04 Dept of Computer Science, Sheffield University."},{"key":"5099702_CR36","first-page":"371","volume-title":"Unconventional Models of Computation","author":"K. Svozil","year":"1998","unstructured":"Svozil, K. (1998), \u2018The Church-Turing Thesis as a Guiding Principle for Physics\u2019, in C.S. Calude, J. Casti and M.J. Dinneen, eds., Unconventional Models of Computation, Singapore: Springer, pp. 371\u2013385."},{"key":"5099702_CR37","volume-title":"Quantum Optics","author":"D.F. Walls","year":"1995","unstructured":"Walls, D.F. and Milburn, G.J. (1995), Quantum Optics, Berlin: Springer."}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021130831101.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1021130831101\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021130831101.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T05:35:56Z","timestamp":1747892156000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1021130831101"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":37,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2002,11]]}},"alternative-id":["5099702"],"URL":"https:\/\/doi.org\/10.1023\/a:1021130831101","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"type":"print","value":"0924-6495"},{"type":"electronic","value":"1572-8641"}],"subject":[],"published":{"date-parts":[[2002,11]]}}}