411 REFERENCE · Wiktionary
Penrose-Lucas argument
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Alternative forms
en Lucas-Penrose argument
Etymology
en philosophers John Lucas John Lucas (philosopher) and en Roger Penrose =.
Proper noun
1
An argument based on Gödel's incompleteness theorem, suggesting that the human mind cannot be computed on a Turing machine that works on Peano arithmetic because the latter cannot see the truth value of its Gödel sentence, while a human mind can.
en argument
en eponyms