Alan Turing and the Mathematical Objection
Author: Piccinini G.1
Source: Minds and Machines, Volume 13, Number 1, February 2003 , pp. 23-48(26)
Publisher: Springer
- Free Content
- New Content
- Subscribed Content
- Free Trial Content
Abstract:
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; effective procedure; incompleteness; machine; mathematical objection; ordinal logics; Turing; undecidability
Language: English
Document Type: Research article
Affiliations: 1: Department of History and Philosophy of Science, University of Pittsburgh, 1017 Cathedral of Learning, Pittsburgh, PA 15260, USA; E-mail: gupst1@pitt.edu
- Free Content
- New Content
- Subscribed Content
- Free Trial Content
Click here for Page Help