回楼上jake:我不知道NKS的做法是怎样……
蔡廷对随机性本身有着奇特的执着,在这本书里他开始觉得不完备性的存在实质上是因为大部分数学事实就是随机的,所以不能从一组固定的公理中推导出来。(这就是为何他说“上帝不仅在微观世界中投骰子,在整数中他也投骰子。”)
例如预言蔡廷常数的第k位是0还是1的方法,完全不能从已有的知识中推导出来。
我们知道在蔡廷不完备性定理中出现了只依赖于形式系统的常数L,在该系统中无法证明任意s具有高于L的算法熵。蔡廷认为:这个常数定量化了该形式系统公理集的“信息量”,如果相应的数学事实的复杂度高于这个阈值,那么我们将不能从中推出它,而且我们也不能发觉这一点,即便它确实是真的。我们只能通过接受这些事实的方法来提升系统的信息量,即改进其证明能力。
蔡廷相信这个阈限对整体数学同样有效。所以他建议:对于那些有着重要意义的猜想,例如黎曼猜想,假如它的复杂度估计足够高而且又没有它会引起矛盾的充分证明,直接像接受一个被实验检验过的可证伪物理理论那样接受它。