English Explanatory Dictionary

Penrose-Lucas argument

English dictionary entry

Meanings

name
  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.

Word forms

Penrose-Lucas argument the Penrose-Lucas argument Lucas-Penrose argument

Etymology

Named after philosopher John Lucas and mathematician Roger Penrose.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on P Russian dictionary Dahl dictionary