加州大学伯克利分校学生和MIRI研究助理保罗·克里斯蒂亚诺亚博体育官网发布了一份新报告：非全知、概率推理和元数学.”
摘要：
我们提出了一个易于处理的算法，用于为一阶逻辑的句子分配概率，并在观察的基础上更新这些概率。核心技术难点是以适合于有界推理者的方式放宽逻辑一致性的限制，而不牺牲作出有用的逻辑推断或正确更新证据的能力。
利用这个框架，我们讨论了数学认识论中一些问题的形式化。我们展示了如何将数学理论理解为约束物理观测的潜在结构，从而说明现实观测如何为抽象的数学事实提供证据。我们还讨论了这些想法与一般智力的相关性。
这份新报告和克里斯蒂亚诺等人先前的报告有什么关系概率逻辑中真值的可定义性“报告，由约翰贝兹讨论在这里? 在这份新的报告中，保罗的目的是从算法的角度更广泛地看待概率推理和认识论问题之间的相互作用，然后继续思考反思和真理。
