百七十一章 第十问,机关人会梦见算器羊吗 (第2/2页)
而自己,却要在这一群为人面前,教导他们?
——这真的……很有意思啊!
王崎脸上浮现出带有攻击性的笑。他先低下头,沉思片刻,然后才到:“那么,在说我的理论之前,我先讲一个……算不上故事的故事好了。”
“假设,我们仙盟已经掌握了编写完美后天意志的能力——我觉得,这一日迟早会到来的。那时候,越来越多的任务,都会交给那些装载了后天意志的傀儡人。繁重、重复的劳作,然后还有一些日常琐事。这样子,我们人族就可以腾出手,去做更多的事情。”
周围那些算学大家其实都是很吃这一手的。看得出来,他们很喜欢王崎的故事——尤其是他们真心认为这个故事能够成真的时候。
王崎接着讲述他的故事:“可是呢,我们——或许是阳神阁的某些神经病修炼练昏了头,将后天意志编写得太像人了。这导致某些装载了后天意志的傀儡人反叛了。他们要求人族的权利呀,要求自己能够被当成人族对待。”
“可这事,咱们肯定不能答应不是?于是,仙盟就与那群失控的机关人大战一场。终究是咱们技高一筹,很快就剿灭了叛乱。可这个时候,咱们突然发现,那群机关人当中,已经有个体化作人形,混入人族之中。他们能够靠着算器拟化出魂魄,血肉在分子层级上和真正的人身没有任何区别。阳神阁的混蛋工作做得太好了,他们连谈吐都很像人——只有极少数几个逻辑有破绽。”
“所以,这个时候,我们万法门出动了。我们设计了一道题库,里面包含了一万道——或者更多的问题。只需要问出其中的一百问,就能够通过特殊的算法,判断出一个类人生灵,究竟是人族还是机关人。”
“可是那个时候,机关人的渗透已经太狠了,伪装者太多,刑律司无人可用。于是,仙盟就出个个昏招——咱们就做傀儡审官,专门用来审问那些有嫌疑的个体!注意,那个算法‘绝对可以判断出一个个体是人或是机关人’,逻辑上无懈可击。于是乎,无数个审官傀儡就出现了。它们用着咱们万法门提供的算法,果然无往不利,揪出了不少机关人。”
“可这个时候,发生了一个意外。有一个审官傀儡,就叫他审官甲。这个甲他也反了。很快,他就化身为机关人,隐藏在人族当中。没过多久,就有执律使将疑似审官甲的人捉拿归案了。这个时候呢,刑律司找来了傀儡审官乙。”
“那么问题来了,审官乙,究竟能不能判断出那个人,是不是反叛的审官甲?”
王崎说完之后,算君难得笑了:“这故事,有点意思。王崎,你说书的水平倒是真不错。”
除此之外,再没有任何人开口了。
包括冯落衣在内,所有的算家,都陷入了深深的思考。有人甚至开始冷汗涔涔,越想越不是滋味。
审官乙,究竟能不能分辨出审官甲呢?
王崎设定已经说明——“绝对可以判断出一个个体是人或是机关人”,“逻辑上无懈可击”。
可是,如果审官乙识破了审官甲的意图,想要修改提问策略让甲猝不及防,那么反过来,甲也可以预先猜测到乙的问题去做准备。因为那套逻辑设定上就是“无懈可击”
傀儡审官可以依靠那套逻辑甄别任何一台机器,所以它无法甄别同样拥有那套逻辑的另一个审官。
也就是说,傀儡审官,无法甄别自己。
和哥德尔不完备定理一样,不可判定性定理同样涉及“自指”的判断。
“所有命题都可以判定”这个命题究竟能不能判定?
王崎故事末尾的疑问,就意味着不可能找到一套完美的机械法则,来一步一步严丝合缝地解决这世界上所有的问题。
在场的所有逍遥,都怅然若失。
算乃摹道之法。所以,有不少算家都想要找出一个至高无上的准则,可以去解释时间一切事情。
他们觉得,那种境界,即使不是道,也是距离大道一步之遥的至高境界。
可是,现在王崎居然否定了这个追求。
——这样的境界,在理论上是不可能存在的,放弃吧!
若澈仙子鼻子一酸,只觉得心中有什么东西轰然崩塌。
她感觉到了,那是信念的崩溃。
就在这时,王崎再次开口:“听完这个故事之后,诸位前辈相比也应该知道了我论文的内容。关于这一点,我倒是觉得,很难说这是幸事,还是不幸。”(未完待续。)