如果是歌庭派,估计只需要几位高阶修士一句话,就自然会有很多人自己上门。
但王崎最终还是摇了摇头:“对不起啊前辈。您的好意我心领了,但是这个邀约,我怕是不能答应。”
“为什么?”何外尔看起来并不意外,他只是有些想要知道王崎的想法。
“我只是觉得、歌庭派不大适合我?”
“若是你担心代数拓扑这一块没人与你交流的话,大可不必。虽然几何、拓扑这些问题被认作是连宗的范畴,可实际上,我们歌庭派也做得不错。我的同门艾若澈在这个领域就是权威,老师的《几何根基篇》也是这个领域的重要著作。再往上追溯,云中公子柯兰荫也是了不得的大家……”
在其他门派修士的刻板印象当中,连宗偏几何拓扑、离宗偏数论逻辑已经是常识了。可实际上,再极端的连宗也不至于完全不懂集合论——实际上,算君庞家莱甚至还是此道高手,他也觉得在一般情况下,集合论是很好用的工具。连宗只是拒绝将集合论视作算学的基础,仅此而已。
而离宗自然也不可能完全不懂几何、拓扑。泛天变知法【泛函分析】当中相当重要的工具“相宇算”乃是离宗的杰作,而算主更是曾精研几何学。
只是,算主在几何学上的许多观念,都被连宗嗤之以鼻。
王崎还是摇摇头:“不,不是这方面的原因——我只是觉得,万一进入歌庭派,或许会处处受掣肘罢了。”
“掣肘……”何外尔失笑:“现在以你的才情,有谁能够掣肘你呢?”
“若是讨论之时,处处都是与我观念不大相合的声音,有如何不是掣肘呢?”王崎摇头:“您也应该感受得到,我借鉴了算主的思维,但是与算主早并不能算一条路的了。而歌庭派,几乎全都是算主的学生。”
算主当年是在编篡《几何根基篇》的时候,萌生出“公理化”、“形式化”观念与“完备性”“相容性”“可判定性”的理想目标的。
王崎现在在做的事情,与当初的算主非常相像,因此,何外尔也可以看出这两者的不同之处。
王崎根本就无视了算主当初的目标。或者说,他已经不认为证明出什么特殊的命题,就可以求得整个算学体系的一般规律。他在用一种缓慢的方法,一点点的揭示数学的整体结构终归是不同的。
地球上,曾经有科学家悲叹:一个新的科学真理取得胜利并不是通过让它的反对者们信服并看到真理的光明,而是通过这些反对者们最终死去,熟悉它的新一代成长起来。
而在这个“反对者”不会死去的世界里,这就显得艰难了。