加州大学伯克利分校的学生和MIRI研究助理保罗·克里斯提诺金宝博娱乐发布了一份新报告:非全知、概率推理和元数学”。
文摘:
我们提出了一种可操作的算法来分配概率的句子的一阶逻辑和更新这些概率的基础上观察。其核心技术难度在于，以一种适合有限理性者的方式，放松逻辑一致性的限制，同时又不牺牲做出有用的逻辑推理或正确更新证据的能力。
利用这个框架，我们讨论了数学认识论中一些问题的形式化。我们展示了如何数学理论可以理解为潜在的结构约束物理观察，以及如何现实的观察可以提供证据的抽象数学事实。我们还讨论了这些观点与一般智力的相关性。
这个新报告和克里斯汀诺等人之前的报告有什么关系?概率逻辑中真理的可定义性约翰·贝兹(John Baez)曾讨论过这一问题在这里？在这份新的报告中，Paul旨在从算法的角度，在继续思考反思和真理之前，更广泛地看待概率推理和认识论问题之间的相互作用。
