“可这个时候，发生了一个意外。有一个审官傀儡，就叫他审官甲。这个甲他也反了。很快，他就化身为机关人，隐藏在人族当中。没过多久，就有执律使将疑似审官甲的人捉拿归案了。这个时候呢，刑律司找来了傀儡审官乙。”

“那么问题来了，审官乙，究竟能不能判断出那个人，是不是反叛的审官甲？”

王崎说完之后，算君难得笑了：“这故事，有点意思。王崎，你说书的水平倒是真不错。”

除此之外，再没有任何人开口了。

包括冯落衣在内，所有的算家，都陷入了深深的思考。有人甚至开始冷汗涔涔，越想越不是滋味。

审官乙，究竟能不能分辨出审官甲呢？

王崎设定已经说明——“绝对可以判断出一个个体是人或是机关人”，“逻辑上无懈可击”。

可是，如果审官乙识破了审官甲的意图，想要修改提问策略让甲猝不及防，那么反过来，甲也可以预先猜测到乙的问题去做准备。因为那套逻辑设定上就是“无懈可击”。

傀儡审官可以依靠那套逻辑甄别任何一台机器，所以它无法甄别同样拥有那套逻辑的另一个审官。

也就是说，傀儡审官，无法甄别自己。

和哥德尔不完备定理一样，不可判定性定理同样涉及“自指”的判断。

“所有命题都可以判定”这个命题究竟能不能判定？

王崎故事末尾的疑问，就意味着不可能找到一套完美的机械法则，来一步一步严丝合缝地解决这世界上所有的问题。

在场的所有逍遥，都怅然若失。

算乃摹道之法。所以，有不少算家都想要找出一个至高无上的准则，可以去解释时间一切事情。

他们觉得，那种境界，即使不是道，也是距离大道一步之遥的至高境界。

可是，现在王崎居然否定了这个追求。