即将到来的美里研究研讨会金宝博娱乐

||新闻

从2012年11月11-18,我们举行(我们现在所说)的第一MIRI研讨会逻辑,概率,和反射。本次研讨会有四个参与者:

参加工作的概率反射推理的基础。特别是,他们发现概率逻辑的形式化小心可以规避的自我参照许多经典悖论。适用于元数学,这个框架提供了(似乎是)真理的第一个定义是在反射推理使用表现不够。适用于集理论,这个框架提供了基于概率集理论的实现无限制理解这仍然足够强大的正规化普通数学推理(包括在具有类似模糊集理论,它最初提出用于此目的,但后来发现是用数学归纳法不相容的对比)。

这些结果表明类似的方法可以用来解决LOB定理,但是这还没有被开发。这项工作将在未来几个月内被写上去。

在此期间,美里是备战第二MIRI研讨会逻辑,概率,和反射,发生四月3-24 2013年本次研讨会将分为两个部分。第一部分(4月3-11)将召集第一次研讨会的参与者和8个其他参与者:

第二部分(4月12日至24日)将仅由来自第一车间4倍的参与者。

此第二车间的参与者将继续反射推理的基础工作,例如Gödelian障碍反射,和决策算法反射剂(例如TDT)。

其他MIRI研究讲习班还初步计划金宝博娱乐在夏季和秋季的2013。

更新:从第一车间描述的第一个结果的文件的早期草案现已推出这里