Minds, Machines and Gödel1

J. R. Lucasa1

a1 Merton College, Oxford

Gödei's Theorem seems to me to prove that Mechanism is false, that is, that minds cannot be explained as machines. So also has it seemed to many other people: almost every mathematical logician I have put the matter to has confessed to similar thoughts, but has felt reluctant to commit himself definitely until he could see the whole argument set out, with all objections fully stated and properly met. This I attempt to do.


1 A paper read to the Oxford Philosophical Society on October 30, 1959.