王👢👺崎却顾不得检查自己又进步了多少，反正再强都打不过龙🌼皇陛下就是了。
他却☘是悲哀的发现，自己这👝一参悟，就参悟🁤🇬🛪了两天多。
争鸣大会什么的，怕不是重头戏都快过了。
毕竟，在他看来，一个修士介绍成果加提问环节，四五个小时也就够了。再加上修士可以不吃不喝连轴转的进行轮到，几天过去，🝊自己再赶过去，怕不是黄🖣🔝🁣花菜都凉了。
不过，悲哀片刻之后，王崎反而释然了。
算了，赶不上就赶不上吧。
他如此想着。
现在，手握朗兰兹纲领🉑🆤和基本引理证明的他，也不用赶着去参💬🔽加争鸣大会了。
毕竟，和争鸣大会争论🉑🆤的那些东西相比，朗兰兹纲领，俨然就💬🔽是另一个时代的存在了。
在布尔巴基学派眼中，只有布尔巴基学派认可的数学才是数学。而朗兰兹纲领虽然不是布尔巴基学派成员的成果，但无疑是符合布尔巴基学派理想🝍的。
这就是二十世纪后半叶地球数学界的现状。
不管是苏联🄶🂃、俄罗斯的🉑🆤数学家，还是欧美的数学家，都热爱着朗兰兹纲领。
在神州万法🄶🂃门看来，这就是横跨了🏀🗂😷离宗与连宗的魅💓力。
而基本引理，则宣告着朗兰兹纲领的真实性🁤🇬🛪与有效性。
而在同一时代，不管是新形式主义【形式主义继承者】，还是构造主义【直觉主义继承者】，都只能给计算机科学打工。
是的，无论是递归论【离宗】还是类型论【连宗】，都是很了不🝙起的成就，在计算机科学领域，有重要的意义。
但是，它们已经沦落为“搞应用的”了。
天下正统，已经和他们无关了。
他却☘是悲哀的发现，自己这👝一参悟，就参悟🁤🇬🛪了两天多。
争鸣大会什么的，怕不是重头戏都快过了。
毕竟，在他看来，一个修士介绍成果加提问环节，四五个小时也就够了。再加上修士可以不吃不喝连轴转的进行轮到，几天过去，🝊自己再赶过去，怕不是黄🖣🔝🁣花菜都凉了。
不过，悲哀片刻之后，王崎反而释然了。
算了，赶不上就赶不上吧。
他如此想着。
现在，手握朗兰兹纲领🉑🆤和基本引理证明的他，也不用赶着去参💬🔽加争鸣大会了。
毕竟，和争鸣大会争论🉑🆤的那些东西相比，朗兰兹纲领，俨然就💬🔽是另一个时代的存在了。
在布尔巴基学派眼中，只有布尔巴基学派认可的数学才是数学。而朗兰兹纲领虽然不是布尔巴基学派成员的成果，但无疑是符合布尔巴基学派理想🝍的。
这就是二十世纪后半叶地球数学界的现状。
不管是苏联🄶🂃、俄罗斯的🉑🆤数学家，还是欧美的数学家，都热爱着朗兰兹纲领。
在神州万法🄶🂃门看来，这就是横跨了🏀🗂😷离宗与连宗的魅💓力。
而基本引理，则宣告着朗兰兹纲领的真实性🁤🇬🛪与有效性。
而在同一时代，不管是新形式主义【形式主义继承者】，还是构造主义【直觉主义继承者】，都只能给计算机科学打工。
是的，无论是递归论【离宗】还是类型论【连宗】，都是很了不🝙起的成就，在计算机科学领域，有重要的意义。
但是，它们已经沦落为“搞应用的”了。
天下正统，已经和他们无关了。