The Lucas-Penrose Argument about Gödel’s Theorem
The Lucas-Penrose Argument about Gödel’s Theorem In 1961, J.R. Lucas published “Minds, Machines and Gödel,” in which he formulated a controversial anti-mechanism argument. The argument claims that Gödel’s first incompleteness theorem shows that the human mind is not a Turing machine, c'est, a computer. The argument has generated a great deal of discussion since then. The influential Computational Theory of Mind, which claims that the