只因,这不只是一次普通的学术创新,而是颠覆固有认知的突破!
会愣住,会震惊,这很正常。
恐怕……
没有哪个数学界人士会不为此激动吧?
在看完摘要后,穆长兴整个人变得更加认真起来。
第一页!
第二页!
第三页!
……
一直看到了推导系统的基本定义:
【设初始推导系统为Π?=(F?,D?,B?,R?)。】
【其中F为微分关系,D为定义域,B为边界条件集合,R为推导规则。】
【传统推导默认:T?(D?)=D?。】
【本文引入真实迭代域:D???*=Φ(D?*,B?,R?)。】
【定义域偏差:ΔD?=D?△D?*。】
……
他的瞳孔不断收缩,指尖忍不住微微发抖,身体逐渐向前倾去,整个人恨不得趴在电脑上。
看到后面,更是拿过旁边的纸和笔,自己验算了起来。
第一遍,没有找到问题。
第二遍,换了组边界条件,试图构造反例,却依旧没有找到问题。
第三遍,从缺省元的传播阶入手,最后得到的结果,依旧与这篇论文中的结论完全一致!
也就是说,他连续验证了三遍,三遍都从不同的角度切入,最终还是得出:这篇论文里的推导和结论,没有一点问题!
是完整的!
是正确的!
是无懈可击的!
验算完,他继续往后翻去:
看到了积分分部时边界项消失的案例。
看到了微分方程中默认解支唯一的案例。
看到了闭区间证明中默认端点可延拓的案例。
也看到了竞赛推导里那句被无数人习惯性使用的……
显然满足边界条件!