新报告:“收敛的可计算概率分布……”

早在2013年7月，将Sawin(普林斯顿大学),亚伯兰Demski(南加州大学)写了一份技术报告，描述了当月MIRI研究研讨会的结果。亚博体育官网我们今天终于发布了这份报告。它的标题是可计算的概率分布收敛于相信真实Π₁句子会不相信真实的Π₂句子”。

文摘:

在看到无限多真正的Π的例子后，这似乎是合理的₁一个理性行为人应该越来越自信，趋近于概率1，这个命题是正确的。然而，我们已经证明，这加上一些似是而非的相干性质，必然意味着指定给一些短的真实Π的任意低的限制概率₂语句。