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