第219节

  换句话说，这种世界上还没出现过相关的代数体系跟数学思想，所以乔泽哪怕通过这种方法计算出杨-米尔斯方程的解，要让全世界的数学家跟物理学家能弄懂其中的数学思想，他还需要给出整体体系各项定理的完整性证明。

  就好像微积分的从无到有经历了好几代人的努力，才将其中的一系列定理慢慢补全。

  如果乔泽要开创这个数学分支的话，同样得从无到有，从最基础概念的定义跟解释开始，让大家了解他的数学思想。

  这也让乔泽意识到，那些前辈们的伟大，不止是他们作了一个又一个学术成果，更因为他们把那些抽象至极的概念解释得足够清楚，能让更多的人学懂，然后流传下来。

  很烦……

  因为要让大家都理解的话，需要做的前置工作太多了。

  最终乔泽做出了一个不太负责任的决定。

  先用这种方法计算出杨-米尔斯方程的解，然后交给学界去用超算验证吧。

  只要最终结果是正确的，学界现在懂不懂这种非常规的代数结构似乎并不重要。

  对于非线性偏微分方程来说，想要用超算来求解，起码就目前来说，几乎是个不可能完成的任务，计算量太过庞大了，但如果已经把通解推导出来，只是反过来进行验证的话，其实并不难。

  照现在全球超算的能力，只要能第一时间给够算力，最多一、两天的功夫就能出结果。

  在方程通解这个问题上，哪怕编写程序的时候给出的参数不同，最多也就是影响出结果的快慢，但一定是能被验证的。甚至不需要他给出太过详细的证明过程。

  不过哪怕对杨-米尔斯方程进行了超螺旋空间代数转换，鉴于方程本身的复杂度，想要求解依然是件很麻烦的事情。

  尤其是在针对这种新的代数结构，他还需要想清楚几个重点定理的证明，才能够有底气得出正确的结果。

  所以这一个多月时间，乔泽几乎全身心的投入到了这项研究工作之中，甚至连一栋楼里的光刻机项目都已经不再理会。

  直到徐大江找上门来劝乔泽搬家……