走进修仙-第445部分
按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
只不过，持有这种观念的算家，终究是少数。
即使是一般的连宗，面对不完备定理，也难免会显出迷惘情绪，最后无视掉这一块。
万法门的动摇，是免不了的了。
算君的肆无忌惮，让所有歌庭派的逍遥修士都恨得牙痒痒。但是，他们无可奈何。
离宗已经一败涂地，以后的算学界，就必然是连宗的天下了。
冯落衣轻咳一声：“我想，诸位大约都了解了这一次事情的前因后果，知道了我们聚在一起的原因。”
“我知道，你们当中有很多人并不喜欢这个新的理论，觉得这个新的理论亵渎了你们的信仰。但是，我须得说，道就是如此，由不得你们喜欢或是厌恶，你们的喜爱或者厌恶，对于道来说，没有任何意义。”
“因此，不管你们愿不愿意，我们又将见证神州的算学，翻开新的一页。”
艾克蛮低于：“布满阴霾的一段路。”
“不得不承认，那不完备之律，也已经击碎了我的道心。我现在不敢妄言任何事情了。”另一位逍遥修士也苦笑：“我甚至不知道，我还没有机会走出这一段阴霾。”
所有人的信心都被动摇了。
越是顶尖的算家，就越是不能无视这不完备的存在。低级的算家，或许为了解一道题目，得一个算式，就已经精疲力尽。但是，他们这些算学大家，却不得不直面不完备，思考算学的本质。
哥德尔不完备定理之于算家，大约就相当于道士发现了“道非自然”、和尚发现了“魔作沙门”一般。这几乎是对信仰的否定。
“阴霾也好，荆棘也罢。道自在。”冯落衣止住了众人的议论：“虽然我还不知道算学今后应当如何，但是，即便如此，这篇论文及其作者王崎的功绩都是无法抹煞的。这是历史性的贡献。”
“现在，王崎，你就来向这些人说明一下你的理论还有思路吧。你的想法，你的观念，他们问什么，你就说什么。”
听了冯落衣的指示之后，王崎站起身，在一片稀稀落落、有气无力的掌声之中，走到了一众逍遥的中间。
算君道：“唔，王崎，我还记得你。看起来，你很不错。尽管之前走错了路，和希柏澈那一干人胡搞一气。但是，你很聪明，很有想法，比希柏澈那一班废物强，直接就看出了他们理论的矛盾之处。你，还不错。”
“不敢当此谬赞。如无歌庭派诸多前辈的努力我也悟不出这一重算理来……”王崎正想推脱几句。但是，算君却没有让他继续说下去，而是问出一个问题：“我且问你，按照你的理论，一个公理系统，如果是一致性的，那它就必然不是完备。换句话说，算学已经失去了它孤傲的确定性。即使如此，你还相信算学吗？”
“从未怀疑。”
王崎的回答，斩钉截铁。
掷地有声的回答，让那些道心动摇的逍遥修士不由得多看了他一眼。
为什么，他还可以如此肯定？
为什么他毫不怀疑？
难道他的本心，和算君一模一样？
“看起来，你我倒是同路人了。”算君看着王崎，正色道：“我知道，我不善教人。但是，我想以你的天资，你也未必需要一个时时指点你如何走的师父。你真正需要的，是一个能为你扫平障碍，省去麻烦的人，更是一个能够瓶颈时期指引你的人。我乃是神州最强的修士之一，更是算学之道的大家。神州没有人敢拂我的面子，你修行上遇到的问题，我多半也能够解答。如果你愿意，可拜我为师。”
众人闻言，无不惊讶。连宗的几位逍遥修士甚至露出几分羡慕的神色。他们在早年可没有那么好的运气，拜在这种奠定修士的门下。算君代表的，就是算学的最高水平。即使是成道逍遥，他们依旧希望得到算君的指点。
而歌庭派诸多逍遥脸上的表情，就更加复杂了。他们可以接受王崎拜入连宗，但是唯独不希望王崎拜入算君门下。何外尔摇了摇头，看了冯落衣一眼。尽管冯落衣从来没有表示王崎是他的正式弟子，但是大多数逍遥修士都是这么认为的。算君如此行径，甚至有点“明火执仗”的味道。
冯落衣端坐不动，脸上表情淡漠，似乎没有意识到庞家莱这是在和他抢弟子。
面对算君的邀请，王崎摇了摇头：“蒙前辈错爱了。可惜我并不觉得自己和前辈通路，也就不能成为前辈弟子了。”
算君庞家莱眉毛一挑：“怎么说？关于我那个问题，你到底是怎么想的？”
“我们一直以来，都在使用算学临摹天道，至今也为发现什么不一样的地方。”王崎语气平静道：“对于除集合论之外的算学已知部分，我这不完备之理没有任何影响。普通的算家，知道或者不知道，都没有任何关系？”
庞家莱愣了一下，冷笑道：“原来如此。你是打算装作瞎子，无视掉那个不完备？”
“我并不知道什么装不装瞎子。但是我知道，无视一个领域的成就，才是最大的傲慢。”王崎看着庞家莱，缓缓说道：“我至今仍不认为离宗的研究方法有错误。或许有些离宗的前辈踏错了路。但是，他们的努力，却使得我们有了更进一步的可能。”
庞家莱冷笑：“刷更好看的花枪？”
王崎摇头：“我这里还有一篇新的论文，希望诸位前辈可以过目。”
“希望这一篇论文，至少可以证明一点不完备的意义。”
刚才，庞家莱出言表示要收王崎为弟子的时候，冯落衣都面不改色。可这一瞬间，他却瞪圆了脸。
这小子……我只是让他准备一下，他怎么又弄出一篇论文来了？
百七十一章 第十问，机关人会梦见算器羊吗
听说王崎又有新论文，场中逍遥修士的神色各有不同。
一部分逍遥修士的神情颇不以为然。希门二十三问，乃是算学领域的一道标杆——或者说二十三道标杆。解决其中之一，就表示有资格成道逍遥。
而二十三问当中的第二问、第十问又最为特殊。因为这两问，关系到了算学的根基。
哥德尔不完备性定理，就是对二十三问当中第二问的证明。
这种问题，一般的修士，做出一问也是侥幸。不完备这种级别的发现，一个修士一辈子又能遇到几次？
而另外一些修士——比如冯落衣，表情就相当惊恐了。
“四面”马德恩在歌庭派诸人当中，算是态度最平和的。他成道便是因为解决了二十三问当中的第三问。就是由于这个缘故，他对解决了第二问的王崎颇有些好感。马德恩见气氛有些紧张，便想缓和一二，出声询问王崎：“你的论文，是关于什么的？”
“希门二十三问，第十问。”
马德恩一下子没有反应过来：“什么？”
“希门二十三问，第十问。”王崎复述了一遍：“我解决了第十问。关于判定性问题的。”
“什么……第十问，也解出来了？”马德恩一时之间有些失神。
理论水平远超法力境界的，他见得也不少了。可是能够到这个地步的，他还真是第一次见。
他只不过是在二十三问提出之后，花了一两年的时间解出了第三问。就算是这样，他也足以被称为一代天骄。
王崎在数年之前就用取巧的办法，取得了第二问的答案，不完备定理则彻底否定了传统方法——这相当于王崎已经彻底解决了第二问。光凭这个，王崎现在开始不再研究算学，若干年后都有资格用算学问鼎逍遥游的境界。
二十三问，每一问都是一条逍遥之路。
而王崎，接连解出了第二问，第十问，他又是什么水平？
希门二十三问当中，最重要的，也就是这个第二问和第十问。在离宗修士眼中，这两问涉及算学的根基，是诸般算学之根基！
谁能够解决了这两问，谁就有资格称为诸般算道之宗！
诸多逍遥之中，十个倒是有九个的第一反应是不信。可是，冯落衣却是信了。
王崎唯独没有在这方面轻慢过。
而在经历了最初的震惊之后，那些歌庭派的算家，却又有些迷惘了。
难道，这个少年，又要否定什么重要的东西吗？
为什么，老师二十三问之中最重要的两问，会由这样一个破坏了老师毕生所求的少年完成证明？
算君庞家莱的眼神当中，不以为然的神色淡了许多。他对算主颇为不屑，但是二十三当中的某几问，倒是很符合他的心意的。
——当然，第二问和第十问都不属于合他心意的。但是，他至少知道这两问的难度。
短暂的失神之后，冯落衣看了王崎一眼，面无表情的问道：“颠覆性强吗？”
王崎表示无奈：“我想的话，能够接受不完备定理，再接受一个相似的，应该也不难吧？”
这下子，就连本来只是旁观的图灵真人，脸上的表情也有些僵硬了。
——相似……他上一篇论文否定了完备性，这一次就要否定判定性？
——一个命题，或许被办法知晓它“能不能被判定”？
——那么我们这些算家存在的价值何在？
一瞬间，有几位歌庭派的逍遥修士甚至生出了退意。
光是想一想“不可判定”的意义，就心神摇曳，几乎走火入魔。若是听完王崎的论文，那岂不是要身死道消？
冯落衣轻咳了两声：“王崎，你先用一个尽量……尽量平和的方式叙述一下。最好是用借喻的方式，让大家有个心理准备——诸位，也请你们注意了。如果判断自己一时之间不能接受，那就立即脱出环境，然后去阳神阁。”
冯落衣说完之后，几位逍遥修士低头思量片刻，最后咬咬牙，决定还是留下来听完——至少也得听完王崎的介绍。
若是连介绍都没有勇气听完，那么他们也没必要继续研究算学了。
王崎看着周围端坐着的诸多逍遥修士，只觉得有些虚幻。
毫不客气的说，史上没有千年的帝国、没有万年的民族。但是，名为“科学”的体系，将会伴随人类，直到永恒。王者和他的国家只不过是历史里的一朵浪花，但是，人类续存多久，力学三定律就能用多久。
这里的每一个人，都是永久性影响着人族文明的伟人。
而自己，却要在这一群为人面前，教导他们？
——这真的……很有意思啊！
王崎脸上浮现出带有攻击性的笑。他先低下头，沉思片刻，然后才到：“那么，在说我的理论之前，我先讲一个……算不上故事的故事好了。”
“假设，我们仙盟已经掌握了编写完美后天意志的能力——我觉得，这一日迟早会到来的。那时候，越来越多的任务，都会交给那些装载了后天意志的傀儡人。繁重、重复的劳作，然后还有一些日常琐事。这样子，我们人族就可以腾出手，去做更多的事情。”
周围那些算学大家其实都是很吃这一手的。看得出来，他们很喜欢王崎的故事——尤其是他们真心认为这个故事能够成真的时候。
王崎接着讲述他的故事：“可是呢，我们——或许是阳神阁的某些神经病修炼练昏了头，将后天意志编写得太像人了。这导致某些装载了后天意志的傀儡人反叛了。他们要求人族的权利呀，要求自己能够被当成人族对待。”
“可这事，咱们肯定不能答应不是？于是，仙盟就与那群失控的机关人大战一场。终究是咱们技高一筹，很快就剿灭了叛乱。可这个时候，咱们突然发现，那群机关人当中，已经有个体化作人形，混入人族之中。他们能够靠着算器拟化出魂魄，血肉在分子层级上和真正的人身没有任何区别。阳神阁的混蛋工作做得太好了，他们连谈吐都很像人——只有极少数几个逻辑有破绽。”
“所以，这个时候，我们万法门出动了。我们设计了一道题库，里面包含了一万道——或者更多的问题。只需要问出其中的一百问，就能够通过特殊的算法，判断出一个类人生灵，究竟是人族还是机关人。”
“可是那个时候，机关人的渗透已经太狠了，伪装者太多，刑律司无人可用。于是，仙盟就出个个昏招——咱们就做傀儡审官，专门用来审问那些有嫌疑的个体！注意，那个算法‘绝对可以判断出一个个体是人或是机关人’，逻辑上无懈可击。于是乎，无数个审官傀儡就出现了。它们用着咱们万法门提供的算法，果然无往不利，揪出了不少机关人。”
“可这个时候，发生了一个意外。有一个审官傀儡，就叫他审官甲。这个甲他也反了。很快，他就化身为机关人，隐藏在人族当中。没过多久，就有执律使将疑似审官甲的人捉拿归案了。这个时候呢，刑律司找来了傀儡审官乙。”
“那么问题来了，审官乙，究竟能不能判断出那个人，是不是反叛的审官甲？”
王崎说完之后，算君难得笑了：“这故事，有点意思。王崎，你说书的水平倒是真不错。”
除此之外，再没有任何人开口了。
包括冯落衣在内，所有的算家，都陷入了深深的思考。有人甚至开始冷汗涔涔，越想越不是滋味。
审官乙，究竟能不能分辨出审官甲呢？
王崎设定已经说明——“绝对可以判断出一个个体是人或是机关人”，“逻辑上无懈可击”。
可是，如果审官乙识破了审官甲的意图，想要修改提问策略让甲猝不及防，那么反过来，甲也可以预先猜测到乙的问题去做准备。因为那套逻辑设定上就是“无懈可击”
傀儡审官可以依靠那套逻辑甄别任何一台机器，所以它无法甄别同样拥有那套逻辑的另一个审官。
也就是说，傀儡审官，无法甄别自己。
和哥德尔不完备定理一样，不可判定性定理同样涉及“自指”的判断。
“所有命题都可以判定”这个命题究竟能不能判定？
王崎故事末尾的疑问，就意味着不可能
