第160部分 (第2/5页)

的缺陷，算主还在完备性的南墙上狠撞狂撞。

在这种情况下，这样的数学应该没有出现的可能性啊！

不过，仔细想一下，这好像也不是不可能。毕竟在地球历史上，亨利·庞加莱死得太早，错过了数学的大发展，也让布劳威尔将直觉主义带入他个人哲学怪癖的死胡同，更没有见证到数学衍生出计算机科学、改变时代的那一天。但是算君庞家莱可是一直活着啊！

他的积累，远远在他地球的同位体之上。

“算君的这个论文是亨利·庞加莱去世五十年后才被地球科学家提出的，看来以后不能用地球的历史来判定神州逍遥的上限。靠着对算学的感觉，硬是略过无数错误的道路，开辟出这一条新路……算君果然是神州有史以来最强的天才之一！很强！如果不是学习过二十一世纪的数学理论，我甚至无法生出与他相比较的心思。”王崎暗暗赞叹，同时小心翼翼的看着冯落衣的脸色。

这下子，咱们歌庭怕是药丸啊！

在万仙幻境之中，任何小动作都瞒不过冯落衣。冯落衣感觉到了王崎的神态，苦笑：“怎么样？”

“很强，我完全不知道应该怎么形容，但是这篇论文完全可以作为一个道标，指引神州算学的发展，特别是应用算学的发展。”

“无论是理论层面还是应用层面都很强。我们原以为有了你的一阶完备律，在算学逻辑上能够领先一步，没想到我们既高看了自己，也小看了算君。”冯落衣摇头：“不愧是曾以一人之力压服整个万法门的绝世强者。”

他是万法门较年轻的逍遥。他踏入修行路的时候，正是希柏澈崛起、万法门两代强者交割的时候。而他成道逍遥的时间也是仙盟建立前后，算君没过多久就离开神州镇守别处。因此，冯落衣并没有直面那位暴君的机会。

“高看了自己？”王崎揣着明白装煳涂：“完备性的证明有差错？”

在哥德尔之前，根本就没人怀疑语义和语法之间存在矛盾，有些概念靠人类的语言根本无法定义，有些问题自无法用现有的逻辑来理解。用脚趾想也应该想得到，算主几乎不可能得到他梦寐以求的结果。

但是，又是科学发展就是这样。算主在那儿撞南墙，不可能证明普遍、广泛的完备性。但是，这一过程当中他们势必会验证一些走不通的路，提出一些无心插柳得出的理论。这些成果会成为以后数学发展的基础。如果可以的话，王崎甚至希望将歌庭派的众多逍遥引导到地球布尔巴基学派的路子上，让无数逍遥来改造神州数学，使之接近王崎更熟悉同时自身也更先进的地球数学。

冯落衣叹息：“希门主正在抱怨呢，他好像已经隐约看到了目的地，但是总有一堵不可视的墙阻隔着他，让他觉得自己像是在原地打转……”

突然，冯落衣变了脸色，直勾勾的看着王崎：“王崎，希门主托我问你一个问题，你要老实回答我。”

王崎不明所以，暗暗寻思是哪个重要的问题。

只听得冯落衣问道：“你当初已经在有限的框架下完美证明了一阶逻辑的完备，为何又突然违背有限主义的框架，用超限的方法去做下一步的研究？”

王崎语塞：“这个……灵光一闪而已……”

“你当初就预料到这种进退维谷的状况了吗？还是说，你藏了什么发现？”

第一百四十三章　队伍药丸！（下）

希柏澈也不知道这是自己第几次抱怨了。他感叹道：“我好像已经看到了正路，但就是有一堵墙隔在我和道之间，让我走不到那里。”

有人笑道：“老师，您说的这不是无形气墙，而是鬼打墙啊！”

另一人反问道：“什么鬼能让我们这么多逍遥同时中鬼打墙？修成仙尊的恶鬼不成？”