Minds, Machines, and Gödel: A Retrospect

In P. J. R. Millican & A. Clark (eds.), Etica E Politica. Clarendon Press. pp. 1 (1996)


In this paper Lucas comes back to Gödelian argument against Mecanism to clarify some points. First of all, he explains his use of Gödel’s theorem instead of Turing’s theorem, showing how Gödel’ theorem, but not Turing’s theorem, raises questions concerning truth and reasoning that bear on the nature of mind and how Turing’s theorem suggests that there is something that cannot be done by any computers but not that it can be done by human minds. He considers moreover how Gödel’s theorem can be interpreted as a sophisticated form of the Cretan paradox, posed by Epimenides, able to escape the viciously self-referential nature of the Cretan paradox, and how it can be used against Mechanism as a schema of disproof. Finally, Lucas suggests some answers to the most recurrent criticisms against his argument: criticisms about the implicit idealisation in the way he set up the context between mind and machine; questions concerning modality and finitude, issues of transfinite arithmetic; questions concerning the need of formalizing rational inference and some questions about consistency

Download options


    Upload a copy of this work     Papers currently archived: 72,805

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

2 (#1,459,555)

6 months
1 (#386,031)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references