从2012年11月11日至18日起，我们举行了（我们现在所说的）逻辑，概率和反射的第一米里研讨会。这个研讨会有四个参与者：
- Eliezer Yudkowsky.（Miri）
- 保罗·基督教（UC Berkeley）
- Marcello Herreshoff（谷歌）
- MihályBárász（谷歌）
参与者致力于概率的反思推理基础。特别是，他们表明，概率逻辑的仔细形式化可以规避许多经典的自我参考悖论。该框架适用于Metamathematics（似乎是什么）真理的第一个定义，这足以用于反思推理。应用于设定理论，该框架基于的概率集理论提供了一个实施不受限制的迄今为止，迄今为止足够强大的理解可以将普通的数学推理形式化（与类似的模糊设定理论相比，最初提出的，但后来发现与数学诱导不相容）。
这些结果表明可以使用类似的方法来解决Löb的定理，但这尚未探索。这项工作将在未来几个月内写入。
与此同时，Miri正在为第二次Miri研讨会逻辑，概率和反射从2013年4月3日至24日举行。这个研讨会将被分成两部分。第一个部分（4月3日至11日）将汇集第一个研讨会的参与者和8名额外参与者：
- 斯图尔特阿姆斯特朗（牛津大学）
- 丹尼尔杜威（牛津大学）
- Benja Fallenstein（维也纳大学）
- 帕特里克·瓦特奥尔（麦迪逊）
- 雅各布斯坦特（斯坦福大学）
- 乔科元（UC Berkeley）
- 安德鲁克克里奇（UC Berkeley）
- 雅各布泰勒（斯坦福）
第二部分（4月12日至24日）将仅由第1次研讨会的4名参与者组成。
第二次研讨会的参与者将继续在反思推理的基础上工作，例如Gödelian对反射的障碍，以及反射剂的决策算法（例如TDT.）。
额外的Miri研究研讨会也暂定于金宝博娱乐2013年夏季和秋季计划。
更新：本文的早期草稿，描述了第一个研讨会的第一个结果这里。
