今天我们公开发布一份新的技术报告，由Patrick LaVictoire撰写，标题为MIRI研究中的Löb定理简介亚博体育官网.“报告导言如下:
这篇解释性的笔记致力于回答以下问题:为什么许多MIRI研究论文引用了Martin Löb 1955年的定理，而且实际上，为什么MIRI如此重视数学逻辑?亚博体育官网简短的回答是,这个定理说明了基本的自我参照相关算法时考虑自己的输出作为宇宙的一部分,也因此有密切关系的多种研究涉及变为无效来代理,尤其是当涉及形式验证或当我们想清晰地证明事物模型问题。亚博体育官网更长的答案是，欢迎!
我假设你有一些数学证明和编写计算机程序的背景，但我不会假设你有任何数学逻辑的背景，除了知道通常的逻辑运算符，你甚至没有听说过Löb定理。
如果你想讨论这篇文章，请讨论在这里．
注册以获得新的MIRI技术成果的更新
每当有新的技术论文发表时，就会得到通知。
