第132部分 (第3/5页)

这个定理不大出名。它源自于库尔特·哥德尔的博士生论文。它证明了在形式系统当中，一阶算词是完备的，一阶逻辑演算中所有逻辑上有效的公式都是可以证明的。

但是，一阶谓词演算是一种能力比较弱的数学系统，如果只是应用它的话，连自然数都定义不了，就更别说算术。

对于希尔伯特计划，哥德尔完备定理是一个重大突破，但是远没有不完备定理那样一锤定音的效果。而且完备定理也只是沿着希尔伯特的思路，在冯诺依曼的基础上又走了一步，而不是像不完备定理那样属于天才般的跨越。

但是……

“这还真是不科学的速度啊。”王崎喃喃自语。

对于哥德尔这种神级数学家来说，这篇论文或许只是一篇博士生论文，但世界上大多数数学家都写不出这样的论文。

或者说，一般数学家都未必看得懂。

“虽然我知道大致思路，也提前知道了结论，但是……我居然一天就推出来了？”

王崎懵了。

知道大致思路和结论不代表完全没有难度了。这就相当于大家到一个新地图寻宝，普通人不知道有没有宝藏，王崎一开始就知道有，而且看到了一个指路牌。

但是具体的路还是需要他自己找。

他最开始甚至没想到要一鼓作气把哥德尔完备定理推出来，而是沿着冯诺依曼的思路再找一个算术系统特殊的子系统论证一下就行了。

“我水平有这么高？”

第七十四章　断裂的金色对角线

“我水平有这么高？”

这个念头一出现就被王崎深深拍死。

自己上辈子几斤几两自己很清楚。

这是真正的世界级成果。若是用地球的评价标准来看，这就是登上世界第一的数学期刊《数学年鉴》都绰绰有余的论文，能不能拿下菲尔茨奖说不好，但是绝对足够一个数学家吃一辈子。

“我用了多久，一天？”

王崎觉得有些荒谬。

“不可能吧……”

从对算术系统子系统的探究到哥德尔完备性定理的证明。

“啊哈哈……对了，我这辈子的计算能力是上辈子的好几倍，思维敏捷，所以写得快。”

王崎干笑两声，给自己找理由。

人的思维能力受限于大脑的速度，就像程序的运行速度受限于硬件一般。提升了计算能力就相当于加了智商。

只是王崎自己也清楚，思维速度不是全部。提高硬件是可以提升之力，但这种提升是有限的。Windows的系统装在比普通计算机强几万倍的超级计算机上，速度最多就是普通计算机的一两倍，没可能达到万倍的效果。Windows的极限就在这儿了，它没办法利用这么庞大的计算力。

也就是说，王崎自己的思维运用得起自己的计算能力。

“我真的变强了？”

“我真的变强了！”

再三确认之后，王崎终于确认，自己的水平比上辈子要高。

高很多。

“有一个聪明的脑袋瓜就是不一样。”王崎拍了拍自己的额头。

上辈子十多年的积累，今生的修为、今生的苦读融汇到一起之后，绝不是一加一等于二那么简单。

“呜呼呼呼呼……”王崎压抑着狂笑的冲动，肩膀一耸一耸的。但最后，他还是忍不住放声大笑！

真阐子终于出声问道：“你究竟做出了什么？”

“只可惜我还是练气期来着。”王崎用不无遗憾的语气说道：“要是金丹期再写这个，没准能直接元神。”

不过，他的语气虽然有着贪心不足的感觉，但他的脸上哪里看得出半分