How Godel's theorem supports the possibility of machine intelligence
Minds and Machines 8 (2):251-262 (1998)
| Abstract | 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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesE. Ronald & Moshe Sipper (2001). Intelligence is Not Enough: On the Socialization of Talking Machines. Minds and Machines 11 (4):567-576.
Herbert A. Simon & Stuart A. Eisenstadt (1998). Human and Machine Interpretation of Expressions in Formal Systems. Synthese 116 (3):439-461.
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.
Panu Raatikainen (2002). McCall's Gödelian Argument is Invalid. Facta Philosophica 4 (1):167-69.
Robert M. French (1990). Subcognition and the Limits of the Turing Test. Mind 99 (393):53-66.
Saul A. Kripke (forthcoming). Another Approach: The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem. In B. J. Copeland, C. Posy & O. Shagrir (eds.), Computability: Gödel, Turing, Church, and beyond. MIT Press.
J. J. C. Smart (1961). Godel's Theorem, Church's Theorem, and Mechanism. Synthese 13 (June):105-10.
Shane Legg & Marcus Hutter (2007). Universal Intelligence: A Definition of Machine Intelligence. Minds and Machines 17 (4):391-444.
Rosemarie Rheinwald (1991). Menschen, Maschinen Und Gödels Theorem. Erkenntnis 34 (1):1 - 21.
John R. Lucas (1961). Minds, Machines and Godel. Philosophy 36 (April-July):112-127.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads24 ( #51,701 of 549,571 )Recent downloads (6 months)1 ( #63,397 of 549,571 )How can I increase my downloads? |
My notes
Discussion
