第(3/3)页

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

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

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

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

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

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

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

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

    看更多诱惑小说请关注微信  npxswz        各种乡村  都市  诱惑


    第(3/3)页