数学只是数学，其结论成立的条件是前提成立。事实是既没有same priors, 也没有所谓common knowledge，在这两者都成立的条件下，不用人参与，用计算机就行了。