Penrose-Lucas argument en · PROPN
Etymology
Named after philosophers John Lucas and Roger Penrose.
Meanings
- 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.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| the Penrose-Lucas argument | canonical | lexicographic | |
| Lucas-Penrose argument | alternative | lexicographic |