Penrose-Lucas argument

English

Alternative forms

Etymology

Named after philosopher John Lucas and mathematician Roger Penrose.

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.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.