第76章 临界（6 / 8）
到第三十五年五月底，引理0.2的草稿纸已经堆积到了十七页，结论却依然遥遥无期。
並不是完全没有进展。
每一天，他都能往前推进一行或者半页。
但每一天，也都有新的小问题暴露出来。
修掉这个小漏洞，前面的整个结构就要跟著进行微调。
整个证明过程，在江临眼里，已经变成了一架越来越臃肿越来越沉重的机械装置。
越往后走，推导越深，前面的每一颗数学螺栓都开始承担超出设计的重量。
稍微一点风吹草动，整个证明体系都会发出危险的吱呀声。
这大概就是现代数学严格证明的常態。
那些写在教科书上光鲜亮丽的定理，背后全都是这种像泥瓦匠一样反覆涂抹修补的脏活累活。
进入六月，进展更慢了。
引理 0.2 勉强推进到了第二十四页。
但他对这份草稿的態度，从最初的期待变成了深深的不满。
甚至是厌恶。
有些步骤，从逻辑上看確实能成立。
通过各种精妙的数学技巧，通过硬凑出来的插值不等式，结论勉强能接上。
但是，它不对。
它不像从物理图像里自然生长出来的东西。
太生硬了。
就像是他为了强行渡河，而在泥沼里硬生生搭建起来的脚手架。
脚手架也许能用，也许能让他把这篇论文水过去。
但江临不信任这种证明。
一个真正坚实的数学证明，不应该是这样的。
它应该像一块打磨好的水晶，让人透过数学的符號，清清楚楚地看见背后的物理结构。
不是只看见繁复的技巧和令人眼花繚乱的常数控制。
如果数学和物理在这里脱节了，那这个定理在现实世界里就是不堪一击的。
第三十五年六月的整整一周，江临停下了。
不写了，不读论文了，也不去跑那些令人掉头髮的验证脚本。
每天，他只做最基础的生存维持。
起床，吃土豆，穿上防护服去外面巡检风机二號的轴承。 ↑返回顶部↑
並不是完全没有进展。
每一天，他都能往前推进一行或者半页。
但每一天，也都有新的小问题暴露出来。
修掉这个小漏洞，前面的整个结构就要跟著进行微调。
整个证明过程，在江临眼里，已经变成了一架越来越臃肿越来越沉重的机械装置。
越往后走，推导越深，前面的每一颗数学螺栓都开始承担超出设计的重量。
稍微一点风吹草动，整个证明体系都会发出危险的吱呀声。
这大概就是现代数学严格证明的常態。
那些写在教科书上光鲜亮丽的定理，背后全都是这种像泥瓦匠一样反覆涂抹修补的脏活累活。
进入六月，进展更慢了。
引理 0.2 勉强推进到了第二十四页。
但他对这份草稿的態度，从最初的期待变成了深深的不满。
甚至是厌恶。
有些步骤，从逻辑上看確实能成立。
通过各种精妙的数学技巧，通过硬凑出来的插值不等式，结论勉强能接上。
但是，它不对。
它不像从物理图像里自然生长出来的东西。
太生硬了。
就像是他为了强行渡河，而在泥沼里硬生生搭建起来的脚手架。
脚手架也许能用，也许能让他把这篇论文水过去。
但江临不信任这种证明。
一个真正坚实的数学证明，不应该是这样的。
它应该像一块打磨好的水晶，让人透过数学的符號，清清楚楚地看见背后的物理结构。
不是只看见繁复的技巧和令人眼花繚乱的常数控制。
如果数学和物理在这里脱节了，那这个定理在现实世界里就是不堪一击的。
第三十五年六月的整整一周，江临停下了。
不写了，不读论文了，也不去跑那些令人掉头髮的验证脚本。
每天，他只做最基础的生存维持。
起床，吃土豆，穿上防护服去外面巡检风机二號的轴承。 ↑返回顶部↑