上QQ阅读APP看书，第一时间看更新
所罗门诺夫不完备性
这个令人尴尬的结论给了人们拒绝贝叶斯主义的动机。超脱物理定律与丘奇–图灵论题的所罗门诺夫妖当然可以在一组数据中检测出所有规律，但它在物质世界没有等价物。我们，以及我们的计算机，似乎都很可能受丘奇–图灵论题的制约，所以我们也似乎不可能进行所罗门诺夫归纳法的近似计算。一般而言，我们在物理上永远不可能得出对贝叶斯公式的近似计算的一个合适的置信度。这个智慧方程又有何用？
所罗门诺夫的回答就是他的另一个定理。这个定理断言，所有这样的算法都必然是不完备的。更准确地说，所有可计算的知识哲学都不可能检测出数据中的所有规律。这就是惊人的所罗门诺夫不完备性定理，它比哥德尔的不完备性定理还要让我感到惊艳！
换个说法，无论你的知识哲学是什么，只要它是可计算的，那就存在某些可能存在的世界会让你上当受骗，你会在其中一直做出非常错误的预测！可计算性和完备性是两种不兼容的性质 13。
13证明的梗概就是，存在数据的某种模式会让进行预测的算法出错。重要的是，与所罗门诺夫归纳法不一样，这一模式是可以计算的。
这样的话，所罗门诺夫归纳法不可计算这一糟糕性质恰好让它逃脱了可计算知识哲学的不完备性定理。对于所罗门诺夫而言，这种不可计算性并非病态，而是所有合乎要求的知识哲学必备的性质。