朱铨就这么的顺着自己的所写的证明思路,也就是刚刚那个简化猜想继续攻克。
在那个简化猜想上面继续再假定一个命题,进行渐进式层层推进:
“在假定‘戴尔’猜想不正确的情况下,那么就一定是会存在一组数,该数为非零整数ab,会使得a^u次方、b^
次方进行调解,形成一个调制解调器状的构造图形,在三维空间内成为一个空间椭圆曲线,且绝对不可能成为空间模曲线。”
在写到这里的时候,朱铨停顿了一下,众人的心顿时又悬了起来:
难道是卡壳了?
只见朱铨甩了甩自己的右手,缓解了一下手上的疲劳,又继续写道:
“如果可以同时证明这两个条件,那么就可以证明‘戴尔’猜想不成立。”
“反之,则‘戴尔’猜想成立!”
朱铨的这一个再次弱化的命题,直接是让‘戴尔’猜想的证明难度再次大大降低。
当然了,这也是建立在朱铨前面五十个白板的铺垫上形成的。
此命题一出,朱铨的证明进展飞快。
如果说之前是博尔特的百米跑速度,现在就是猎豹的捕食速度了。
朱铨已经是指明了解决猜想的方向,而根据数学的三大公理之‘两点之间,直线最短’,朱铨在方向确定的情况,只需要莽着往前冲就好了!
而对于朱铨这一个做法,华国的医学数学家已然是忍不住的叫好起来。
“牛!”
“牛b!”
“好样的!”
“这一步解决的太他娘的真精彩了!”
“朱铨着脑袋是怎么长的,怎么就这么奇思妙想呢?”
“佩服的五体投地啊!”
“谁敢说朱铨是不够专业的,那就是嘲笑我们这群人啊!”
...
而看懂这个证明的不仅仅是华国的科学家,那些在此围观的外国数学家们也是看明白了。
纵然是再怎么不愿意承认,那些国外的数学家们也得在心里面认识到一点:
这个华国的年轻人可能真的会把这个困扰了世界百年之久的‘戴尔’猜想给解决掉了。
而他们这些外国人,尤其是灯塔国的那些数学家们,光是把这个念头想一想,都觉得是那样的难以置信。
在这样的一个情景下,又是这样的一个人物,电视剧、电影都不敢这么编啊!
此时,董四海院士坐不住了,招呼着众人上前,大手一挥:“小辉,你们把设备给弄好了没?咱们趁着这时间也就别闲着了,就做一下验算吧!”
“这笔记本的算力够么?”
一个教授开口问道。
“管够!网络连接到超算上了,这就是个中转站。”
那位被叫做小辉的工程师回答道。
“咱们现在就是做做不完全验算,只需要证明一下没有绝对的漏洞。”董四海作为地位最高的几个大佬之一,号召力那是杠杠的:“剩下的详细论证,咱们回去再说。”
杜门教授也附和道:“那个详细的验算是需要顶级数学家们花费很长时间才能搞出来的,咱们现在做的是简单验算,排除明显错误。”
随着几个大佬的号召,全体华国数学家们就地开始了验证。
作为东道主,这人手在这,这设备也有,所以得天独厚。
而周围几个国外数学家见状,也加入了进来,验算工作尽然有序的推进着。
他们,想要一起见证这个注定被数学界铭记的时刻。
有了规模化的验算团队,验算的工作可以说是胖五发射速度了。
董四海道:“公式一,过!”
杜门道:“公式二,过!”
袁东道:“公式三,过!”
...
一个青年的秃顶数学见道:“公式十九,过!”
...
“注意了,这个公式的证明验算需要‘三合一’的验算,即逻辑运算一次、反推运算一次,联合运算一次,只有三个都成立了,才算是成立。”
董四海再次强调了一个验算的要求。
众人道:“知道了!”
随着一声声‘过’、‘过了’、‘成立’、‘符合’...声音响起,大家心中都不由的为之振奋。
大家都是数学家,在数学这块,大家都是知道的,很多猛地一看确实能行的公式,是禁不起详细验算的。
所以,这也就是为什么在很多猜想解开后,需要众多的相关数学家进行一次或者多次的庞大且时间线拉的足够长的论证过程,找出隐藏在这其中的错误和漏洞。
因为一旦有一个地方出了问题,那么就证明了下面的论证无效。
后面论证的无论多么惊艳也没有用!
数学需要的是严谨,这也就意味着差一点,一丁点儿都不行的。
并且,有的时候,为了解决验算时数学家遇到的不理解之处,那个‘证明’猜想的数学家还得负责答疑解惑。
如果不能完美的解释,让至少三分之二的权威数学家们认同,那么也视同为无效论证。
朱铨已经是向着最后的那一步发起冲击,华国的人自然是不希望朱铨失败的,担心朱铨前面出现纰漏,导致没有成功,那就惨了。
推进一步,那也终究是推进一步罢了!
最后数学史上最辉煌的当属最后解决猜想,将其变为定理的人,其他的贡献者,唯有名字流传。
但事迹,一带而过,哪里比得上那位集大成者的一页纸描述呢?!
功败垂成,这是万万需要避免的。
喜欢巨星从主持人大赛开始请大家收藏:(m.shudai.cc),书呆网更新速度最快。