第三章 定义正误与自我指涉(第2/2页)
《银翼刺客》这个故事的诞生,伴随着“不完备”、“不可判定”两大铁律的出现,伴随着歌庭派算主一系由盛转衰的道路,也伴随着万法门内部的洗牌。破理也忘记不了这个伴随历史大事而诞生的小小故事。
与人一模一样的机关人混进人群,只有一套号称“能够甄别一切机关人的逻辑问题”能够将之甄别出来。只有同样作为机关人的傀儡审官知道这套逻辑。但有一天,一个傀儡审官叛逃了。那么,另一个傀儡审官,能够靠着同样的问题,将叛逃的傀儡审官从人群中揪出来吗?
答案是“不知道”。
这必然会引发无穷循环的矛盾。
王崎摊手:“将那套传说中的‘逻辑问题’换一下好了。假设,一个后天意志有一个数据库,这个数据库号称能够探查任何后天意志是否存在‘不谐之处’,而数据库也是这个后天意志的一部分。那么,这个时候,这个后天意志能够自己鉴定自己吗?”
“这……”破理迟疑了一下:“不能?”
“是我觉得一般人都会这么猜?”
“不,等一等!”破理真人按住脑袋:“停一下,如果这个时候,那个后天意志因为这个数据库而主动去除或者掩盖自己的不谐之处,那和人工的‘去不谐’,又有什么不同呢?至少从结果上……不,不对。可若按照你的说法,若是判断……唔……”
只一瞬间,这位逍遥修士也陷入了某种逻辑上的错乱。
“图灵停机问题。”王崎顿了一下:“‘不谐之处’会导致路秩无法运转。停机判断任意一个路秩是否会在有限的时间之内结束运行的问题。如果这个问题可以在有限的时间之内解决,则有一个路秩判断其本身是否会停机并做出相反的行为,这时候显然不管停机问题的结果是什么都不会符合要求。”
“莫名其妙……”破理真人道:“莫名其妙。你们万法门弟子每天就在琢磨这种事?”
“也算是……有感而发?”王崎想了想,道:“和另一个版本的自己对打,算不算是……唔,两个代码高度类似的后天意志在相互击其不谐之处?”
“莫名其妙。”破理真人不知是第几次说这话了。他深呼吸,道:“看来你……没办法了?”
“嗯。首先,我就算可以定义出‘王崎’,也没办法将所有‘不王崎’的行为一一列举出来,并证明自己是王崎而不是非王崎的什么东西——更难的是,我很难证明;其二,这如果让我来,还涉及到了自我指涉。”王崎道:“对我本人来说,这事无解。所以我也懒得进一步消耗脑力在这事上面了。而且话说回来,真的——屁大点事。”
破理真人只感觉火大:“你和我师弟那混账在一起呆过几年吧……我总觉得他往你小时候的脑子里塞了点什么臭不可闻的东西。”
“怎么说,前辈?”王崎好奇了:“海前辈和我有一样的判断?”
“呸。”
王崎了然:“我就说嘛!你们无论如何也不会杀了我。在无法证明我是不是王崎的情况下,杀我对万法门来说是巨大的损失。而在这个情况下,最坏的情况,也就是……我没办法接触仙盟的大杀器,也没办法当官僚?”
破理真人看了他一眼:“嗯,然后还有……可能会限制你的……自由?”
“那太好了。”王崎一拍手:“找个地方静修最好!”
“你好像一点也不失落啊。”破理真人有些意外:“我还以为,你这种人……”
“啧,看看您,再看看我老师,一天到晚都一脸苦逼样子,安安静静看书解题求道都做不到。谁当官僚——尤其是仙盟官僚,这不就是蠢傻子吗!”王崎拍手道:“至于我在龙族庇护区域里安安静静的潜修,也很难遇到危险吧,仙盟凶器带着也没用啊。”
“而以我自身的价值来看,申请的研究经费肯定是少不了的,说不定安心做学问,还能有申请什么就批什么的待遇……”
破理真人头上青筋暴起:“呵呵,小子,想得太美了。我是来通知你的,准备好材料吧,你之前的那个申请,征天司正在讨论之中。”