Penrose-Lucas argument
Jump to navigation
Jump to search
English
[edit]Alternative forms
[edit]Etymology
[edit]Named after philosopher John Lucas and mathematician Roger Penrose.
Proper noun
[edit]- 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.