第337章 学术视野 四(加更 一 )(1/2)
请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能,避免出现内容无法显示或者段落错乱。
(补上之前的礼物加更1/2)
徐辰重新回到了那间堆满了手稿和文献的访问学者公寓。
他看了看日历,此时已经是七月初了。
距离三月中旬时定下的“半年之约”,满打满算也就剩下两个多月的时间了。
九月中旬,他必须拿出一个具有决定性意义的阶段性成果,向全世界的数学家展示这条路的终点到底在哪。
时间虽然紧迫,但徐辰的心境却比一个月前卡在“极值控制”时要沉稳得多。
……
徐辰走到白板前,拿起马克笔,开始重新审视整个“概率圆法”的宏观推导路径。
在这个十分复杂的框架里,概率论的高斯自由场和圆法里的哈代-李特尔伍德积分並不是两个独立分割的步骤。
绝不是说你把概率论的误差项全部算完了,再扔给圆法去收尾。
真实的推导过程,是一种非常折磨人的“非线性叠代”。
你必须先在某一个特定的数值区间內,用概率论(比如二维gff)给出一个初步的误差估计;然后,把这个估计值扔进圆法的“大弧”和“小弧”积分中去跑一遍。
跑完之后,你会发现圆法的边界条件和概率论的初始假设產生了衝突。於是,你必须根据圆法反馈回来的拓扑形变,退回去重新调整概率论的参数;调整完概率论,再扔进圆法里重新积分……
左脚踩右脚,右脚再踩左脚。
两者必须在相当庞大的计算量中不断叠代、互相妥协,直到最终在某个狭窄的数学空间里达成完美的“收敛”。
……
这种叠代的计算量,简直大得令人髮指!更要命的是,如果要完整证明哥德巴赫猜想,你需要把这种叠代,覆盖到从极小数字到无穷大的所有区间!
“如果按照这种方式硬算下去……”
徐辰看著白板上那密密麻麻的推导链条,摇了摇头。
“就算我把大脑的lv.3算力压榨到极限,连轴转上五年,估计也算不完。”
既然直接硬算行不通,那就必须改变策略。
徐辰停下了手中的笔,目光渐渐变得深邃起来。他意识到,自己似乎陷入了一个属於“做题家”的思维误区——试图一个人包揽从打地基到盖楼顶的所有活儿。
在现代数学的框架里,有一种操作,叫做“可解性证明”,或者叫“存在性证明”。
对於普通大眾来说,解数学题就是“算出那个確切的答案”。但在真正的顶尖数学界,“算出答案”往往只是留给超级计算机或苦力博士生的体力活。
而证明“这个问题必定存在一个解”,才是真正属於上帝视角的宗师手笔!
……
纵观整个数学史,那些真正开宗立派的绝顶天才,全都是玩“可解性”的大师。
本章未完,点击下一页继续阅读。