以鼻。
王崎还是摇摇头:“不,不是这方面的原因——我只是觉得,万一进入歌庭派,或许会处处受掣肘罢了。”
“掣肘……”何外尔失笑:“现在以你的才情,有谁能够掣肘你呢?”
“若是讨论之时,处处都是与我观念不大相合的声音,有如何不是掣肘呢?”王崎摇头:“您也应该感受得到,我借鉴了算主的思维,但是与算主早并不能算一条路的了。而歌庭派,几乎全都是算主的学生。”
算主当年是在编篡《几何根基篇》的时候,萌生出“公理化”、“形式化”观念与“完备性”“相容性”“可判定性”的理想目标的。
王崎现在在做的事情,与当初的算主非常相像,因此,何外尔也可以看出这两者的不同之处。
王崎根本就无视了算主当初的目标。或者说,他已经不认为证明出什么特殊的命题,就可以求得整个算学体系的一般规律。他在用一种缓慢的方法,一点点的揭示数学的整体结构
终归是不同的。
地球上,曾经有科学家悲叹:一个新的科学真理取得胜利并不是通过让它的反对者们信服并看到真理的光明,而是通过这些反对者们最终死去,熟悉它的新一代成长起来。