Penrose-Lucas argument

短语

词形变化

the Penrose-Lucas argument

别名

Lucas-Penrose argument

释义与例句

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

词源

Named after philosopher John Lucas and mathematician Roger Penrose.

来源：wiktionary