首先，哥德尔说的是含皮亚诺的系统不能证明自身的自洽性，但是它并不禁止从一个“更大”的系统出发，证明一个子系统的自洽性。比如皮亚诺不能证皮亚诺，但是zfc可以……

当然，其实俺还真是挺想看看，在真是物理世界中，一个很“物理”的哥德尔命题是个啥样儿。之前见过一个文章说类似的事儿，不过比较模糊。

最后，霍金这话的出处能找到么？想去看看他的原话是咋说的。


【 在 semipunk 的大作中提到: 】
: 我记得霍金的一次关于膜宇宙演讲里提过，哥德尔定理决定了宇宙永远不可能被物理完美解释，不过从好的方面看，物理学家永远有事情可做
--
FROM 111.201.79.*