手机浏览器扫描二维码访问
王崎仿佛被抽去了浑身的力气,跌坐在地上,说道:“这不现实啊……”
整个万法门驻地的人都被惊醒了。所有人都好奇的围了过来。看到王崎怅然若失的样子,先前吃了个亏的梨月很是不爽:“装神弄鬼。”
王崎突然打了个激灵:“对不起各位,清闲出去一下行吗?我需要一个人静一静。”
刘云祥想看一看王崎的论文,但王崎按住了纸张:“对不起……现在这个还不能给人看……刘师叔,请您出去一下,我真的需要一个人静一静。”
王崎这话让万法门的几个弟子微微色变,梨月更是怒道:“你竟敢对刘师叔无礼?”
刘云祥制止了万法门弟子的指责,说道:“我们还是出去等一等吧。”
辰风连同一阵万法门弟子来到外面。对于王崎的异状,所有人都议论纷纷。
莫真真感叹道:“原来传说当中,天才写论文就能一路升上去的传言是真的。”
周围人的感叹略带羡慕。
“就是就是,原来王师兄居然是……”
“他肯定不是外门弟子了吧……”
听到周围的议论,对王崎好感度已经跌破表的梨月哼道:“写论文涨修为这件事是有,可也没那么简单。修为之所以会增长,那是因为思考的过程带动了魂魄,只要你真的思考了,就算思考的东西是错的也可以增长修为。”
有人好奇的问道:“那结论有错会怎么样?”
皇甫涟沉声道:“会偏离正法,若是坚持错误甚至会积重难返。一般的情况下也不要轻易试探。”
有与王崎关系比较密切的弟子紧张的询问刘云祥:“师叔,王师兄的结论应该不会有错吧?”
刘云祥满然的摇了摇头:“这个……我不知道啊?”
这个结论非常正确,对此王崎非常有信心。
因为,这个结论并不是他自己得出的,而是地球一位数学家的结论。
哥德尔完备性定理。
与哥德尔不完备性定理比起来,这个定理不大出名。它源自于库尔特哥德尔的博士生论文。它证明了在形式系统当中,一阶算词是完备的,一阶逻辑演算中所有逻辑上有效的公式都是可以证明的。
但是,一阶谓词演算是一种能力比较弱的数学系统,如果只是应用它的话,连自然数都定义不了,就更别说算术。
对于希尔伯特计划,哥德尔完备定理是一个重大突破,但是远没有不完备定理那样一锤定音的效果。而且完备定理也只是沿着希尔伯特的思路,在冯诺依曼的基础上又走了一步,而不是像不完备定理那样属于天才般的跨越。
但是……
“这还真是不科学的速度啊。”王崎喃喃自语。
对于哥德尔这种神级数学家来说,这篇论文或许只是一篇博士生论文,但世界上大多数数学家都写不出这样的论文。
或者说,一般数学家都未必看得懂。
“虽然我知道大致思路,也提前知道了结论,但是……我居然一天就推出来了?”
王崎懵了。
知道大致思路和结论不代表完全没有难度了。这就相当于大家到一个新地图寻宝,普通人不知道有没有宝藏,王崎一开始就知道有,而且看到了一个指路牌。
但是具体的路还是需要他自己找
他最开始甚至没想到要一鼓作气把哥德尔完备定理推出来,而是沿着冯诺依曼的思路再找一个算术系统特殊的子系统论证一下就行了。
“我水平有这么高?”
手机用户请浏览阅读,更优质的阅读体验。
有多少人还记得那个id,那个让无数职业选手闻风丧胆的id,若风叫他呆哥,草莓被他带到国服第一,笑笑,厂长,pdd看到他在对面直接就挂机。他却因为一次任性被封号三年。他制造了英雄联盟在线人数最少的纪录。他是国服最早的两大路人王之一他被称为传奇。如今,传奇回来了,在这个传奇正盛的年代,他回来了!他的id叫做发呆!...
做我的情人,到我玩腻为止。第一次见面,他强占她,逼她做情人。33日地狱般的索爱,沦为恶魔的禁脔。钱赚够那我滚了,再见。她包袱款款走得潇洒。恶魔总裁全世界通缉女人,想逃?先把我的心留下!这是一场征服与反征服的游戏,谁先动情谁输,她输不起,唯一能守住的...
明面上,他是忠心为国的冷情帝少,暗地里,他是叱咤风云的神秘君主。她步步算计,骗光了他的所有第一次,留下所有财产逃之夭夭。谁知第二天,她被人架着刀子上了教堂。他高调宣布要么嫁,要么死。嫁嫁嫁!我嫁还不行吗!重生宠文爽文老书99次离婚厉少,请低调...
赵桐芸没想到,死亡不是终结,只是一个新的开始...
岳母好女婿,求求你别离开我女儿岳风,把我们洗脚水倒了。什么岳家柳家岳风柳萱...
爷爷去世的时候,轰动全城...