{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,23]],"date-time":"2025-05-23T04:05:13Z","timestamp":1747973113545,"version":"3.41.0"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2002,5,1]],"date-time":"2002-05-01T00:00:00Z","timestamp":1020211200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,5,1]],"date-time":"2002-05-01T00:00:00Z","timestamp":1020211200000},"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,5]]},"DOI":"10.1023\/a:1015607401307","type":"journal-article","created":{"date-parts":[[2002,12,29]],"date-time":"2002-12-29T00:22:22Z","timestamp":1041121342000},"page":"281-300","source":"Crossref","is-referenced-by-count":55,"title":["Accelerating Turing Machines"],"prefix":"10.1007","volume":"12","author":[{"given":"B. Jack","family":"Copeland","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"404422_CR1","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), 'Finitism in Mathematics (I and II)', Mind 35, pp. 186\u2013203, pp. 317\u2013340.","journal-title":"Mind"},{"key":"404422_CR2","doi-asserted-by":"crossref","first-page":"765","DOI":"10.2307\/2023500","volume":"59","author":"P. Benacerraf","year":"1962","unstructured":"Benacerraf, P. (1962), 'Tasks, Super-Tasks, and the Modern Eleatics', Journal of Philosophy 59, pp. 765\u2013784.","journal-title":"Journal of Philosophy"},{"key":"404422_CR3","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1093\/analys\/11.5.91","volume":"11","author":"M. Black","year":"1951","unstructured":"Black, M. (1951), 'Achilles and the Tortoise', Analysis 11, pp. 91\u2013101.","journal-title":"Analysis"},{"key":"404422_CR4","doi-asserted-by":"crossref","first-page":"645","DOI":"10.2307\/2013813","volume":"23","author":"R.M. Blake","year":"1926","unstructured":"Blake, R.M. (1926), 'The Paradox of Temporal Process', Journal of Philosophy 23, pp. 645\u2013654.","journal-title":"Journal of Philosophy"},{"key":"404422_CR5","volume-title":"Computability and Logic","author":"G.S. Boolos","year":"1980","unstructured":"Boolos, G.S., Jeffrey, R.C. (1980), Computability and Logic, 2nd edition, Cambridge: Cambridge University Press.","edition":"2nd edition"},{"key":"404422_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1023\/A:1011206622741","volume":"11","author":"S. Bringsjord","year":"2001","unstructured":"Bringsjord, S., Bello, P. and Ferrucci, D. (2001), 'Creativity, the Turing Test, and the (Better) Lovelace Test', Minds and Machines 11, pp. 3\u201327.","journal-title":"Minds and Machines"},{"key":"404422_CR7","doi-asserted-by":"crossref","first-page":"74","DOI":"10.2307\/2183531","volume":"74","author":"C.S. Chihara","year":"1965","unstructured":"Chihara, C.S. (1965), 'On the Possibility of Completing an Infinite Process', Philosophical Review 74, pp. 74\u201387.","journal-title":"Philosophical Review"},{"key":"404422_CR8","doi-asserted-by":"crossref","first-page":"40","DOI":"10.2307\/2269326","volume":"1","author":"A. Church","year":"1936","unstructured":"Church, A. (1936), 'A Note on the Entscheidungsproblem', Journal of Symbolic Logic 1, pp. 40\u201341.","journal-title":"Journal of Symbolic Logic"},{"key":"404422_CR9","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/BF00976283","volume":"3","author":"C.E. Cleland","year":"1993","unstructured":"Cleland, C.E. (1993), 'Is the Church\u2013Turing Thesis True?', Minds and Machines 3, pp. 283\u2013312.","journal-title":"Minds and Machines"},{"key":"404422_CR10","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF00974187","volume":"5","author":"C.E. Cleland","year":"1995","unstructured":"Cleland, C.E. (1995), 'Effective Procedures and Computable Functions', Minds and Machines 5, pp. 9\u201323.","journal-title":"Minds and Machines"},{"key":"404422_CR11","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1177\/0002764297040006003","volume":"40","author":"B.J. Copeland","year":"1997","unstructured":"Copeland, B.J. (1997), 'The Broad Conception of Computation', American Behavioral Scientist 40, pp. 690\u2013716.","journal-title":"American Behavioral Scientist"},{"key":"404422_CR12","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), Turing's O-machines, Penrose, Searle, and the Brain', Analysis 58, pp. 128\u2013138.","journal-title":"Analysis"},{"key":"404422_CR13","first-page":"150","volume-title":"Unconventional Models of Computation","author":"B.J. Copeland","year":"1998","unstructured":"Copeland, B.J. (1998b), 'Even Turing Machines Can Compute Uncomputable Functions', in C. Calude, J. Casti, and M. Dinneen, eds., Unconventional Models of Computation, London: Springer-Verlag, pp. 150\u2013164."},{"key":"404422_CR14","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. (1998c), 'Super Turing-Machines', Complexity 4, pp. 30\u201332.","journal-title":"Complexity"},{"key":"404422_CR15","first-page":"5","volume":"96","author":"BJ. Copeland","year":"2000","unstructured":"Copeland, BJ. (2000), 'Narrow Versus Wide Mechanism', Journal of Philosophy 96, pp. 5\u201332.","journal-title":"Journal of Philosophy"},{"unstructured":"Copeland, B.J. and Hamkins, J.D. (in preparation), 'Infinitely Fast Computation'.","key":"404422_CR16"},{"key":"404422_CR17","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/BF00413694","volume":"108","author":"B.J. Copeland","year":"1996","unstructured":"Copeland, B.J. and Proudfoot, D. (1996), 'On Alan Turing's Anticipation of Connectionism', Synthese 108: pp. 361\u2013377.","journal-title":"Synthese"},{"key":"404422_CR18","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. (1999), 'Alan Turing's Forgotten Ideas in Computer Science', Scientific American 280 (April), pp. 76\u201381.","journal-title":"Scientific American"},{"key":"404422_CR19","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), 'Beyond the Universal Turing Machine', Australasian Journal of Philosophy 77, pp. 46\u201366.","journal-title":"Australasian Journal of Philosophy"},{"key":"404422_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-9072-8","volume-title":"A Primer on Determinism","author":"J. Earman","year":"1986","unstructured":"Earman, J. (1986), A Primer on Determinism, Dordrecht: Reidel."},{"key":"404422_CR21","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), 'Forever Is a Day: Supertasks in Pitowsky and Malament\u2013Hogarth Spacetimes', Philosophy of Science 60, pp. 22\u201342.","journal-title":"Philosophy of Science"},{"key":"404422_CR22","volume-title":"Benacerraf and his Critics","author":"J. Earman","year":"1996","unstructured":"Earman, J. and Norton, J.D. (1996), 'Infinite Pains: The Trouble with Supertasks', in A. Morton and S.P. Stich, eds., Benacerraf and his Critics, Oxford: Blackwell."},{"key":"404422_CR23","series-title":"Minnesota Studies in the Philosophy of Science","volume-title":"Foundations of Space-Time Theories","author":"R. Geroch","year":"1977","unstructured":"Geroch, R. (1977), 'Prediction in General Relativity', in J. Earman, C. Glymour and J. Stachel, eds., Foundations of Space-Time Theories, Minnesota Studies in the Philosophy of Science, 8, Minneapolis: University of Minnesota Press."},{"key":"404422_CR24","doi-asserted-by":"crossref","first-page":"28","DOI":"10.2307\/2270580","volume":"30","author":"E.M. Gold","year":"1965","unstructured":"Gold, E.M. (1965), 'Limiting Recursion', Journal of Symbolic Logic 30, pp. 28\u201348.","journal-title":"Journal of Symbolic Logic"},{"key":"404422_CR25","volume-title":"Modern Science and Zeno's Paradoxes","author":"A. Gr\u00fcnbaum","year":"1968","unstructured":"Gr\u00fcnbaum, A. (1968), Modern Science and Zeno's Paradoxes, London: Allen and Unwin."},{"key":"404422_CR26","doi-asserted-by":"crossref","first-page":"567","DOI":"10.2307\/2586556","volume":"65","author":"J.D. Hamkins","year":"2000","unstructured":"Hamkins, J.D. and Lewis, A. (2000), 'Infinite Time Turing Machines', Journal of Symbolic Logic 65, pp. 567\u2013604.","journal-title":"Journal of Symbolic Logic"},{"key":"404422_CR27","volume-title":"Grundziige der Theoretischen Logik","author":"D. Hilbert","year":"1928","unstructured":"Hilbert, D. and Ackermann, W. (1928), Grundziige der Theoretischen Logik, Berlin: Springer."},{"key":"404422_CR28","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1093\/analys\/14.3.56","volume":"14","author":"J.M Hinton","year":"1954","unstructured":"Hinton, J.M and Martin, C.B. (1954), 'Achilles and the Tortoise', Analysis 14, pp. 56\u201368.","journal-title":"Analysis"},{"key":"404422_CR29","volume-title":"G\u00f6del, Escher, Bach: An Eternal Golden Braid","author":"D.R. Hofstadter","year":"1980","unstructured":"Hofstadter, D.R. (1980), G\u00f6del, Escher, Bach: An Eternal Golden Braid, Harmondsworth: Penguin."},{"key":"404422_CR30","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF00682813","volume":"5","author":"M.L. Hogarth","year":"1992","unstructured":"Hogarth, M.L. (1992), 'Does General Relativity Allow an Observer to View an Eternity in a Finite Time?', Foundations of Physics Letters 5, pp. 173\u2013181.","journal-title":"Foundations of Physics Letters"},{"key":"404422_CR31","first-page":"126","volume":"1","author":"M.L. Hogarth","year":"1994","unstructured":"Hogarth, M.L. (1994), 'Non-Turing Computers and Non-Turing Computability', PSA 1994 1, pp. 126\u2013138.","journal-title":"PSA 1994"},{"key":"404422_CR32","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF02478259","volume":"5","author":"W.S. McCulloch","year":"1943","unstructured":"McCulloch, W.S., and Pitts, W. (1943), 'A Logical Calculus of the Ideas Immanent in Nervous Activity', Bulletin of Mathematical Biophysics 5, pp. 115\u201333.","journal-title":"Bulletin of Mathematical Biophysics"},{"key":"404422_CR33","volume-title":"Computation: Finite and Infinite Machines","author":"M.L. Minsky","year":"1967","unstructured":"Minsky, M.L. (1967), Computation: Finite and Infinite Machines, Englewood Cliffs, NJ.: Prentice-Hall."},{"key":"404422_CR34","doi-asserted-by":"crossref","first-page":"103","DOI":"10.2307\/2269031","volume":"1","author":"E.L. Post","year":"1936","unstructured":"Post, E.L. (1936), 'Finite Combinatory Processes \u2013 Formulation 1', Journal of Symbolic Logic 1, pp. 103\u2013105.","journal-title":"Journal of Symbolic Logic"},{"key":"404422_CR35","doi-asserted-by":"crossref","first-page":"49","DOI":"10.2307\/2270581","volume":"30","author":"H. Putnam","year":"1965","unstructured":"Putnam, H. (1965), Trial and Error Predicates and the Solution of a Problem of Mostowski', Journal of Symbolic Logic 30, pp. 49\u201357.","journal-title":"Journal of Symbolic Logic"},{"key":"404422_CR36","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":"404422_CR37","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), The Limits of Empiricism', Proceedings of the Aristotelian Society 36, pp. 131\u2013150.","journal-title":"Proceedings of the Aristotelian Society"},{"key":"404422_CR38","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1017\/S0140525X00005756","volume":"3","author":"J. Searle","year":"1980","unstructured":"Searle, J. (1980), 'Minds, Brains, and Programs', Behavioral and Brain Sciences 3, pp. 417\u2013424, 450\u2013456.","journal-title":"Behavioral and Brain Sciences"},{"key":"404422_CR39","volume-title":"Minds, Brains and Science","author":"J. Searle","year":"1989","unstructured":"Searle, J. (1989), Minds, Brains and Science, London: Penguin."},{"issue":"1","key":"404422_CR40","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1038\/scientificamerican0190-26","volume":"262","author":"J. Searle","year":"1990","unstructured":"Searle, J. (1990), 'Is the Brain's Mind a Computer Program?' Scientific American 262(1), pp. 20\u201325.","journal-title":"Scientific American"},{"key":"404422_CR41","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5834.001.0001","volume-title":"The Rediscovery of the Mind","author":"J. Searle","year":"1992","unstructured":"Searle, J. (1992), The Rediscovery of the Mind, Cambridge, MA: MIT Press."},{"key":"404422_CR42","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1023\/A:1004307405785","volume":"28","author":"R. Sorensen","year":"1999","unstructured":"Sorensen, R. (1999), 'Mirror Notation: Symbol Manipulation without Inscription Manipulation', Journal of Philosophical Logic 28, pp. 141\u2013164.","journal-title":"Journal of Philosophical Logic"},{"key":"404422_CR43","doi-asserted-by":"crossref","first-page":"664","DOI":"10.1038\/352664a0","volume":"352","author":"I. Stewart","year":"1991","unstructured":"Stewart, I. (1991), 'Deciding the Undecidable', Nature 352, pp. 664\u2013665.","journal-title":"Nature"},{"key":"404422_CR44","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1093\/analys\/12.2.38","volume":"12","author":"R. Taylor","year":"1951","unstructured":"Taylor, R. (1951), 'Mr. Black on Temporal Paradoxes', Analysis 12, pp. 38\u201344.","journal-title":"Analysis"},{"key":"404422_CR45","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/analys\/15.1.1","volume":"15","author":"J.F. Thomson","year":"1954","unstructured":"Thomson, J.F. (1954), 'Tasks and Super-Tasks', Analysis 15, pp. 1\u201313.","journal-title":"Analysis"},{"key":"404422_CR46","volume-title":"Zeno's Paradoxes","author":"J.F. Thomson","year":"1970","unstructured":"Thomson, J.F. (1970), 'Comments on Professor Benacerraf's Paper', in W.C. Salmon, ed., Zeno's Paradoxes, Indianapolis: Bobbs-Merrill."},{"key":"404422_CR47","first-page":"230","volume":"42","author":"A.M. Turing","year":"1936","unstructured":"Turing, A.M. (1936), 'On Computable Numbers, with an Application to the Entscheidungsproblem', Proceedings of the London Mathematical Society, Series 2, 42 (1936\u201337), pp. 230\u2013265.","journal-title":"Proceedings of the London Mathematical Society, Series 2"},{"key":"404422_CR48","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), 'Systems 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":"404422_CR49","series-title":"National Physical Laboratory Report","volume-title":"Machine Intelligence","author":"A.M. Turing","year":"1948","unstructured":"machinery>."},{"unstructured":"handbook>.","key":"404422_CR50"},{"key":"404422_CR51","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1093\/analys\/13.2.39","volume":"13","author":"J. Watling","year":"1952","unstructured":"Watling, J. (1952), 'The Sum of an Infinite Series', Analysis 13, pp. 39\u201346.","journal-title":"Analysis"},{"key":"404422_CR52","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":"404422_CR53","volume-title":"Philosophy of Mathematics and Natural Science","author":"H. Weyl","year":"1949","unstructured":"Weyl, H. (1949), Philosophy of Mathematics and Natural Science, Princeton: Princeton University Press."}],"container-title":["Minds and Machines"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015607401307.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1015607401307\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015607401307.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T05:43:14Z","timestamp":1747892594000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1015607401307"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,5]]},"references-count":53,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,5]]}},"alternative-id":["404422"],"URL":"https:\/\/doi.org\/10.1023\/a:1015607401307","relation":{},"ISSN":["0924-6495","1572-8641"],"issn-type":[{"type":"print","value":"0924-6495"},{"type":"electronic","value":"1572-8641"}],"subject":[],"published":{"date-parts":[[2002,5]]}}}