Word Pronunciation & Dictionary

penrose-lucas argument

Word Rarity Rare

Frequency: Zipf frequency 2.72 in modern English

Syllables: pen-rose-lu-cas ar-gu-ment
IPA

27

Scrabble Score

20

Letters

6

Syllables

13

Unique Chars

Meaning

name

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.

Etymology

Named after philosophers John Lucas and Roger Penrose.

Inflected Forms

the Penrose-Lucas argument (canonical) Lucas-Penrose argument (alternative)

Questions

What does penrose-lucas argument mean?: 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.
Where does penrose-lucas argument come from?: Named after philosophers John Lucas and Roger Penrose.

How to pronounce penrose-lucas argument

Open the pronunciation page — Open the Speakur entry for “penrose-lucas argument”.
Read the phonetic spelling — Read the IPA spelling () so you know which sounds to aim for.
Play the audio — Click Play to hear reference audio for “penrose-lucas argument”.
Repeat and practice — Say “penrose-lucas argument” aloud, matching stress and vowels until it feels natural.