听说王崎又有新论文,场中逍遥修士的神色各有不同。
一部分逍遥修士的神情颇不以为然。希门二十三问,乃是算学领域的一道标杆——或者说二十三道标杆。解决其中之一,就表示有资格成道逍遥。
而二十三问当中的第二问、第十问又最为特殊。因为这两问,关系到了算学的根基。
哥德尔不完备性定理,就是对二十三问当中第二问的证明。
这种问题,一般的修士,做出一问也是侥幸。不完备这种级别的发现,一个修士一辈子又能遇到几次?
而另外一些修士——比如冯落衣,表情就相当惊恐了。
“四面”马德恩在歌庭派诸人当中,算是态度最平和的。他成道便是因为解决了二十三问当中的第三问。就是由于这个缘故,他对解决了第二问的王崎颇有些好感。马德恩见气氛有些紧张,便想缓和一二,出声询问王崎:“你的论文,是关于什么的?”
“希门二十三问,第十问。”
马德恩一下子没有反应过来:“什么?”
“希门二十三问,第十问。”王崎复述了一遍:“我解决了第十问。关于判定性问题的。”
“什么……第十问,也解出来了?”马德恩一时之间有些失神。
理论水平远超法力境界的,他见得也不少了。可是能够到这个地步的,他还真是第一次见。
他只不过是在二十三问提出之后,花了一两年的时间解出了第三问。就算是这样,他也足以被称为一代天骄。
王崎在数年之前就用取巧的办法,取得了第二问的答案,不完备定理则彻底否定了传统方法——这相当于王崎已经彻底解决了第二问。光凭这个,王崎现在开始不再研究算学,若干年后都有资格用算学问鼎逍遥游的境界。
二十三问,每一问都是一条逍遥之路。
而王崎,接连解出了第二问,第十问,他又是什么水平?
希门二十三问当中,最重要的,也就是这个第二问和第十问。在离宗修士眼中,这两问涉及算学的根基,是诸般算学之根基!
谁能够解决了这两问,谁就有资格称为诸般算道之宗!
诸多逍遥之中,十个倒是有九个的第一反应是不信。可是,冯落衣却是信了。
王崎唯独没有在这方面轻慢过。
而在经历了最初的震惊之后,那些歌庭派的算家,却又有些迷惘了。
难道,这个少年,又要否定什么重要的东西吗?
为什么,老师二十三问之中最重要的两问,会由这样一个破坏了老师毕生所求的少年完成证明?
算君庞家莱的眼神当中,不以为然的神色淡了许多。他对算主颇为不屑,但是二十三当中的某几问,倒是很符合他的心意的。
——当然,第二问和第十问都不属于合他心意的。但是,他至少知道这两问的难度。
短暂的失神之后,冯落衣看了王崎一眼,面无表情的问道:“颠覆性强吗?”
王崎表示无奈:“我想的话,能够接受不完备定理,再接受一个相似的,应该也不难吧?”
这下子,就连本来只是旁观的图灵真人,脸上的表情也有些僵硬了。
——相似……他上一篇论文否定了完备性,这一次就要否定判定性?
——一个命题,或许被办法知晓它“能不能被判定”?
——那么我们这些算家存在的价值何在?
一瞬间,有几位歌庭派的逍遥修士甚至生出了退意。
光是想一想“不可判定”的意义,就心神摇曳,几乎走火入魔。若是听完王崎的论文,那岂不是要身死道消?
冯落衣轻咳了两声:“王崎,你先用一个尽量……尽量平和的方式叙述一下。最好是用借喻的方式,让大家有个心理准备——诸位,也请你们注意了。如果判断自己一时之间不能接受,那就立即脱出环境,然后去阳神阁。”
冯落衣说完之后,几位逍遥修士低头思量片刻,最后咬咬牙,决定还是留下来听完——至少也得听完王崎的介绍。