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.

词形变化

the Penrose-Lucas argument canonical Lucas-Penrose argument alternative

词源

Named after philosopher John Lucas and mathematician Roger Penrose.
0 次浏览 数据来源: Wiktionary