{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T00:40:46Z","timestamp":1768005646380,"version":"3.49.0"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2000,10,1]],"date-time":"2000-10-01T00:00:00Z","timestamp":970358400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,10,1]],"date-time":"2000-10-01T00:00:00Z","timestamp":970358400000},"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":["Journal of Logic, Language and Information"],"published-print":{"date-parts":[[2000,10]]},"DOI":"10.1023\/a:1008371426608","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T14:41:38Z","timestamp":1040568098000},"page":"491-509","source":"Crossref","is-referenced-by-count":16,"title":["What Turing Did after He Invented the Universal Turing Machine"],"prefix":"10.1007","volume":"9","author":[{"given":"B. Jack","family":"Copeland","sequence":"first","affiliation":[]},{"given":"Diane","family":"Proudfoot","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"269491_CR1","volume-title":"Twelfth Annual Symposium on Switching and Automata Theory","author":"F.G. Abramson","year":"1971","unstructured":"Abramson, F.G., 1971, \u201cEffective computation over the real numbers,\u201d in Twelfth Annual Symposium on Switching and Automata Theory, Northridge, CA: Institute of Electrical and Electronics Engineers."},{"key":"269491_CR2","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, \u201cFinitism in mathematics (I and II),\u201d Mind\n35, 186\u2013203 and 317\u2013340.","journal-title":"Mind"},{"key":"269491_CR3","volume-title":"Computability and Logic","author":"G.S. Boolos","year":"1980","unstructured":"Boolos, G.S. and Jeffrey, R.C., 1980, Computability and Logic, 2nd edn., Cambridge: Cambridge University Press.","edition":"2nd edn."},{"key":"269491_CR4","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1038\/scientificamerican0788-80","volume":"259","author":"G.J. Chaitin","year":"1988","unstructured":"Chaitin, G.J., 1988, \u201cRandomness in arithmetic,\u201d Scientific American\n259, 80\u201385.","journal-title":"Scientific American"},{"key":"269491_CR5","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, \u201cCould a machine think?,\u201d Scientific American\n262, 26\u201331.","journal-title":"Scientific American"},{"key":"269491_CR6","volume-title":"Artificial Intelligence","author":"B.J. Copeland","year":"1993","unstructured":"Copeland, B.J., 1993, Artificial Intelligence, Oxford: Blackwell."},{"key":"269491_CR7","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1177\/0002764297040006003","volume":"40","author":"B.J. Copeland","year":"1997","unstructured":"Copeland, B.J., 1997, \u201cThe broad conception of computation,\u201d American Behavioral Scientist\n40, 690\u2013716.","journal-title":"American Behavioral Scientist"},{"key":"269491_CR8","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, \u201cTuring's O-machines, Penrose, Searle, and the brain,\u201d Analysis\n58, 128\u2013138.","journal-title":"Analysis"},{"key":"269491_CR9","first-page":"150","volume-title":"Unconventional Models of Computation","author":"B.J. Copeland","year":"1998","unstructured":"Copeland, B.J., 1998b, \u201cEven Turing machines can compute uncomputable functions,\u201d pp. 150\u2013164. in Unconventional Models of Computation, C. Calude, J. Casti, and M. Dinneen, eds., London: Springer-Verlag."},{"key":"269491_CR10","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, \u201cSuper Turing-machines,\u201d Complexity\n4, 30\u201332.","journal-title":"Complexity"},{"key":"269491_CR11","doi-asserted-by":"crossref","unstructured":"Copeland, B.J., ed., 1999a, \u201cThe Turing-Wilkinson lectures on the Automatic Computing Engine,\u201d pp. 381\u2013444 in Machine Intelligence 15, K. Furukawa, D. Michie, and S. Muggleton, eds., Oxford: Oxford University Press.","DOI":"10.1093\/oso\/9780198538677.003.0021"},{"key":"269491_CR12","first-page":"445","volume-title":"Machine Intelligence 15","author":"B.J. Copeland","year":"1999","unstructured":"Copeland, B.J., ed., 1999b, \u201cA lecture and two radio broadcasts by Alan Turing,\u201d pp. 445\u2013475 in Machine Intelligence 15, K. Furukawa, D. Michie, and S. Muggleton, eds., Oxford: Oxford University Press."},{"key":"269491_CR13","first-page":"1","volume":"97","author":"B.J. Copeland","year":"2000","unstructured":"Copeland, B.J., 2000a, \u201cNarrow versus wide mechanism,\u201d Journal of Philosophy\n97, 1\u201332.","journal-title":"Journal of Philosophy"},{"key":"269491_CR14","volume-title":"Alan Turing's Automatic Computing Engine","year":"2000","unstructured":"Copeland, B.J., ed., 2000b, Alan Turing's Automatic Computing Engine, London: Springer-Verlag."},{"key":"269491_CR15","unstructured":"Copeland, B.J., 2000c, \u201cArtificial intelligence,\u201d Encyclopedia Britannica (in press)."},{"key":"269491_CR16","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, \u201cOn Alan Turing's anticipation of connectionism,\u201d Synthese\n108, 361\u2013377.","journal-title":"Synthese"},{"key":"269491_CR17","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, \u201cAlan Turing's forgotten ideas in computer science,\u201d Scientific American\n280 (April), 76\u201381.","journal-title":"Scientific American"},{"key":"269491_CR18","first-page":"187","volume":"108","author":"B.J. Copeland","year":"1999","unstructured":"Copeland, B.J. and Proudfoot, D., 1999b, \u201cThe Legacy of Alan Turing,\u201d Mind\n108, 187\u2013195.","journal-title":"Mind"},{"key":"269491_CR19","volume-title":"Alan Turing: The Enigma","author":"A. Hodges","year":"1992","unstructured":"Hodges, A., 1992, Alan Turing: The Enigma, London: Vintage."},{"key":"269491_CR20","volume-title":"Artificial Life","year":"1989","unstructured":"Langton, C.R., ed., 1989, Artificial Life, Redwood City, CA: Addison-Wesley."},{"key":"269491_CR21","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, \u201cA logical calculus of the ideas immanent in nervous activity,\u201d Bulletin of Mathematical Biophysics\n5, 115\u2013133.","journal-title":"Bulletin of Mathematical Biophysics"},{"key":"269491_CR22","volume-title":"Wittgenstein: Sein Leben in Bildern und Texten","author":"M. Nedo","year":"1983","unstructured":"Nedo, M. and Ranchetti, M., 1983, Wittgenstein: Sein Leben in Bildern und Texten, Frankfurt: Suhrkamp Verlag."},{"key":"269491_CR23","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1017\/S0031819100056849","volume":"72","author":"D. Proudfoot","year":"1997","unstructured":"Proudfoot, D., 1997, \u201cOn Wittgenstein on cognitive science,\u201d Philosophy\n72, 189\u2013217.","journal-title":"Philosophy"},{"key":"269491_CR24","doi-asserted-by":"crossref","first-page":"745","DOI":"10.1126\/science.284.5415.745","volume":"284","author":"D. Proudfoot","year":"1999","unstructured":"Proudfoot, D., 1999, \u201cHow human can they get?,\u201d Science\n284, 745.","journal-title":"Science"},{"key":"269491_CR25","volume-title":"Views into the Chinese Room","author":"D. Proudfoot","year":"2000","unstructured":"Proudfoot, D., 2000, \u201cWittgenstein's anticipation of the Chinese Room,\u201d in Views into the Chinese Room, J. Preston and M. Bishop, eds., Oxford: Oxford University Press (in press)."},{"key":"269491_CR26","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1080\/00048409412346301","volume":"72","author":"D. Proudfoot","year":"1994","unstructured":"Proudfoot, D. and Copeland, B.J., 1994, \u201cTuring, Wittgenstein and the science of the mind,\u201d Australasian Journal of Philosophy\n72, 497\u2013519.","journal-title":"Australasian Journal of Philosophy"},{"key":"269491_CR27","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, IL: Open Court."},{"key":"269491_CR28","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, \u201cThe limits of empiricism,\u201d Proceedings of the Aristotelian Society\n36, 131\u2013150.","journal-title":"Proceedings of the Aristotelian Society"},{"key":"269491_CR29","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":"269491_CR30","doi-asserted-by":"crossref","first-page":"664","DOI":"10.1038\/352664a0","volume":"352","author":"I. Stewart","year":"1991","unstructured":"Stewart, I., 1991, \u201cDeciding the undecidable,\u201d Nature\n352, 664\u2013665.","journal-title":"Nature"},{"key":"269491_CR31","first-page":"230","volume":"42","author":"A.M. Turing","year":"1936","unstructured":"Turing, A.M., 1936, \u201cOn computable numbers, with an application to the Entscheidungsproblem,\u201d Proceedings of the London Mathematical Society, Series 2\n42 (1936\u201337), 230\u2013265.","journal-title":"Proceedings of the London Mathematical Society, Series 2"},{"key":"269491_CR32","unstructured":"Turing, A.M., 1938, \u201cSystems of logic based on ordinals,\u201d Dissertation presented to the faculty of Princeton University in candidacy for the degree of Doctor of Philosophy."},{"key":"269491_CR33","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., 1939, \u201cSystems of logic based on ordinals,\u201d Proceedings of the London Mathematical Society, Series 2\n45, 161\u2013228.","journal-title":"Proceedings of the London Mathematical Society, Series 2"},{"key":"269491_CR34","first-page":"20","volume-title":"A.M. Turing's ACE Report of 1946 and Other Papers","author":"A.M. Turing","year":"1945","unstructured":"Turing, A.M., 1945, \u201cProposal for development in the mathematics division of an Automatic Computing Engine (ACE),\u201d National Physical Laboratory, London, pp. 20\u201345 in A.M. Turing's ACE Report of 1946 and Other Papers, B.E. Carpenter and R.W. Doran, eds., Cambridge, MA.: MIT Press."},{"key":"269491_CR35","first-page":"106","volume-title":"A.M. Turing's ACE Report of 1946 and Other Papers","author":"A.M. Turing","year":"1947","unstructured":"Turing, A.M., 1947, \u201cLecture to the London Mathematical Society on 20 February 1947,\u201d pp. 106\u2013124 in A.M. Turing's ACE Report of 1946 and Other Papers, B.E. Carpenter and R.W. Doran, eds., Cambridge, MA: MIT Press."},{"key":"269491_CR36","first-page":"3","volume-title":"Machine Intelligence 5","author":"A.M. Turing","year":"1948","unstructured":"Turing, A.M., 1948, \u201cIntelligent machinery,\u201d National Physical Laboratory, London, pp. 3\u201323 in Machine Intelligence 5, B. Meltzer and D. Michie, eds., Edinburgh: Edinburgh University Press."},{"key":"269491_CR37","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., 1950a, \u201cComputing machinery and intelligence,\u201d Mind\n59, 433\u2013460.","journal-title":"Mind"},{"key":"269491_CR38","unstructured":"Turing, A.M., 1950b, Programmers' Handbook for Manchester Electronic Computer, Royal Society Computing Machine Laboratory, University of Manchester."},{"key":"269491_CR39","unstructured":"Turing, A.M., 1951a, \u201cIntelligent machinery, a heretical theory,\u201d in Copeland (1999b)."},{"key":"269491_CR40","unstructured":"Turing, A.M., 1951b, \u201cCan digital computers think?,\u201d BBC Radio Broadcast, in Copeland (1999b)."},{"key":"269491_CR41","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1098\/rstb.1952.0012","volume":"237","author":"A.M. Turing","year":"1952","unstructured":"Turing, A.M., 1952a, \u201cThe chemical basis of morphogenesis,\u201d Philosophical Transactions of the Royal Society of London, Series B\n237, 37\u201372.","journal-title":"Philosophical Transactions of the Royal Society of London, Series B"},{"key":"269491_CR42","unstructured":"Turing, A.M., 1952b, \u201cCan automatic calculating machines be said to think?,\u201d BBC Radio Broadcast, in Copeland (1999b)."},{"key":"269491_CR43","volume-title":"Faster than Thought","author":"A.M. Turing","year":"1953","unstructured":"Turing, A.M., 1953, \u201cDigital computers applied to games,\u201d typescript, reproduced as part of a longer article of the same name by Turing et al. in Faster than Thought, B.V. Bowden, ed., 1953, London: Pitman."},{"key":"269491_CR44","doi-asserted-by":"crossref","unstructured":"Von Neumann, J., ed., 1945, \u201cFirst draft of a report on the EDVAC,\u201d Moore School of Electrical Engineering, University of Pennsylvania.","DOI":"10.5479\/sil.538961.39088011475779"},{"key":"269491_CR45","first-page":"237","volume":"45","author":"F.C. Williams","year":"1975","unstructured":"Williams, F.C., 1975, \u201cEarly computers at Manchester University,\u201d The Radio and Electronic Engineer\n45, 237\u2013331.","journal-title":"The Radio and Electronic Engineer"},{"key":"269491_CR46","volume-title":"Philosophical Investigations","author":"L. Wittgenstein","year":"1953","unstructured":"Wittgenstein, L., 1953, Philosophical Investigations, G.E.M. Anscombe, trans., Oxford: Blackwell."},{"key":"269491_CR47","volume-title":"The Blue and Brown Books","author":"L. Wittgenstein","year":"1965","unstructured":"Wittgenstein, L., 1965, The Blue and Brown Books, New York: Harper."},{"key":"269491_CR48","volume-title":"Remarks on the Foundations of Mathematics","author":"L. Wittgenstein","year":"1967","unstructured":"Wittgenstein, L., 1967a, Remarks on the Foundations of Mathematics, G.H. von Wright, R. Rhees, and G.E.M. Anscombe, eds. (2nd edn.), Oxford: Blackwell.","edition":"2nd edn."},{"key":"269491_CR49","volume-title":"Zettel","author":"L. Wittgenstein","year":"1967","unstructured":"Wittgenstein, L., 1967b, Zettel, G.E.M. Anscombe and G.H. von Wright, eds., G.E.M. Anscombe, trans., Oxford: Blackwell."},{"key":"269491_CR50","volume-title":"Lectures on the Foundations of Mathematics","author":"L. Wittgenstein","year":"1976","unstructured":"Wittgenstein, L., 1976, Lectures on the Foundations of Mathematics, C. Diamond, ed., Ithaca: Cornell University Press."},{"key":"269491_CR51","volume-title":"Remarks on the Philosophy of Psychology, Vol. I","author":"L. Wittgenstein","year":"1980","unstructured":"Wittgenstein, L., 1980, Remarks on the Philosophy of Psychology, Vol. I, G.E.M. Anscombe and G.H. von Wright, eds., G.E.M. Anscombe, trans., Oxford: Blackwell."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008371426608.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008371426608\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008371426608.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:21:36Z","timestamp":1749723696000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008371426608"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,10]]},"references-count":51,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2000,10]]}},"alternative-id":["269491"],"URL":"https:\/\/doi.org\/10.1023\/a:1008371426608","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,10]]}}}