Mentes, Máquinas y Gödel

"Mentes, Máquinas y Gödel" es el artículo filosófico de J. R. Lucas de 1959 en el que argumenta que un matemático humano no puede ser representado con precisión por un autómata algorítmico. Apelando al teorema de incompletitud de Gödel, argumenta que para cualquier autómata de este tipo, habría una fórmula matemática que no podría probar, pero que el matemático humano podría ver y demostrar que es verdadera.

El artículo es un argumento de Gödel en contra del mecanismo.

Lucas presentó el artículo en 1959 a la Sociedad Filosófica de Oxford. Se imprimió por primera vez en Philosophy, XXXVI, 1961, luego se reimprimió en The Modeling of Mind, Kenneth M. Sayre y Frederick J. Crosson, eds., Notre Dame Press, 1963, y en Minds and Machines, ed. Alan Ross Anderson, Prentice-Hall, 1964, ISBN 0-13-583393-0.