Abstract
Alan Turing anticipated many areas of current research incomputer and cognitive science. This article outlines his contributionsto Artificial Intelligence, connectionism, hypercomputation, andArtificial Life, and also describes Turing's pioneering role in thedevelopment of electronic stored-program digital computers. It locatesthe origins of Artificial Intelligence in postwar Britain. It examinesthe intellectual connections between the work of Turing and ofWittgenstein in respect of their views on cognition, on machineintelligence, and on the relation between provability and truth. Wecriticise widespread and influential misunderstandings of theChurch–Turing thesis and of the halting theorem. We also explore theidea of hypercomputation, outlining a number of notional machines that“compute the uncomputable.”
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Abramson, F.G., 1971, “Effective computation over the real numbers,” in Twelfth Annual Symposium on Switching and Automata Theory, Northridge, CA: Institute of Electrical and Electronics Engineers.
Ambrose, A., 1935, “Finitism in mathematics (I and II),” Mind 35, 186–203 and 317–340.
Boolos, G.S. and Jeffrey, R.C., 1980, Computability and Logic, 2nd edn., Cambridge: Cambridge University Press.
Chaitin, G.J., 1988, “Randomness in arithmetic,” Scientific American 259, 80–85.
Churchland, P.M. and Churchland, P.S., 1990, “Could a machine think?,” Scientific American 262, 26–31.
Copeland, B.J., 1993, Artificial Intelligence, Oxford: Blackwell.
Copeland, B.J., 1997, “The broad conception of computation,” American Behavioral Scientist 40, 690–716.
Copeland, B.J., 1998a, “Turing's O-machines, Penrose, Searle, and the brain,” Analysis 58, 128–138.
Copeland, B.J., 1998b, “Even Turing machines can compute uncomputable functions,” pp. 150–164. in Unconventional Models of Computation, C. Calude, J. Casti, and M. Dinneen, eds., London: Springer-Verlag.
Copeland, B.J., 1998c, “Super Turing-machines,” Complexity 4, 30–32.
Copeland, B.J., ed., 1999a, “The Turing-Wilkinson lectures on the Automatic Computing Engine,” pp. 381–444 in Machine Intelligence 15, K. Furukawa, D. Michie, and S. Muggleton, eds., Oxford: Oxford University Press.
Copeland, B.J., ed., 1999b, “A lecture and two radio broadcasts by Alan Turing,” pp. 445–475 in Machine Intelligence 15, K. Furukawa, D. Michie, and S. Muggleton, eds., Oxford: Oxford University Press.
Copeland, B.J., 2000a, “Narrow versus wide mechanism,” Journal of Philosophy 97, 1–32.
Copeland, B.J., ed., 2000b, Alan Turing's Automatic Computing Engine, London: Springer-Verlag.
Copeland, B.J., 2000c, “Artificial intelligence,” Encyclopedia Britannica (in press).
Copeland, B.J. and Proudfoot, D., 1996, “On Alan Turing's anticipation of connectionism,” Synthese 108, 361–377.
Copeland, B.J. and Proudfoot, D., 1999a, “Alan Turing's forgotten ideas in computer science,” Scientific American 280 (April), 76–81.
Copeland, B.J. and Proudfoot, D., 1999b, “The Legacy of Alan Turing,” Mind 108, 187–195.
Hodges, A., 1992, Alan Turing: The Enigma, London: Vintage.
Langton, C.R., ed., 1989, Artificial Life, Redwood City, CA: Addison-Wesley.
McCulloch, W.S. and Pitts,W., 1943, “A logical calculus of the ideas immanent in nervous activity,” Bulletin of Mathematical Biophysics 5, 115–133.
Nedo, M. and Ranchetti, M., 1983, Wittgenstein: Sein Leben in Bildern und Texten, Frankfurt: Suhrkamp Verlag.
Proudfoot, D., 1997, “On Wittgenstein on cognitive science,” Philosophy 72, 189–217.
Proudfoot, D., 1999, “How human can they get?,” Science 284, 745.
Proudfoot, D., 2000, “Wittgenstein's anticipation of the Chinese Room,” in Views into the Chinese Room, J. Preston and M. Bishop, eds., Oxford: Oxford University Press (in press).
Proudfoot, D. and Copeland, B.J., 1994, “Turing, Wittgenstein and the science of the mind,” Australasian Journal of Philosophy 72, 497–519.
Russell, B.A.W., 1915, Our Knowledge of the External World as a Field for Scientific Method in Philosophy, Chicago, IL: Open Court.
Russell, B.A.W., 1936, “The limits of empiricism,” Proceedings of the Aristotelian Society 36, 131–150.
Searle, J., 1992, The Rediscovery of the Mind, Cambridge, MA: MIT Press.
Stewart, I., 1991, “Deciding the undecidable,” Nature 352, 664–665.
Turing, A.M., 1936, “On computable numbers, with an application to the Entscheidungsproblem,” Proceedings of the London Mathematical Society, Series 2 42 (1936–37), 230–265.
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.
Turing, A.M., 1939, “Systems of logic based on ordinals,” Proceedings of the London Mathematical Society, Series 2 45, 161–228.
Turing, A.M., 1945, “Proposal for development in the mathematics division of an Automatic Computing Engine (ACE),” National Physical Laboratory, London, pp. 20–45 in A.M. Turing's ACE Report of 1946 and Other Papers, B.E. Carpenter and R.W. Doran, eds., Cambridge, MA.: MIT Press.
Turing, A.M., 1947, “Lecture to the London Mathematical Society on 20 February 1947,” pp. 106–124 in A.M. Turing's ACE Report of 1946 and Other Papers, B.E. Carpenter and R.W. Doran, eds., Cambridge, MA: MIT Press.
Turing, A.M., 1948, “Intelligent machinery,” National Physical Laboratory, London, pp. 3–23 in Machine Intelligence 5, B. Meltzer and D. Michie, eds., Edinburgh: Edinburgh University Press.
Turing, A.M., 1950a, “Computing machinery and intelligence,” Mind 59, 433–460.
Turing, A.M., 1950b, Programmers' Handbook for Manchester Electronic Computer, Royal Society Computing Machine Laboratory, University of Manchester.
Turing, A.M., 1951a, “Intelligent machinery, a heretical theory,” in Copeland (1999b).
Turing, A.M., 1951b, “Can digital computers think?,” BBC Radio Broadcast, in Copeland (1999b).
Turing, A.M., 1952a, “The chemical basis of morphogenesis,” Philosophical Transactions of the Royal Society of London, Series B 237, 37–72.
Turing, A.M., 1952b, “Can automatic calculating machines be said to think?,” BBC Radio Broadcast, in Copeland (1999b).
Turing, A.M., 1953, “Digital computers applied to games,” 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.
Von Neumann, J., ed., 1945, “First draft of a report on the EDVAC,” Moore School of Electrical Engineering, University of Pennsylvania.
Williams, F.C., 1975, “Early computers at Manchester University,” The Radio and Electronic Engineer 45, 237–331.
Wittgenstein, L., 1953, Philosophical Investigations, G.E.M. Anscombe, trans., Oxford: Blackwell.
Wittgenstein, L., 1965, The Blue and Brown Books, New York: Harper.
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.
Wittgenstein, L., 1967b, Zettel, G.E.M. Anscombe and G.H. von Wright, eds., G.E.M. Anscombe, trans., Oxford: Blackwell.
Wittgenstein, L., 1976, Lectures on the Foundations of Mathematics, C. Diamond, ed., Ithaca: Cornell University Press.
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.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Copeland, B.J., Proudfoot, D. What Turing Did after He Invented the Universal Turing Machine. Journal of Logic, Language and Information 9, 491–509 (2000). https://doi.org/10.1023/A:1008371426608
Issue Date:
DOI: https://doi.org/10.1023/A:1008371426608