依然聚焦在赵奕的费马猜想证明上。
赵奕的证明比怀尔斯的简单许多,但实际上,一系列的证明过程,再包括之前发表的‘简化费马猜想’成果,加在一起正常发表论文,也轻松超过六十页。
普通数学学者想理解是很困难的,但一些的顶级的数学家,尤其是对拓扑学有研究的,理解起来就容易许多。
水木大学的报告会结束仅仅两天,就其他顶级的数学家站出来,表态赞叹赵奕的证明过程‘很精致’。
那是佛罗里达大学的汤姆森。
汤姆森和赵奕见过两次,偶尔也会交流数学研究,也能算的上是熟悉了,他对拓扑学有一定了解,仔细听了赵奕的报告讲解,又拿到一份证明论文后,他花费了几个小时,差不多就理解了内容。
之后他对细节的论证结果进行了演算。
这是报告会中没有的。
在费马猜想的报告会中,赵奕谈到一些简单的逻辑推理,或者是一些运算、变换步骤,都是直接一带而过的,简单的逻辑推理不用多解释,能明白的人瞬间就能理解,不能明白的人讲解也没意义,运算上来说则是太复杂,只是说明步骤都需要很多时间,就干脆直接给出了结论。
如果给出的结论是错误的,自然就说明赵奕的证明是有问题的,对细节进行验算还是很有必要的。
这个过程很耗费时间。
汤姆森用了一天半的时间,才完成了一半儿的运算,有些公式变换、函数代换的部分,因为没有详细的解答步骤,还需要自己去推断、思考,就干脆暂时选择放弃。
不过验算进行到这里,发现能简单算出来的,都是完全正确的,他也可以暂时得出结论。
“证明是严谨而精致的。”
汤姆森接受采访时说道,“我之所以用‘精致’来形容,是因为证明过程逻辑清晰,没有任何多余的步骤,纵观整个过程,每一个部分的目的都很明确的。”
“虽然还没有完成所有的演算,但我相信是正确的。”
“恭喜赵奕!”
“他也是我的朋友,我很高兴看到他又完成了一项最顶级的数学成果!”
汤姆森发表看法就是个开端。
之后好多的数学家都纷纷发表看法,表现说没有在证明过程中看到问题,并认为证明是完全正确的。
但他们不敢百分百确定。
因为未讲解的计算内容里,有些还是很复杂的,他们并没有全部验算出来,只能确定过程的缜密。
数学证明来说,到这里就可以确定是正确的了,计算的内容确实可能出错,但大致上没有问题,最少说明所采用的方法是正确的,是能够解决问题的。
就算中途有个计算出错,也只是个小错误,只要方法是正确的,以同样的方法去重新做计算,就能够得到最终的答案。
当好几个顶级数学家、学者纷纷发
请收藏:https://m.chusi8.cc
(温馨提示:请关闭畅读或阅读模式,否则内容无法正常显示)