第一百一十五章 算学的统一【第四更】

这就是二十世纪后半叶地球数学界的现状。

不管是苏联、俄罗斯的数学家，还是欧美的数学家，都热爱着朗兰兹纲领。

在神州万法门看来，这就是横跨了离宗与连宗的魅力。

而基本引理，则宣告着朗兰兹纲领的真实性与有效性。

而在同一时代，不管是新形式主义，还是构造主义，都只能给计算机科学打工。

王崎却顾不得检查自己又进步了多少，反正再强都打不过龙皇陛下就是了。

他却是悲哀的发现，自己这一参悟，就参悟了两天多。

争鸣大会什么的，怕不是重头戏都快过了。

毕竟，在他看来，一个修士介绍成果加提问环节，四五个小时也就够了。再加上修士可以不吃不喝连轴转的进行轮到，几天过去，自己再赶过去，怕不是黄花菜都凉了。

不过，悲哀片刻之后，王崎反而释然了。

是的，无论是递归论还是类型论，都是很了不起的成就，在计算机科学领域，有重要的意义。

但是，它们已经沦落为“搞应用的”了。

天下正统，已经和他们无关了。

算了，赶不上就赶不上吧。

他如此想着。

现在，手握朗兰兹纲领和基本引理证明的他，也不用赶着去参加争鸣大会了。

毕竟，和争鸣大会争论的那些东西相比，朗兰兹纲领，俨然就是另一个时代的存在了。

在布尔巴基学派眼中，只有布尔巴基学派认可的数学才是数学。而朗兰兹纲领虽然不是布尔巴基学派成员的成果，但无疑是符合布尔巴基学派理想的。