{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,28]],"date-time":"2026-03-28T03:47:07Z","timestamp":1774669627888,"version":"3.50.1"},"reference-count":98,"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:1021105915386","type":"journal-article","created":{"date-parts":[[2003,3,21]],"date-time":"2003-03-21T00:40:25Z","timestamp":1048207225000},"page":"461-502","source":"Crossref","is-referenced-by-count":99,"title":["Hypercomputation"],"prefix":"10.1007","volume":"12","author":[{"given":"B. Jack","family":"Copeland","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"5102264_CR1","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1145\/321450.321460","volume":"15","author":"O. Aberth","year":"1968","unstructured":"Aberth, O. (1968), \u2018Analysis in the Computable Number Field\u2019, Journal of the Association of Computing Machinery 15, pp. 275\u2013299.","journal-title":"Journal of the Association of Computing Machinery"},{"key":"5102264_CR2","volume-title":"Twelfth Annual Symposium on Switching and Automata Theory","author":"F.G. Abramson","year":"1971","unstructured":"Abramson, F.G. (1971), \u2018Effective Computation over the Real Numbers\u2019, Twelfth Annual Symposium on Switching and Automata Theory, Northridge, CA: Institute of Electrical and Electronics Engineers."},{"key":"5102264_CR3","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1093\/mind\/XLIV.174.186","volume":"35","author":"A. Ambrose","year":"1935","unstructured":"Ambrose, A. (1935), \u2018Finitism in Mathematics (I and II)\u2019, Mind 35, pp. 186\u2013203 and 317\u2013340.","journal-title":"Mind"},{"key":"5102264_CR4","volume-title":"Discovering Complexity: Decomposition and Localization as Strategies in Scientific Research","author":"W. Bechtel","year":"1993","unstructured":"Bechtel,W. and Richardson, R.C. (1993), Discovering Complexity: Decomposition and Localization as Strategies in Scientific Research, Princeton: Princeton University Press."},{"key":"5102264_CR5","doi-asserted-by":"crossref","first-page":"645","DOI":"10.2307\/2013813","volume":"23","author":"R.M. Blake","year":"1926","unstructured":"Blake, R.M. (1926), \u2018The Paradox of Temporal Process\u2019, Journal of Philosophy 23, pp. 645\u2013654.","journal-title":"Journal of Philosophy"},{"key":"5102264_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0273-0979-1989-15750-9","volume":"21","author":"L. Blum","year":"1989","unstructured":"Blum, L., Shub, M. and Smale, S. (1989), \u2018On a Theory of Computation and Complexity Over the Real Numbers: NP\u2013Completeness, Recursive Functions and Universal Machines\u2019, Bulletin of the American Mathematical Society, New Series, 21, pp. 1\u201346.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"5102264_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0701-6","volume-title":"Complexity and Real Computation","author":"L. Blum","year":"1998","unstructured":"Blum, L., Cucker, F., Shub, M. and Smale, S. (1998), Complexity and Real Computation, NewYork: Springer."},{"key":"5102264_CR8","volume-title":"Essays in Tektology: The General Science of Organisation","author":"A.A. Bogdanov","year":"1980","unstructured":"Bogdanov, A.A. (1980), Essays in Tektology: The General Science of Organisation, trans. G. Gorelik, Seaside, CA: Intersystems."},{"key":"5102264_CR9","volume-title":"Computability and Logic","author":"G.S. Boolos","year":"1974","unstructured":"Boolos, G.S. and Jeffrey, R.C. (1974), Computability and Logic, Cambridge: Cambridge University Press."},{"key":"5102264_CR10","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S0016-0032(31)90616-9","volume":"212","author":"V. Bush","year":"1931","unstructured":"Bush, V. (1931), \u2018The Differential Analyser: A New Machine for Solving Differential Equations\u2019, Journal of the Franklin Institute 212, pp. 447\u2013488.","journal-title":"Journal of the Franklin Institute"},{"key":"5102264_CR11","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1090\/S0002-9904-1936-06390-1","volume":"42","author":"V. Bush","year":"1936","unstructured":"Bush, V. (1936), \u2018Instrumental Analysis\u2019, Bulletin of the American Mathematical Society 42, pp. 649\u2013669.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"5102264_CR12","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0016-0032(45)90453-4","volume":"240","author":"V. Bush","year":"1945","unstructured":"Bush, V. and Caldwell, S.H. (1945), \u2018A New Type of Differential Analyser\u2019, Journal of the Franklin Institute 240, pp. 255\u2013326.","journal-title":"Journal of the Franklin Institute"},{"key":"5102264_CR13","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/BF00976283","volume":"3","author":"C.E. Cleland","year":"1993","unstructured":"Cleland, C.E. (1993), \u2018Is the Church-Turing Thesis True?\u2019, Minds and Machines 3, pp. 283\u2013312.","journal-title":"Minds and Machines"},{"key":"5102264_CR14","doi-asserted-by":"crossref","first-page":"345","DOI":"10.2307\/2371045","volume":"58","author":"A. Church","year":"1936","unstructured":"Church, A. (1936), \u2018An Unsolvable Problem of Elementary Number Theory\u2019, American Journal of Mathematics 58, pp. 345\u2013363.","journal-title":"American Journal of Mathematics"},{"key":"5102264_CR15","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1090\/S0002-9904-1940-07154-X","volume":"46","author":"A. Church","year":"1940","unstructured":"Church, A. (1940), \u2018On the Concept of a Random Sequence\u2019, American Mathematical Society Bulletin 46, pp. 130\u2013135.","journal-title":"American Mathematical Society Bulletin"},{"key":"5102264_CR16","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1038\/scientificamerican0190-32","volume":"262","author":"P.M. Churchland","year":"1990","unstructured":"Churchland, P.M. and Churchland, P.S. (1990), \u2018Could a Machine Think?\u2019, Scientific American 262, pp. 26\u201331.","journal-title":"Scientific American"},{"key":"5102264_CR17","unstructured":"Copeland, B.J. (1997a), \u2018The Church-Turing Thesis\u2019, in E. Zalta, ed., Stanford Encyclopedia of Philosophy, <http:\/\/plato.stanford.edu>."},{"key":"5102264_CR18","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1177\/0002764297040006003","volume":"40","author":"B.J. Copeland","year":"1997","unstructured":"Copeland, B.J. (1997b), \u2018The Broad Conception of Computation\u2019, American Behavioral Scientist 40, pp. 690\u2013716.","journal-title":"American Behavioral Scientist"},{"key":"5102264_CR19","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1093\/analys\/58.2.128","volume":"58","author":"B.J. Copeland","year":"1998","unstructured":"Copeland, B.J. (1998a), \u2018Turing's O-machines, Penrose, Searle, and the Brain\u2019, Analysis 58, pp. 128\u2013138.","journal-title":"Analysis"},{"key":"5102264_CR20","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1002\/(SICI)1099-0526(199809\/10)4:1<30::AID-CPLX9>3.0.CO;2-8","volume":"4","author":"B.J. Copeland","year":"1998","unstructured":"Copeland, B.J. (1998b), \u2018Super Turing-Machines\u2019, Complexity 4, pp. 30\u201332.","journal-title":"Complexity"},{"key":"5102264_CR21","volume-title":"Unconventional Models of Computation","author":"B.J. Copeland","year":"1998","unstructured":"Copeland, B.J. (1998c), \u2018Even Turing Machines Can Compute Uncomputable Functions\u2019, in C. Calude, J. Casti and M. Dinneen, eds., Unconventional Models of Computation, London: Springer."},{"key":"5102264_CR22","first-page":"5","volume":"96","author":"B.J. Copeland","year":"2000","unstructured":"Copeland, B.J. (2000), \u2018Narrow Versus Wide Mechanism\u2019, Journal of Philosophy 96, pp. 5\u201332.","journal-title":"Journal of Philosophy"},{"key":"5102264_CR23","volume-title":"Action This Day","author":"B.J. Copeland","year":"2001","unstructured":"Copeland, B.J. (2001a), \u2018Colossus and the Dawning of the Computer Age\u2019, in R. Erskine and M. Smith, eds., Action This Day, London: Bantam Books."},{"key":"5102264_CR24","unstructured":"Copeland, B.J. (2001b), \u2018Modern History of Computing\u2019, in E. Zalta (ed.), Stanford Encyclopedia of Philosophy, <http:\/\/plato.stanford.edu>."},{"key":"5102264_CR25","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1023\/A:1015607401307","volume":"12","author":"B.J. Copeland","year":"2002","unstructured":"Copeland, B.J. (2002), \u2018Accelerating Turing Machines\u2019, Minds and Machines 12, pp. 281\u2013301.","journal-title":"Minds and Machines"},{"key":"5102264_CR26","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1038\/scientificamerican0499-98","volume":"280","author":"B.J. Copeland","year":"1999","unstructured":"Copeland, B.J. and Proudfoot, D. (1999a), \u2018Alan Turing's Forgotten Ideas in Computer Science\u2019, Scientific American 280, pp. 76\u201381.","journal-title":"Scientific American"},{"key":"5102264_CR27","first-page":"187","volume":"108","author":"B.J. Copeland","year":"1999","unstructured":"Copeland, B.J. and Proudfoot, D. (1999b), \u2018The Legacy of Alan Turing\u2019, Mind 108, pp. 187\u2013195.","journal-title":"Mind"},{"key":"5102264_CR28","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, pp. 46\u201366.","journal-title":"Australasian Journal of Philosophy"},{"key":"5102264_CR29","volume-title":"Computability and Unsolvability","author":"M. Davis","year":"1958","unstructured":"Davis, M. (1958), Computability and Unsolvability, New York: McGraw-Hill."},{"key":"5102264_CR30","first-page":"97","volume":"400","author":"D. Deutsch","year":"1985","unstructured":"Deutsch, D. (1985), \u2018Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer\u2019, Proceedings of the Royal Society, Series A, 400, pp. 97\u2013117.","journal-title":"Proceedings of the Royal Society"},{"key":"5102264_CR31","volume-title":"What Computers Still Can't Do: A Critique of Artificial Reason","author":"H.L. Dreyfus","year":"1992","unstructured":"Dreyfus, H.L. (1992), What Computers Still Can't Do: A Critique of Artificial Reason, Cambridge, MA: MIT Press."},{"key":"5102264_CR32","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1086\/289716","volume":"60","author":"J. Earman","year":"1993","unstructured":"Earman, J. and Norton, J.D. (1993), \u2018Forever is a Day: Supertasks in Pitowsky and Malament-Hogarth Spacetimes\u2019, Philosophy of Science 60, pp. 22\u201342.","journal-title":"Philosophy of Science"},{"key":"5102264_CR33","volume-title":"Benacerraf and his Critics","author":"J. Earman","year":"1996","unstructured":"Earman, J. and Norton, J.D. (1996), \u2018Infinite Pains: The Trouble with Supertasks\u2019, in A. Morton and S.P. Stich, eds., Benacerraf and his Critics, Oxford: Blackwell."},{"key":"5102264_CR34","volume-title":"The Kleene Symposium","author":"R. Gandy","year":"1980","unstructured":"Gandy, R. (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":"5102264_CR35","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, Foundations of Physics 16, pp. 533\u2013550.","journal-title":"Foundations of Physics"},{"key":"5102264_CR36","doi-asserted-by":"crossref","first-page":"28","DOI":"10.2307\/2270580","volume":"30","author":"E.M. Gold","year":"1965","unstructured":"Gold, E.M. (1965), \u2018Limiting Recursion\u2019, Journal of Symbolic Logic 30, pp. 28\u201348.","journal-title":"Journal of Symbolic Logic"},{"key":"5102264_CR37","volume-title":"Fourth European Conference on Artificial Life","author":"I. Harvey","year":"1997","unstructured":"Harvey, I. and Bossomaier, T. (1997), \u2018Time Out of Joint: Attractors in Asynchronous Random Boolean Networks\u2019, in P. Husbands and I. Harvey, eds., Fourth European Conference on Artificial Life, Cambridge, MA: MIT Press."},{"key":"5102264_CR38","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF00682813","volume":"5","author":"M.L. Hogarth","year":"1992","unstructured":"Hogarth, M.L. (1992), \u2018Does General Relativity Allow an Observer to View an Eternity in a Finite Time?\u2019, Foundations of Physics Letters 5, pp. 173\u2013181.","journal-title":"Foundations of Physics Letters"},{"key":"5102264_CR39","first-page":"126","volume":"1","author":"M.L. Hogarth","year":"1994","unstructured":"Hogarth, M.L. (1994), \u2018Non-Turing Computers and Non-Turing Computability\u2019, PSA 1994 1, pp. 126\u2013138.","journal-title":"PSA 1994"},{"key":"5102264_CR40","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1023\/A:1015634729532","volume":"12","author":"D. Israel","year":"2002","unstructured":"Israel, D. (2002), \u2018Reflections on G\u00f6del's and Gandy's Reflections on Turing's Thesis\u2019, Minds and Machines 12, pp. 181\u2013201.","journal-title":"Minds and Machines"},{"key":"5102264_CR41","volume-title":"Self-Modifying Systems in Biology and Cognitive Science: A New Framework for Dynamics, Information and Complexity","author":"G. Kampis","year":"1991","unstructured":"Kampis, G. (1991), Self-Modifying Systems in Biology and Cognitive Science: A New Framework for Dynamics, Information and Complexity, Oxford: Pergamon."},{"key":"5102264_CR42","first-page":"91","volume":"12","author":"G. Kampis","year":"1995","unstructured":"Kampis, G. (1995), \u2018Computability, Self-Reference, and Self-Amendment\u2019, Communications and Cognition-Artificial Intelligence 12, pp. 91\u2013110.","journal-title":"Communications and Cognition-Artificial Intelligence"},{"key":"5102264_CR43","volume-title":"Logic and Algorithmic","author":"R.M. Karp","year":"1982","unstructured":"Karp, R.M. and Lipton, R.J. (1982), \u2018Turing Machines that Take Advice\u2019, in E. Engeler et al., eds., Logic and Algorithmic, Gen\u00e8ve: L'Enseignement Math\u00e9matique."},{"key":"5102264_CR44","volume-title":"Mathematical Logic","author":"S.C. Kleene","year":"1967","unstructured":"Kleene, S.C. (1967), Mathematical Logic, New York: Wiley."},{"key":"5102264_CR45","doi-asserted-by":"crossref","first-page":"542","DOI":"10.1103\/PhysRev.133.B542","volume":"133B","author":"A. Komar","year":"1964","unstructured":"Komar, A. (1964), \u2018Undecidability of Macroscopically Distinguishable States in Quantum Field Theory\u2019, Physical Review, second series, 133B, pp. 542\u2013544.","journal-title":"Physical Review"},{"key":"5102264_CR46","volume-title":"Lectures on Modern Mathematics","author":"G. Kreisel","year":"1965","unstructured":"Kreisel, G. (1965) \u2018Mathematical Logic\u2019, in T.L. Saaty, ed., Lectures on Modern Mathematics, Vol. 3, New York: John Wiley."},{"key":"5102264_CR47","volume-title":"Bertrand Russell: Philosopher of the Century","author":"G. Kreisel","year":"1967","unstructured":"Kreisel, G. (1967), \u2018Mathematical Logic: What Has it Done For the Philosophy of Mathematics?\u2019, in R. Schoenman, ed., Bertrand Russell: Philosopher of the Century, London: George Allen and Unwin."},{"key":"5102264_CR48","volume-title":"Symposium on Automatic Demonstration","author":"G. Kreisel","year":"1970","unstructured":"Kreisel, G. (1970), \u2018Hilbert's Programme and the Search for Automatic Proof Procedures\u2019, in M. Laudet et al., eds., Symposium on Automatic Demonstration, Lecture Notes in Mathematics, Vol. 125, Berlin: Springer."},{"key":"5102264_CR49","volume-title":"Logic Colloquium\u2019 69","author":"G. Kreisel","year":"1971","unstructured":"Kreisel, G. (1971), \u2018Some Reasons for Generalising Recursion Theory\u2019, in R.O. Gandy and C.M.E. Yates, eds., Logic Colloquium\u2019 69, Amsterdam: North-Holland."},{"key":"5102264_CR50","doi-asserted-by":"crossref","first-page":"311","DOI":"10.2307\/2272975","volume":"37","author":"G. Kreisel","year":"1972","unstructured":"Kreisel, G. (1972), \u2018Which Number Theoretic Problems Can Be Solved in Recursive Progressions on \u03c011-Paths Through 0?\u2019, Journal of Symbolic Logic 37, pp. 311\u2013334.","journal-title":"Journal of Symbolic Logic"},{"key":"5102264_CR51","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/BF00484949","volume":"29","author":"G. Kreisel","year":"1974","unstructured":"Kreisel, G. (1974), \u2018A Notion of Mechanistic Theory\u2019, Synthese 29, pp. 11\u201326.","journal-title":"Synthese"},{"key":"5102264_CR52","doi-asserted-by":"crossref","first-page":"900","DOI":"10.2307\/2273108","volume":"47","author":"G. Kreisel","year":"1982","unstructured":"Kreisel, G. (1982), Review of Pour\u2013El and Richards, Journal of Symbolic Logic 47, pp. 900\u2013902.","journal-title":"Journal of Symbolic Logic"},{"key":"5102264_CR53","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1305\/ndjfl\/1093637646","volume":"28","author":"G. Kreisel","year":"1987","unstructured":"Kreisel, G. (1987), \u2018Church's Thesis and the Ideal of Formal Rigour\u2019, Notre Dame Journal of Formal Logic 28, pp. 499\u2013519.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"5","key":"5102264_CR54","first-page":"85","volume":"4","author":"S.M. Krylov","year":"1986","unstructured":"Krylov, S.M. (1986), \u2018Formal Technology and Universal Systems\u2019, Cybernetics, Part 1: No. 4, pp. 85\u201389, Part 2: No. 5, pp. pp28\u201331.","journal-title":"Cybernetics"},{"key":"5102264_CR55","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1080\/03081079608945119","volume":"24","author":"S.M. Krylov","year":"1996","unstructured":"Krylov, S.M. (1996), \u2018Formal Technology and Cognitive Processes\u2019, International Journal of General Systems 24, pp. 233\u2013243.","journal-title":"International Journal of General Systems"},{"key":"5102264_CR56","unstructured":"Krylov, S.M. (1997), Formal Technology in Philosophy, Engineering, Bio-evolution and Sociology, Samara State Technical University."},{"key":"5102264_CR57","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0010-0277(86)90057-0","volume":"22","author":"P. Kugel","year":"1986","unstructured":"Kugel, P. (1986) \u2018Thinking May Be More Than Computing\u2019, Cognition 22, pp. 137\u2013198.","journal-title":"Cognition"},{"key":"5102264_CR58","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1090\/S0002-9939-1987-0870803-1","volume":"99","author":"L. Lipshitz","year":"1987","unstructured":"Lipshitz, L. and Rubel, L.A. (1987), \u2018A Differentially Algebraic Replacement Theorem, and Analog Computability\u2019, Proceedings of the American Mathematical Society 99, pp. 367\u2013372.","journal-title":"Proceedings of the American Mathematical Society"},{"key":"5102264_CR59","volume-title":"Hypercomputation Workshop","author":"G.J. Lokhorst","year":"2000","unstructured":"Lokhorst, G.J. (2000), \u2018Why I am Not a Super\u2013Turing Machine\u2019, Hypercomputation Workshop, University College, London, 24 May 2000."},{"key":"5102264_CR60","unstructured":"Maass, W. and Orponen, P. (1997), \u2018On the Effect of Analog Noise in Discrete-Time Analog Computations\u2019, NeuroColt Technical Report Series, NC-TR-97-042."},{"key":"5102264_CR61","unstructured":"Maass, W. and Sontag, E.D. (1997), \u2018Analog Neural Nets with Gaussian or Other Common Noise Distributions Cannot Recognise Arbitrary Regular Languages\u2019, NeuroColt Technical Report Series, NC-TR-97-043."},{"key":"5102264_CR62","volume-title":"IEEE First International Conference on Neural Networks","author":"B.J. MacLennan","year":"1987","unstructured":"MacLennan, B.J. (1987), \u2018Technology\u2013Independent Design of Neurocomputers: The Universal Field Computer\u2019, IEEE First International Conference on Neural Networks, Vol. 3, San Diego, CA: Institute of Electrical and Electronics Engineers."},{"key":"5102264_CR63","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198519737.001.0001","volume-title":"The Emperor's New Mind Concerning Computers, Minds, and the Laws of Physics","author":"R. Penrose","year":"1989","unstructured":"Penrose, R. (1989), The Emperor's New Mind Concerning Computers, Minds, and the Laws of Physics, Oxford: Oxford University Press."},{"key":"5102264_CR64","first-page":"643","volume":"13","author":"R. Penrose","year":"1990","unstructured":"Penrose, R. (1990), Pr\u00e9cis of The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics, tiBehavioural and Brain Sciences 13, pp. 643\u2013655 and 692\u2013705.","journal-title":"Pr\u00e9cis of The Emperor's New Mind: Concerning Computers, Minds, and the Laws of Physics, tiBehavioural and Brain Sciences"},{"key":"5102264_CR65","volume-title":"Shadows of the Mind: A Search for the Missing Science of Consciousness","author":"R. Penrose","year":"1994","unstructured":"Penrose, R. (1994), Shadows of the Mind: A Search for the Missing Science of Consciousness, Oxford: Oxford University Press."},{"key":"5102264_CR66","first-page":"81","volume":"39","author":"I. Pitowsky","year":"1990","unstructured":"Pitowsky, I. (1990), \u2018The Physical Church Thesis and Physical Computational Complexity\u2019, Iyyun 39, pp. 81\u201399.","journal-title":"Iyyun"},{"key":"5102264_CR67","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1974-0347575-8","volume":"199","author":"M.B. Pour-El","year":"1974","unstructured":"Pour-El, M.B. (1974), \u2018Abstract Computability and its Relation to the General Purpose Analog Computer\u2019, Transactions of the American Mathematical Society 199, pp. 1\u201328.","journal-title":"Transactions of the American Mathematical Society"},{"key":"5102264_CR68","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0003-4843(79)90021-4","volume":"17","author":"M.B. Pour-El","year":"1979","unstructured":"Pour-El, M.B. and Richards, J.I. (1979), \u2018A Computable Ordinary Differential Equation Which Possesses No Computable Solution\u2019, Annals of Mathematical Logic 17, pp. 61\u201390.","journal-title":"Annals of Mathematical Logic"},{"key":"5102264_CR69","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/0001-8708(81)90001-3","volume":"39","author":"M.B. Pour-El","year":"1981","unstructured":"Pour-El, M.B. and Richards, J.I. (1981), \u2018TheWave Equation with Computable Initial Data such that its Unique Solution is not Computable\u2019, Advances in Mathematics 39, pp. 215\u2013239.","journal-title":"Advances in Mathematics"},{"key":"5102264_CR70","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-21717-7","volume-title":"Computability in Analysis and Physics","author":"M.B. Pour-El","year":"1989","unstructured":"Pour-El, M.B. and Richards, J.I. (1989), Computability in Analysis and Physics, Berlin: Springer."},{"key":"5102264_CR71","volume-title":"Dimensions of Mind","author":"H. Putnam","year":"1960","unstructured":"Putnam, H. (1960), \u2018Minds and Machines\u2019, in S. Hook, ed., Dimensions of Mind, New York: New York University Press."},{"key":"5102264_CR72","doi-asserted-by":"crossref","first-page":"49","DOI":"10.2307\/2270581","volume":"30","author":"H. Putnam","year":"1965","unstructured":"Putnam, H. (1965), \u2018Trial and Error Predicates and the Solution of a Problem of Mostowski\u2019, Journal of Symbolic Logic 30, pp. 49\u201357.","journal-title":"Journal of Symbolic Logic"},{"key":"5102264_CR73","doi-asserted-by":"crossref","DOI":"10.4159\/9780674042384","volume-title":"Renewing Philosophy","author":"H. Putnam","year":"1992","unstructured":"Putnam, H. (1992), Renewing Philosophy, Cambridge, MA: Harvard University Press."},{"key":"5102264_CR74","first-page":"73","volume":"4","author":"L.A. Rubel","year":"1985","unstructured":"Rubel, L.A. (1985), \u2018The Brain as an Analog Computer\u2019, Journal of Theoretical Neurobiology 4, pp. 73\u201381.","journal-title":"Journal of Theoretical Neurobiology"},{"key":"5102264_CR75","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1016\/0196-8858(88)90004-8","volume":"9","author":"L.A. Rubel","year":"1988","unstructured":"Rubel, L.A. (1988), \u2018Some Mathematical Limitations of the General\u2013Purpose Analog Computer\u2019, Advances in Applied Mathematics 9, pp. 22\u201334.","journal-title":"Advances in Applied Mathematics"},{"key":"5102264_CR76","doi-asserted-by":"crossref","first-page":"1011","DOI":"10.2307\/2274761","volume":"54","author":"L.A. Rubel","year":"1989","unstructured":"Rubel, L.A. (1989), \u2018Digital Simulation of Analog Computation and Church's Thesis\u2019, Journal of Symbolic Logic 54, pp. 1011\u20131017.","journal-title":"Journal of Symbolic Logic"},{"key":"5102264_CR77","volume-title":"Our Knowledge of the External World as a Field for Scientific Method in Philosophy","author":"B.A.W. Russell","year":"1915","unstructured":"Russell, B.A.W. (1915), Our Knowledge of the External World as a Field for Scientific Method in Philosophy, Chicago: Open Court."},{"key":"5102264_CR78","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1093\/aristotelian\/36.1.131","volume":"36","author":"B.A.W. Russell","year":"1936","unstructured":"Russell, B.A.W. (1936), \u2018The Limits of Empiricism\u2019, Proceedings of the Aristotelian Society 36, pp. 131\u2013150.","journal-title":"Proceedings of the Aristotelian Society"},{"key":"5102264_CR79","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1002\/malq.19630091802","volume":"9","author":"B. Scarpellini","year":"1963","unstructured":"Scarpellini, B. (1963), \u2018Zwei Unentscheitbare Probleme der Analysis\u2019, Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik 9, pp. 265\u2013289.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"key":"5102264_CR80","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1023\/A:1015694932257","volume":"12","author":"O. Shagrir","year":"2002","unstructured":"Shagrir, O. (2002), \u2018Effective Computation by Humans and Machines\u2019, Minds and Machines 12, pp. 221\u2013240.","journal-title":"Minds and Machines"},{"key":"5102264_CR81","first-page":"337","volume":"20","author":"C.E. Shannon","year":"1941","unstructured":"Shannon, C.E. (1941), \u2018Mathematical Theory of the Differential Analyser\u2019, Journal of Mathematics and Physics of the Massachusetts Institute of Technology 20, pp. 337\u2013354.","journal-title":"Journal of Mathematics and Physics of the Massachusetts Institute of Technology"},{"key":"5102264_CR82","doi-asserted-by":"crossref","unstructured":"Siegelmann, H.T. and Sontag, E.D. (1992), \u2018On the Computational Power of Neural Nets\u2019, Proceedings of the 5\nth\n?Annual ACM Workshop on Computational Learning Theory, Pittsburgh, pp. 440\u2013449.","DOI":"10.1145\/130385.130432"},{"key":"5102264_CR83","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/0304-3975(94)90178-3","volume":"131","author":"H.T. Siegelmann","year":"1994","unstructured":"Siegelmann, H.T. and Sontag, E.D. (1994), \u2018Analog Computation via Neural Networks\u2019, Theoretical Computer Science 131, pp. 331\u2013360.","journal-title":"Theoretical Computer Science"},{"key":"5102264_CR84","first-page":"90","volume":"95","author":"S. Smale","year":"1988","unstructured":"Smale, S. (1988), \u2018The Newtonian Contribution to Our Understanding of the Computer\u2019, Queen's Quarterly 95, pp. 90\u201395.","journal-title":"Queen's Quarterly"},{"key":"5102264_CR85","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/BF01888233","volume":"2","author":"M. Stannett","year":"1990","unstructured":"Stannett, M. (1990), \u2018X-Machines and the Halting Problem: Building a Super\u2013Turing Machine\u2019, Formal Aspects of Computing 2, pp. 331\u2013341.","journal-title":"Formal Aspects of Computing"},{"key":"5102264_CR86","doi-asserted-by":"crossref","first-page":"664","DOI":"10.1038\/352664a0","volume":"352","author":"I. Stewart","year":"1991","unstructured":"Stewart, I. (1991a), \u2018Deciding the Undecidable\u2019, Nature 352, pp. 664\u2013665.","journal-title":"Nature"},{"key":"5102264_CR87","first-page":"8","volume":"1","author":"I. Stewart","year":"1991","unstructured":"Stewart, I. (1991b), \u2018The Dynamics of Impossible Devices\u2019, Nonlinear Science Today 1, pp. 8\u20139.","journal-title":"Nonlinear Science Today"},{"issue":"42","key":"5102264_CR88","first-page":"230","volume":"2","author":"A.M. Turing","year":"1936","unstructured":"Turing, A.M. (1936\u20131937), \u2018On Computable Numbers, with an Application to the Entscheidungsproblem\u2019, Proceedings of the London Mathematical Society, Series 2, 42, pp. 230\u2013265.","journal-title":"Proceedings of the London Mathematical Society"},{"key":"5102264_CR89","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1112\/plms\/s2-45.1.161","volume":"45","author":"A.M. Turing","year":"1939","unstructured":"Turing, A.M. (1938), \u2018Systems of Logic Based on Ordinals'. Dissertation presented to the faculty of Princeton University in candidacy for the degree of Doctor of Philosophy. Published in Proceedings of the London Mathematical Society 45 (1939), pp. 161\u2013228.","journal-title":"Proceedings of the London Mathematical Society"},{"key":"5102264_CR90","volume-title":"A.M.Turing's ACE Report of 1946 and Other Papers","author":"A.M. Turing","year":"1945","unstructured":"Turing, A.M. (1945), \u2018Proposal for Development in the Mathematics Division of an Automatic Computing Engine (ACE)\u2019, in B.E. Carpenter and R.W. Doran, eds., A.M.Turing's ACE Report of 1946 and Other Papers, Cambridge, MA: MIT Press. A digital facsimile of the original document may be viewed in The Turing Archive for the History of Computing <http:\/\/www.AlanTuring.net\/proposed_ electronic_calculator>."},{"key":"5102264_CR91","volume-title":"A.M.Turing's ACE Report of 1946 and Other Papers","author":"A.M. Turing","year":"1947","unstructured":"Turing, A.M. (1947), \u2018Lecture to the London Mathematical Society on 20 February 1947\u2019, in B.E. Carpenter and R.W. Doran, eds., A.M.Turing's ACE Report of 1946 and Other Papers, Cambridge, MA: MIT Press."},{"key":"5102264_CR92","volume-title":"Machine Intelligence 5","author":"A.M. Turing","year":"1948","unstructured":"Turing, A.M. (1948), \u2018Intelligent Machinery\u2019, in B. Meltzer and D. Michie, eds., Machine Intelligence 5, Edinburgh: Edinburgh University Press. A digital facsimile of the original document may be viewed in The Turing Archive for the History of Computing <http:\/\/www.AlanTuring.net\/intellige nt_machinery>."},{"key":"5102264_CR93","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1093\/mind\/LIX.236.433","volume":"59","author":"A.M. Turing","year":"1950","unstructured":"Turing, A.M. (1950), \u2018Computing Machinery and Intelligence\u2019, Mind 59, pp. 433\u2013460.","journal-title":"Mind"},{"key":"5102264_CR94","volume-title":"Machine Intelligence 15","author":"A.M. Turing","year":"1951","unstructured":"Turing, A.M. (1951), \u2018Can Digital Computers Think?\u2019, in B.J. Copeland, ed., \u2018A Lecture and Two Radio Broadcasts on Machine Intelligence by Alan Turing\u2019, in K. Furukawa, D. Michie and S. Muggleton, eds., Machine Intelligence 15, Oxford: Oxford University Press."},{"key":"5102264_CR95","volume-title":"Machine Intelligence 15","author":"A.M. Turing","year":"1951","unstructured":"Turing, A.M. (c. 1951), \u2018Intelligent Machinery, A Heretical Theory\u2019, in B.J. Copeland, ed., \u2018A Lecture and Two Radio Broadcasts on Machine Intelligence by Alan Turing\u2019, in K. Furukawa, D. Michie and S. Muggleton, eds., Machine Intelligence 15, Oxford: Oxford University Press."},{"key":"5102264_CR96","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/253769.253801","volume":"40","author":"P. Wegner","year":"1997","unstructured":"Wegner, P. (1997), \u2018Why Interaction is More Powerful than Algorithms\u2019, Communications of the ACM 40, pp. 80\u201391.","journal-title":"Communications of the ACM"},{"key":"5102264_CR97","volume-title":"Philosophie der Mathematik und Naturwissenschaft","author":"H. Weyl","year":"1927","unstructured":"Weyl, H. (1927), Philosophie der Mathematik und Naturwissenschaft, Munich: R. Oldenbourg."},{"key":"5102264_CR98","doi-asserted-by":"crossref","first-page":"735","DOI":"10.1103\/PhysRevLett.54.735","volume":"54","author":"S. Wolfram","year":"1985","unstructured":"Wolfram, S. (1985), \u2018Undecidability and Intractability in Theoretical Physics\u2019, Physical Review Letters 54, pp. 735\u2013738.","journal-title":"Physical Review Letters"}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021105915386.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1021105915386\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021105915386.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T05:30:55Z","timestamp":1747891855000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1021105915386"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":98,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2002,11]]}},"alternative-id":["5102264"],"URL":"https:\/\/doi.org\/10.1023\/a:1021105915386","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"value":"0924-6495","type":"print"},{"value":"1572-8641","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,11]]}}}