还是觉得这属于偷换概念。哥德尔不完备定理的证明是因为人为构造了一个自指的逻辑命题，造成了类似于说谎者悖论或罗素悖论那样的东西，但数学家不会闲的没事天天盯着这种东西，重要的工作多的是。你能想象哥德巴赫猜想或黎曼猜想难以证明是因为包含了什么自指序列吗？开玩笑。在形式逻辑中可以像哥德尔这样tricky地玩一把，但这对于亟待发现的正常的数学定理和物理规律恐怕没有什么帮助。

【 在 semipunk 的大作中提到: 】
: 哥德尔定理和我们是否能以有限数量的原理构建宇宙终极理论有什么关系呢？一个联系是明显的。根据实证论科学哲学，一个物理理论乃是一数学模型。因此如果有数学命题不能证明的话，那就有物理问题不能预测。
: 在标准的实证论科学哲学看来，物理理论无偿居住于柏拉图式理想数学模型天国中。也就是说，一个模型可以任意程度地详细，可以包含任意多量的信息，而不会影响它们所描述的宇宙本身。但我们不是天使，可以从外面观察宇宙。相反，我们和我们的模型两者都是我们所描述的宇宙中的组成部分，因此一个物理理论是自指的，就像哥德尔定理所说的那样。人们因此可以认为它或者是不一致的，或者是不完备的。我们迄今所有的各种物理理论既是不一致的，也是不完备的。
: 如果不存在一种可从有限条数原理推导出来的终极理论，一些人将非常失望。我过去就属于这个阵营。但是我已改变了我的看法。现在我很高兴我们寻求知识的努力永远都不会到达终点，我们始终都有获得新发现的挑战。没有这种挑战，我们就会停滞。哥德尔定理保证了数学家们总有事情要做，我想M－理论也将为物理学家们做同样的事情。
--
FROM 223.104.67.*