Word.ws English Dictionary

Penrose-Lucas argument

Penrose-Lucas argument proper noun: 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.

Proper noun

the Penrose-Lucas argument

  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.

Forms of Penrose-Lucas argument

alternative formLucas-Penrose argument

Origin of Penrose-Lucas argument

Named after philosophers John Lucas and Roger Penrose.

Questions about Penrose-Lucas argument

What does Penrose-Lucas argument mean?
Penrose-Lucas argument means 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.
What part of speech is Penrose-Lucas argument?
Penrose-Lucas argument is a proper noun.

Words near Penrose-Lucas argument in the dictionary

  1. Penrose steps
  2. Penrose transform
  3. Penrose transforms
  4. Penrose triangle
  5. Penrose triangles
  6. Penrose-Lucas argument
  7. penroseite
  8. Penrosian
  9. Penruddock
  10. Penry
  11. Penryn

Source and license

Adapted from Wiktionary: Penrose-Lucas argument (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Penrose-Lucas argument.” Word.ws, https://word.ws/penrose-lucas_argument. Based on Wiktionary, CC BY-SA 4.0.