Penrose-Lucas argument (English, name)
expansion: the Penrose-Lucas argument
Senses:
glosses: 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.
Forms:
form: the Penrose-Lucas argument
tags: canonical
form: Lucas-Penrose argument
tags: alternative