王崎重新回到讲坛的边缘,盘膝而坐,闭目养神。
理论计算机领域――计算机科学的数学基础领域当中,最重要的递归论,图灵机、拉姆达算法,便在这一夜同时传扬了整个神州。
现在,他们只不过是不完备和不可判定的注脚。但是,总会有不凡之人发掘出其中的奥妙。
就算抛开理论层面的意义,光是这个收获就不会小。
算器理论的飞跃,就等于是王崎修法的飞跃。
以后,他就可以借助神州算门的资源,来完善自己的修法。光是这一点,就已经值回票价了。
更不用说不完备、不可判定在理论上的意义。
他已经改写了算学的框架。只要等下度过难关,他就会成为神州顶尖的算家。无论是声威还是其他,都将远远超过过去的自己。
这是隐性的好处。
而他在这个时候再推广布尔巴基学派思想,就可以将这“隐性”的好处,转化为“显性”的好处。
布尔巴基学派的研究,自纯数学而始,最终又成就了新世纪物理学研究的坚实基础。
但是,并被所有人都能向他一样,看到这一步。
更多与他相熟的人,只是在担心。
毛梓淼捂着脑袋,只觉得头昏脑涨的:“喵……艾师姐,小崎他到底在讲什么啊……”
艾轻兰眼中也透着迷惘:“不太清楚……虽然不明白。但还是觉得好厉害……”
她勉强能够听懂王崎在讲什么――可是,这玩意有什么意义吗?
而这个时候,辰风放下自己的算器,怒道:“这个疯子……”
“怎么了?理论有突破是好事嘛!”艾轻兰不满了:“小风你不是这种见不得朋友得好处的人吧?”
“好处……王崎这家伙很快就要倒大霉了。”辰风有些恼火:“刚才就因为听不懂,所以我专门去问了问由嘉……这个小子。刚才的那一通讲,根本就是里外不是人,将离宗连宗两边都得罪惨了。”
“离宗连宗……”艾轻兰瞪大美眸,按着胸口:“那个……让我缓一缓,想一想。如果我记得不错,离宗和连宗的领袖,分别是算主和算君吧?就是……这位和这位吧?”
说话的同时。她伸出手点了点幻影之中的虚像。
辰风点点头:“就是坐在王崎左右两边的那两位老人家。巅顶逍遥……他们身后,分别就是他们的门人,加起来几十个逍遥修士”
艾轻兰一巴掌糊自己脸上:“这小子确实疯了……不不,不如说发疯才是他的风格……这属于正常发挥……正常发挥……”
同时惹下两个主流学派,相当于同时激怒万法门一半以上的人。这能不疯吗?
有人不解:“那个……王师兄的理论难道不对吗?”
辰风是老好人,但不是傻子。他深深叹息,道:“当年歌庭派前代领袖。云端君柯兰荫为何道心尽丧?便是与算君论道啊……就算那些前辈不打算采取这样的极端手段,那么多算家,想要让他身败名裂,其实是非常简单的。”
毛梓淼的心微微一揪:“那……那怎么办?”
“希望他能够在苍生国手和机老两位逍遥修士的帮助下度过接下来的难关吧?”辰风不确定的说道。
他深知王崎的性子。想让王崎放弃自己的想法,几乎是不可能的。他必然会面对接下来无数逍遥修士的诘难。
万法门中,薄笑风握紧了拳头,薄筱雅则闭上眼睛,紧张得不敢去看。
而神州各地当中,更多的万法门低阶弟子在为王崎暗中祈祷、鼓劲。他们刚刚踏入算学的领域,还没有前辈的那种坚持。也没有受到太多的波及。他们看王崎,并没有前辈那种厌恶,反而带着一种“大丈夫当如是”的豪气。
某个神秘的秘境之内,太一天尊也为这个年轻人捏了一把汗。
现在,或许也只有陈由嘉一人坚信王崎了吧。
只有她觉得,王崎就算被等下的攻讦淹没,也不会损了他那一颗精进勇猛之心。
第二场讲道完成之后。冯落衣闭上眼睛,深深太息,宣布道:“现在,诸位同道便可以开始提问了。”
歌庭派阵中,算主之挚友、“真宇相”闵可夫便站了起来,沉声问道:“你可找到了一个关于实际存在之算学的不可证明之陈述?”
王崎摇头:“没有。”
不愧是这一世最巅顶的算家,这么快就找到了不完备证明的软肋。
哥德尔终其一生,都没有找到一个包含了实际数学内容的不可证明陈述。这也是不完备定理从者不多的原因。