第520章（第1页）
华夏，西林工大，新校区，西林数学研究所大楼。
从全国召集来的高能物理学专家已经结束了考察，打道回府了。本来预计是需要三天时间的，但最终只呆了两天，便完成了所有工作。
这当然不能简单的归咎于为效率。主要还是归功于豆豆把前期工作做得太过扎实。理论这块有爱德华·威腾这位社牛理论大师做讲解，不管是两天还是三天，都不太可能挑出什么毛病。
自然学科跟社会人文学科不一样的地方就在于，不管是证明还是证伪，都需要严谨的推导或者试验过程。
如果涉及到数学理论，想要证伪往往首先要弄懂对方的理论到底说了什么。对于这些高能物理学家来说，这显然是个不可能完成的任务。起码三天之内不可能完成。
不过让大家都决定提前一天急着赶回去的，还真不只是以上原因。在从已经跟数研所合作的第三方公司拿到了一些已经做出的基本测试数据之后，许多人动了心思。
动辄数百亿的高能粒子对撞机，需要经过严格论证，毕竟一旦决定要开始建造，就必须要拿出成果，总不能那多钱砸进去，水漂都没溅起一个。那可没人担得起责任。
但如果预算能控制在二、三十亿，就能拥有设计参数跟目前世界最先进强子对撞机差不多的科研设备，那还真就有得说了。
西林工大物理学院先搞出第一台，问题不大。京城的高能所这边也申请一台不过分吧？
就算是这种大科学设备多了浪费，那退三步说话，京城这么多家高能物理研究单位大家一起申请搞出一台总不过分了。比如华科院高能所跟华清、燕北的实验室一起申请，在京城搞出这么一台设备，大家其实也能接受。
提前回去也是为了赶紧做些准备。毕竟想从申请几十亿的资金也不是那么简单的事情。尤其是这种需要竞争的事情。慢人一步可能就要慢个十几二十年。
这种大科学设备不可能重复建设太多，整个华夏最多有个两台就差不多足够了。除非工业基础更发达些，让造价继续往下降个百分之九十。这难度自然是极大的，起码就目前的情况来说，这种事不能赌。
所以大家都回去抢时间了。
外人走了，但大楼内这两天却似乎更热闹了。
只要每天早上开讨论会的时间，八楼跟七楼几个办公室开着窗子，楼下就能听到楼上叽里呱啦的争吵声。
能在数研所上班的研究员们，英语肯定是过关的。毕竟对于他们这代人来说，读研的时候乔泽还在读初中，《数理新发现》这种华夏在世界学术界都能大放异彩的准自然科学顶刊都还是没影的事情。
不掌握英语就根本没法阅读那些重点期刊文献。更别提这些人大都有出国交流的经历。日常用英语交流沟通不成问题。
只是楼上争吵的两人情绪往往比较激动，语速极快，哪怕声音清晰入耳，能轻易辨认出是爱德华·威腾跟彼得·舒尔茨的声音，可实在听不太懂两人到底在吵些什么。
但只要楼上传来争吵声，总会有人到附近的窗前去凑凑热闹。
哪怕听不太清楚，但见识一下平日里总是温文尔雅的大佬们如何吵架，顺便脑补一下上头两人面红耳赤的模样，还是挺有意思的。算是给枯燥的研究生活添加些不一样的乐趣。
对于就在八楼的乔泽来说，他也感觉挺头疼的。
两人最近喜欢吵架自然不会是有什么私人恩怨。事实上爱德华·威腾跟彼得·舒尔茨关系一直都不错，矛盾的焦点还是因为暂时并没有对外公开的Q理论。
争论的焦点则是关于Q理论中，对于量子多维时空拓扑网络基本构成单元及其数学表示概念的不同看法。
基本构成单元其实没什么好争论的。无非是顶点，边，面跟体。顶点代表时空网络中的基本时空点，点的性质由量子态构成。根据量子态性质，边分为有向边跟无向边，连接着顶点。
由边构成的闭合区域就是面，涉及到更高维度的量子关联则由体来表示。
这一块是没什么问题的。
但涉及到数学表示，争议就来了。
从图的表示，邻接矩阵，到链群，同调群，在到简并度，双方的认识明显有着极大差异。
简单来说，彼得·舒尔茨一直在做极为严谨的论证工作，以让所有定义跟表示都具备精确性跟一致性。这显然是个难度很大的工作，比如使用同调群来表示量子网络中的相互作用，就需要提供一个严谨的数学框架，来准确描述其拓扑性质。
但爱德华·威腾认为现阶段根本不需要这种审慎的理论，只需要做一个计算模型，取近似值的方法，就能得到足够精确的结果来得出想要的结论。
至于完整的数学证明过程，完全可以留到以后再说。每个阶段考虑每个阶段该考虑的事情就行了。
显然这个方法更具操作性，但在彼得·舒尔茨看来这个想法是荒谬的。取近似值的方法，很容易就会忽略掉许多可能极为重要的拓扑性质，而且并不会对数学上的定义有任何帮助。
在乔泽看来，两人的想法其实都也有些道理，不过他当然是更倾向于彼得·舒尔茨的。毕竟能有严谨的证明过程，本就更符合他一贯的做法。