即将到来的MIRI研究讲习班金宝博娱乐

||新闻

从2012年11月11日到18日,我们举行了(我们现在称之为)“世界经济论坛”第一次MIRI研讨会:逻辑、概率和反射。这个工作坊有四名参加者:

参与者致力于概率反思性推理的基础。特别地,他们表明,一个谨慎的概率逻辑的形式化可以绕过许多自我参照的经典悖论。应用到元数学,这个框架提供了(似乎是什么)真理的第一个定义,这是表达足够用于反思推理。应用到集合理论,这个框架提供了一个实现的概率集合理论的基础不受限制的尽管如此,理解能力仍然强大到足以使普通的数学推理形式化(与类似的模糊集理论相反,它最初是为了这个目的而提出的,但后来发现与数学归纳法不相容)。

这些结果表明,可以使用类似的方法来解决这个问题Lob定理,但这还没有被探索。这项工作将在未来几个月完成。

与此同时,MIRI正在准备第二MIRI研讨会:逻辑、概率和反思, 2013年发生于4月3-24。这个工作坊将分成两个部分。第一部分(4月3日至11日)将汇集第一次工作坊的参加者和另外8名参加者:

第二部分(4月12日至24日)将只包括第一次工作坊的4名参加者。

第2次研讨会的参与者将继续研究反思推理的基础,例如对反思的Godelian障碍,以及反思代理的决策算法(例如。负2)。

初步计划在2013年夏秋两季举办金宝博娱乐更多的MIRI研究讲习班。

更新:描述第一次研讨会第一项成果的论文初稿现在已经可以获得在这里