陈拙喝了一口咖啡,咖啡的苦涩在口腔里蔓延。
理察轻轻笑了一声,摇了摇头。
「做我们这一行的,如果对逻辑没有近乎苛刻的要求,是守不住底线的。」
窗外的街道上,一辆黄色的校车缓缓驶过,车尾的红色警示灯闪烁著,路边的行人竖起大衣的领子,抵御著逐渐变冷的秋风。
理察收回视线,目光落在桌面上那本刚才被他画过圈的数学期刊上。
他的手指在封面上轻轻敲击了两下。
「既然你从普林斯顿来,想必也是为了明天麻省理工学院的那场研討会了。」
理察抬起头,看著对面的陈拙。
「过来看看。」
陈拙端著纸杯。
「那篇关於並发调度底层架构的论文,尤其是那篇《代数底座》,你看过吗?」理察问道。
「看过几遍。」
陈拙把纸杯放在桌面上。
理察深吸了一口气,脸上的隨和褪去了几分,取而代之的是一种面对学术探討时的严肃。
「年轻人,你既然研究代数几何,那你应该清楚那篇论文里存在的问题。」
理察的双手交叉放在膝盖上,身体微微前倾。
「工程系的那几个研究员,用这个被称为常量C的截断算子,在超算上跑通了高维流形的闭环,这在应用物理和计算机工程上,確实是个值得被记录的成果。」
理察的语气很平静,没有情绪化的波动,仿佛只是在陈述客观事实。
「但是,这不符合数学的严谨性。」
理察看著陈拙,声音沉稳。
「数学的建筑,是一砖一瓦垒起来的,每一条定理,每一个过渡,都必须有严密的逻辑论证作为支撑。」
「那篇论文,在从连续物理空间向离散矩阵过渡的极值点上,出现了严重的跳跃。」
理察伸出一根手指,在半空中虚画了一条线,中间猛地停住。
「他直接拋出了一个没有微积分推导过程的常数C。」
「这就像是在盖一栋摩天大楼,在修建到第五十层的时候,设计师突然省去了一面至关重要的承重墙,他用一块临时找来的木板,强行把两端的结构搭在了一起。」
理察收回手,重新握住温热的纸杯。
「现在,大楼看起来没有塌,计算机也跑通了数据,但这並不能证明,那块木板在未来面对更极端的变量衝击时,能够承受得
…。。本站若有图片广告属于第三方接入,非本站所为,广告内容与本站无关,不代表本站立场,请谨慎阅读。
Copyright © 2020 祭司书院 All Rights Reserved.kk