Penrose-Lucas argument
Hello, you have come here looking for the meaning of the word Penrose-Lucas argument. In DICTIOUS you will not only get to know all the dictionary meanings for the word Penrose-Lucas argument, but we will also tell you about its etymology, its characteristics and you will know how to say Penrose-Lucas argument in singular and plural. Everything you need to know about the word Penrose-Lucas argument you have here. The definition of the word Penrose-Lucas argument will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofPenrose-Lucas argument, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Alternative forms
Etymology
Named after philosopher John Lucas and mathematician Roger Penrose.
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.