In ‘Minds, Machines and Gödel’, 1961, J. R. Lucas proposed that Godel's theorem made possible a refutation of mechanism—the thesis that mind is wholly comprehensible as a consistent, rule-governed machine. A sympathetic reading of Lucas's argument might run something as follows: ‘If I am a machine then it will be possible in principle to give a specification of the consistent formal system, L, that represents me. If this formal system were handed to me, I would be able to prove a Gödel sentence,…
Read moreIn ‘Minds, Machines and Gödel’, 1961, J. R. Lucas proposed that Godel's theorem made possible a refutation of mechanism—the thesis that mind is wholly comprehensible as a consistent, rule-governed machine. A sympathetic reading of Lucas's argument might run something as follows: ‘If I am a machine then it will be possible in principle to give a specification of the consistent formal system, L, that represents me. If this formal system were handed to me, I would be able to prove a Gödel sentence, G, which L could not generate—that is, L could not model my proving G. But since I have proved G, L is inadequate as a model of my cognitive process.’
