我猜他想说的是不完备定理

【 在 molar 的大作中提到: 】
: 首先，哥德尔说的是含皮亚诺的系统不能证明自身的自洽性，但是它并不禁止从一个“更大”的系统出发，证明一个子系统的自洽性。比如皮亚诺不能证皮亚诺，但是zfc可以……
: 当然，其实俺还真是挺想看看，在真是物理世界中，一个很“物理”的哥德尔命题是个啥样儿。之前见过一个文章说类似的事儿，不过比较模糊。
: 最后，霍金这话的出处能找到么？想去看看他的原话是咋说的。
: ...................
--
FROM 123.123.153.113

我感觉你把不完备定理和无法在系统内部证明自洽性这两个事情搞混了

以及看起来你也不太了解不完备定理的证明方法


【 在 molar 的大作中提到: 】
: “更大的系统”是已经被证明有用的。
: “表达能力太强”是个啥意思？
--
FROM 123.123.153.113