David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Minds and Machines 8 (2):251-262 (1998)
Gödel's Theorem is often used in arguments against machine intelligence, suggesting humans are not bound by the rules of any formal system. However, Gödelian arguments can be used to support AI, provided we extend our notion of computation to include devices incorporating random number generators. A complete description scheme can be given for integer functions, by which nonalgorithmic functions are shown to be partly random. Not being restricted to algorithms can be accounted for by the availability of an arbitrary random function. Humans, then, might not be rule-bound, but Gödelian arguments also suggest how the relevant sort of nonalgorithmicity may be trivially made available to machines
|Keywords||Computation Intelligence Machine Metaphysics Randomness Theorem Goedel|
|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
No citations found.
Similar books and articles
E. Ronald & Moshe Sipper (2001). Intelligence is Not Enough: On the Socialization of Talking Machines. [REVIEW] Minds and Machines 11 (4):567-576.
Rosemarie Rheinwald (1991). Menschen, Maschinen Und Gödels Theorem. Erkenntnis 34 (1):1 - 21.
Shane Legg & Marcus Hutter (2007). Universal Intelligence: A Definition of Machine Intelligence. [REVIEW] Minds and Machines 17 (4):391-444.
J. J. C. Smart (1961). Godel's Theorem, Church's Theorem, and Mechanism. Synthese 13 (June):105-10.
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.
Robert M. French (1990). Subcognition and the Limits of the Turing Test. Mind 99 (393):53-66.
Panu Raatikainen (2002). McCall's Gödelian Argument is Invalid. Facta Philosophica 4 (1):167-69.
Kenshi Miyabe (2010). An Extension of van Lambalgen's Theorem to Infinitely Many Relative 1-Random Reals. Notre Dame Journal of Formal Logic 51 (3):337-349.
Herbert A. Simon & Stuart A. Eisenstadt (1998). Human and Machine Interpretation of Expressions in Formal Systems. Synthese 116 (3):439-461.
John R. Lucas (1961). Minds, Machines and Godel. Philosophy 36 (April-July):112-127.
Added to index2009-01-28
Total downloads47 ( #50,600 of 1,696,586 )
Recent downloads (6 months)6 ( #95,693 of 1,696,586 )
How can I increase my downloads?