奥卡姆刀锋的数学证明；提升理论物理学家的方法论

本文首要目标是从容量到底地证明现代化的奥卡姆刀锋。为概括主要论证：若我们对所有可能的、可理解的、复杂度日益提升的科学模型进行民主化考察，由这些复杂模型所偏好的最预测结果将与最简单模型的预测相吻合。这一事实可被数学证明，从而验证奥卡姆刀锋。该论证链条的许多部分长期存在于算法信息论文献深处，但始终为各种疑虑留下余地。因此，我们通过反驳十多项异议，提高了这些论证的普适性、完整性、清晰度、可及性和可信度。我们基于 Kolmogorov 复杂度的精确“链式法则”构建奥卡姆刀锋的数学证明。就物理学而言，我们随后诊断了根本理论物理学研究领域停滞的首要可纠正根源。我们指出有效的解药将包含一种在实际操作中可行的理论物理学家方法论升级：当提出新的理论模型时，物理学家应仅计算并报告其模型所包含的总信息量。我们解释了为何这种方法论将高度有效以及如何高效地执行这些计算。