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