David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Minds and Machines 13 (1):23-48 (2003)
This paper concerns Alan Turing’s ideas about machines, mathematical methods of proof, and intelligence. By the late 1930s, Kurt Gödel and other logicians, including Turing himself, had shown that no finite set of rules could be used to generate all true mathematical statements. Yet according to Turing, there was no upper bound to the number of mathematical truths provable by intelligent human beings, for they could invent new rules and methods of proof. So, the output of a human mathematician, for Turing, was not a computable sequence (i.e., one that could be generated by a Turing machine). Since computers only contained a finite number of instructions (or programs), one might argue, they could not reproduce human intelligence. Turing called this the “mathematical
objection” to his view that machines can think. Logico-mathematical reasons, stemming from his own work, helped to convince Turing that it should be possible to reproduce human intelligence, and eventually compete with it, by developing the appropriate kind of digital computer. He felt it
should be possible to program a computer so that it could learn or discover new rules, overcoming the limitations imposed by the incompleteness and undecidability results in the same way that human
mathematicians presumably do.
|Keywords||Artificial Intelligence Church-Turing Thesis Computability Incompleteness Ordinal Logics Undecidability Turing effective procedure mathematical objection Undecidability|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Gualtiero Piccinini (2007). Computing Mechanisms. Philosophy of Science 74 (4):501-526.
Gualtiero Piccinini (2008). Computers. Pacific Philosophical Quarterly 89 (1):32–73.
Gualtiero Piccinini (2007). Computational Modeling Vs. Computational Explanation: Is Everything a Turing Machine, and Does It Matter to the Philosophy of Mind? Australasian Journal of Philosophy 85 (1):93 – 115.
Gualtiero Piccinini (2004). Functionalism, Computationalism, & Mental States. Studies in the History and Philosophy of Science 35 (4):811-833.
Gualtiero Piccinini (2010). The Mind as Neural Software? Understanding Functionalism, Computationalism, and Computational Functionalism. Philosophy and Phenomenological Research 81 (2):269-311.
Similar books and articles
Leon Horsten (1995). The Church-Turing Thesis and Effective Mundane Procedures. Minds and Machines 5 (1):1-8.
Peter Kugel (2002). Computing Machines Can't Be Intelligent (...And Turing Said So). Minds and Machines 12 (4):563-579.
Saul A. Kripke (2013). The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem. In B. J. Copeland, C. Posy & O. Shagrir (eds.), Computability: Turing, Gödel, Church, and Beyond. MIT Press
B. Jack Copeland & Diane Proudfoot (2000). What Turing Did After He Invented the Universal Turing Machine. Journal of Logic, Language and Information 9 (4):491-509.
Carol E. Cleland (1993). Is the Church-Turing Thesis True? Minds and Machines 3 (3):283-312.
Stuart Shanker (1995). Turing and the Origins of AI. Philosophia Mathematica 3 (1):52-85.
Yaroslav Sergeyev & Alfredo Garro (2010). Observability of Turing Machines: A Refinement of the Theory of Computation. Informatica 21 (3):425–454.
Y. Sato & T. Ikegami (2004). Undecidability in the Imitation Game. Minds and Machines 14 (2):133-43.
Justin Leiber (2006). Turing's Golden: How Well Turing's Work Stands Today. Philosophical Psychology 19 (1):13-46.
Darren Abramson (2008). Turing's Responses to Two Objections. Minds and Machines 18 (2):147-167.
Added to index2009-01-28
Total downloads116 ( #31,729 of 1,792,080 )
Recent downloads (6 months)30 ( #27,224 of 1,792,080 )
How can I increase my downloads?