Word.ws English Dictionary

Lucas-Penrose argument

Lucas-Penrose argument is the alternative form of Penrose-Lucas argument.

Meaning of Penrose-Lucas argument

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.

Questions about Lucas-Penrose argument

What is Lucas-Penrose argument the alternative form of?
Lucas-Penrose argument is the alternative form of Penrose-Lucas argument.

Words near Lucas-Penrose argument in the dictionary

  1. Lucas numbers
  2. Lucas polynomial
  3. Lucas polynomials
  4. Lucas Valley-Marinwood
  5. Lucas-Lehmer-Riesel test
  6. Lucas-Penrose argument
  7. Lucased
  8. Lucases
  9. Lucasesque
  10. Lucasian
  11. Lucasians

Source and license

Adapted from Wiktionary: Lucas-Penrose argument (page history and authors); 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: “Lucas-Penrose argument.” Word.ws, https://word.ws/lucas-penrose_argument. Based on Wiktionary, CC BY-SA 4.0.