书海居 m.shuhaiju.net

    第一百四十二章 队伍药丸！（上）【三更】(第 2/2 页)

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

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

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

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

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

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

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

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

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

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

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

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

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

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