对于王崎的算学水平,薄笑风还是承认的。王崎这些年没少发表论文。他平均每个月都要发表三到五篇论文。这些论文大多数都只能说是“中规中矩”,不像是《试论ap;a;卷一算术篇中形式上不可判定之陈述及相关系统》与《论可计算数及其在判定问题上的应用》,没有什么太过颠覆的地方,不算出彩,但是也绝对不差。
七八年下来,三百多篇论文,对于一般人来说,就已经称得上是雄厚的积累了。
而落在有心人眼中,这些论文里面,也可以一点点的窥出王崎的思路,或者他思维的轨迹。再不济,也可以看出他的思想。
人们认为王崎应该被归入离宗,也是因为他这几年积累的论文里面,多体现了离宗的思路。比如说,他当初和薄筱雅初步构造的模糊算法,最根基的就是多元判断、模糊集合——从集合论触发,构建公理体系,这也算是离宗的典型思路。
对于他们来说,这种“公理”就是“骨架”。几道公理就可以支撑起一个体系。对于离宗的算家来说,没有什么比这个更美妙的了。
王崎在论文当中大量采用离宗的思路,他人自然将之视为离宗的一份子。
这也是薄笑风在看到王崎的笔记之后。那么惊讶的原因。
王崎的思想,与算主相左,实际上更接近算君啊……
仔细想一想,算主那个“以形式为本”的思想本就不能完全代表离宗。离宗之中,其实还是有好几股与算君不一样的思想的。“以形式为本”。倒不如说只在歌庭派之内流行——哦,就连歌庭派内部,也有人不认同。
王崎不是冯落衣的正式弟子,更不是歌庭派的正式成员,在这一个无关理论、纯乎理念的问题上与算主相悖,也不是什么不可理解的故事。
但是,要说王崎的水平。足以颠覆现在的体系。薄笑风却是根本不信的。
算学不是生灵那种高度具体的学科,概念可以一年一换,随便什么人都有可能做出颠覆性成果。
算学也不是物理那种介乎抽象与具体之间的学科。天物流转之道自元力上人以来,短短一千多年就已经经过数度颠覆。算学则不然。
算学是高度抽象化的,六万年的算学史上,也只有两次颠覆性的发现。
想要在算学领域做出什么颠覆性的成果,实在太难了。
关于苏君宇那个“王崎写出了颠覆性论文”的消息。薄笑风的第一反应就是:“应该是关乎缥缈之道的吧?苍生国手除了是算学大家之外,更是缥缈之道的诸多开创者之一。”
对此,苏君宇翻了个白眼:“那你说,为什么开这种培训的,是我们万法门?”
总之,不管薄笑风怎么看,苏君宇是觉得,自己算是找到了一点思路了。
自此,苏君宇的草稿纸上,除了算符之外。又多了无数的圆圈,圆圈之中才是算式。,有的时候,他还会拿起一本《万法算藏》硬啃。而在啃书的时候,他也会在草稿纸上写些什么。
薄筱雅偷偷的问自家兄长:“苏师兄那是……那些圈子是什么?”
苏君宇进行这一项研究,已经有好几天了。
薄笑风和苏君宇也算是认识了多年的老朋友:“应该是代表‘集合’吧?他更擅长从‘直观’的角度去思考。如果要说思路的话……嗯,硬说也是偏连宗的。只不过他属于那种对连宗离宗分歧看得不重的人。所以才能和称得上离宗代表的王崎做朋友。”
“离宗代表?”薄笑风这句话以出口,就立刻有人跳出来表示反对。
薄笑风识得这个人。他名叫秦川和,金丹级数,万法真传。他同样是属于离宗的弟子。薄笑风闻言,出言道:“怎么了?我的话,你有异议?”
“呵呵,别的还好,就唯独‘离宗代表’一句。”秦川和怒道:“我们离宗,什么时候轮到他代表了?”
“呵呵呵,我更正一下。低辈弟子当中,离宗的代表人物。”薄笑风更正了自己的说法,使之定义更加明确。
秦川和眼神当中的怒意更甚:“我不是这个意思。”
薄笑风耸耸肩:“可不是我说啊。低阶弟子当中,明确表示自己属于离宗者不算太多,其中出彩的就更少了……王崎不算的话,其实也没几个人够格吧?”
“不管谁都可以,只有王崎,绝对不行!”那个叫秦川和的万法门弟子似乎被激怒了:“王崎那个家伙,他的心思根本就不再离宗上……离宗最根本的任务,应该是证明算学的一致性、完备性、可判定性。可是他公理化的路子,根本就是抛开了这三个最重要的工作……”
薄笑风斜眼看着秦川和:“可我记得,现在完备性证明上,最重要的也是目前唯一的证明,是王崎的‘王氏完备律’吧?一阶逻辑完备性证明?”
薄筱雅赶紧点头:“嗯嗯,那才了不起啊!”
“所以,王崎那厮才可恨啊!”秦川和一脸“怒其不争”的神情:“取得了一阶逻辑的完备性证明之后,应该向着二阶或者多阶继续进发才是!可是那家伙,他后面的算术公理完备性,还是靠取巧的方法成就,根本不具备普适性!如果我有他那种水准的天赋……”
这个时候,另外一个修士从另一张书桌前探过身,插入对话:“要我说的话,你们离宗也就这样的。说来说去也就这点东西,就连你们自己人都觉得靠不住……哈哈哈,终究只有一些下愚之人才会去信。”