Minds, Machines and Gödel
- Minds, Machines and Gödel
-
Minds, Machines and Gödel is J. R. Lucas's 1959 philosophical paper in which he argues that a human mathematician cannot be accurately represented by an algorithmic automaton. Appealing to Gödel's incompleteness theorem, he argues that for any such automaton, there would be some mathematical formula which it could not prove, but which the human mathematician could both see, and show, to be true.
The paper is a Gödelian argument over mechanism.
Lucas presented the paper in 1959 to the Oxford Philosophical Society. It was first printed in Philosophy, XXXVI, 1961, then reprinted in The Modeling of Mind, Kenneth M. Sayre and Frederick J. Crosson, eds., Notre Dame Press, 1963, and in Minds and Machines, ed. Alan Ross Anderson, Prentice-Hall, 1964, ISBN 0135833930.
See also
External links
Categories:
- Philosophy essays
- 1961 works
- Works originally published in Philosophy (journal)
Wikimedia Foundation.
2010.
Look at other dictionaries:
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Teoremas de incompletitud de Gödel — Kurt Gödel a los 19 años de edad, cinco años antes de la demostración de los teoremas. Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1930. Ambos están relacionados con la… … Wikipedia Español
Computing Machinery and Intelligence — Computing Machinery and Intelligence, written by Alan Turing and published in 1950 in Mind, is a seminal paper on the topic of artificial intelligence in which the concept of what is now known as the Turing test was introduced to a wide audience … Wikipedia
Gödel, Escher, Bach — Gödel, Escher, Bach: an Eternal Golden Braid … Wikipedia
Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( … Wikipedia
Mechanism (philosophy) — Mechanism is the belief that natural wholes (principally living things) are like machines or artifacts, composed of parts lacking any intrinsic relationship to each other, and with their order imposed from without. Thus, the source of an apparent … Wikipedia
Approche Computo-représentationnelle De L'esprit — Computationnalisme Le computationnalisme est une théorie fonctionnaliste en philosophie de l esprit qui, pour des raisons méthodologiques, conçoit l esprit comme un système de traitement de l information et compare la pensée à un calcul (en… … Wikipédia en Français
Approche computo-representationnelle de l'esprit — Computationnalisme Le computationnalisme est une théorie fonctionnaliste en philosophie de l esprit qui, pour des raisons méthodologiques, conçoit l esprit comme un système de traitement de l information et compare la pensée à un calcul (en… … Wikipédia en Français
Approche computo-représentationnelle de l'esprit — Computationnalisme Le computationnalisme est une théorie fonctionnaliste en philosophie de l esprit qui, pour des raisons méthodologiques, conçoit l esprit comme un système de traitement de l information et compare la pensée à un calcul (en… … Wikipédia en Français
Computationnalisme — Le cerveau humain, simple machine à effectuer des calculs ? Le computationnalisme est une théorie fonctionnaliste en philosophie de l esprit qui, pour des raisons méthodologiques, conçoit l esprit comme un système de traitement de l… … Wikipédia en Français
