第425章 此陈非彼陈
在2012年到2013年,秘鲁数学家哈洛德·贺欧夫各特发表了两篇论文,宣布彻底证明了弱哥德巴赫猜想。
而后,贺欧夫各特的同事,也用计算机验证了这一证明过程。
所以,由强哥德巴赫猜想而来的弱哥德巴赫猜想,最终还是先一步被解决了。
后来,因为现金数学奖,已经不使用“1也是素数”这个约定。
原初猜想的陈述,也就变为了,任一大于5的整数,都可写成三个质数之和。
至于,现如今常见的猜想陈述,则是欧拉在给哥德巴赫的回信中,所提出的等价版本。
虽然在2002年时,有人做出了点东西。
但是,很难说是实质性的进展。
至于弱哥德巴赫猜想被证明的,相对应的成果,并没有被平移应用到强哥德巴赫猜想上。
关于这一点,陈舟就记得陶哲轩好像就说过。
研究弱哥德巴赫猜想的一个基本技术,也就是hardy-littlewood和vinogradov的方法。
是不太可能可以用到强哥德巴赫猜想中的。
强哥德巴赫猜想的研究,基本限定在解析数论这个范畴内。
陈舟也研究过弱哥德巴赫猜想证明的方法,包括那一个基本技术。
他还是蛮赞成陶哲轩的观点的。
这也是强哥德巴赫猜想难的原因。
一方面是大家似乎找不到,任何新的工具。
另一方面是,目前看起来,它好像和其它数学领域的链接,十分微弱。
很难做到借力打力。
相对的,对于黎曼猜想,差不多每过几年,就有些新的发现。
而且,这些发现,有的是从算子理论出发的,有些是基于非交换几何的,有些倒也还是基于解析数论的。
并且,时不时的还有一些数学家,会兴奋的宣告自己证明了黎曼猜想。
这样对比之下,其实,就造成了一个哥德巴赫猜想研究的困境。
那就是,真的致力于做它的数学家,真的不多。
数学研究,包括物理研究,其实也都是吃青春饭的。
大多的数学成果和物理成果,都是在研究者年轻时,提出来的。
所以,对于哥猜这样一个难出成果的数学猜想。
大部分数学家,是不愿意走这条孤独的,耗费青春的修罗之路的。
说起来,还有一个很尴尬的原因是。
研究哥猜的人,在逐渐减少之后。
出去参加一个学术会议,你都会发现,没有人可以和你讨论想法的那种。
当然,陈舟是敢于去走这样一条孤独的修罗之路的。
对于他而言,先前的克拉梅尔猜想,不也被称为“没有人能接近证明”吗?
可最后,不还是被他变成了克拉梅尔定理?
那个号称素数间隔问题里,最重要的两大猜想之一的杰波夫猜想,不也同样被他证明了?
而两大猜想的另一个,孪生素数猜想,虽然不是他证明的。
可陶哲轩和张亿唐,是用的他的分布解构法呀?
约等于是间接证明嘛……
所以,陈舟有信心,在哥猜的路上,看到不一样的风景。
而且,近几十年的时间,哥猜也寂寞的太久了。
陈舟必须让世界重新认识这个,令华国人魂牵梦萦的哥德巴赫猜想。
至于所谓的,现有的工具,无法解决哥猜这个问题。
必须引入某种革命性的新想法,才有可能解决哥猜。
对于陈舟来说,也不是难事。
分布解构法所取得的良好效果,是很有可能从克拉梅尔定理、杰波夫定理以及孪生素数定理上面,平移到哥德巴赫猜想上的。
不管怎么说,陈舟现在越发觉得,哥猜这个只是自己感觉差不多到时候了,而选为课题的数学猜想。
其实具有更加重大的意义。
也不管陈舟的信心,最终能够解决哥猜。
可万一解决了呢?
那是不是可以说,即使很多人不感兴趣,不愿意为之耗费时间的数学难题。
其实也有不一样的风景?
是不是意味着,陈舟有可能改变一些人的想法?
或许会对现在的数学界,造成一些微妙的影响。
收回思绪,陈舟在刚才所划得横线上方,开始写到:
【任一充分大的偶数,都可以表示成为一个素因子个数不超过a个的数,与另一个素因子个数不超过b个的数之和,记作“a+b”。】
这就是关于强哥德巴赫猜想的命题,也就是哥猜的命题。
而陈老先生所证明的“1+2”成立,也就是“任一充分大的偶数,都可以表示成两个数的和,其中一个是素数,另一可能为素数,可能是两个素数的乘积”。
这也是陈老先生把大筛法运用到极致,所得到的结果。
这一结果被称为“陈氏定理”。
看着自己写下的“陈氏定理”四个字。
陈舟没来由的笑了一下。
此陈非彼陈。
也就是,任一大于2的偶数,都可写成两个质数之和。
这里面的等价转换,就很简单了。
至于“强弱之分”,则是“强哥德巴赫猜想”成立的话,那“弱哥德巴赫猜想”必然成立。
相对的,两者的难度,也不一样。
横线下方,陈舟写了“弱哥德巴赫猜想”七个字。
哥德巴赫猜想最初指的是,任一大于2的整数,都可以写成三个质数之和。
从n>5开始考虑。
当n为偶数,n=2+(n-2),n-2也是偶数,可以分解为两个质数的和。
对于数学猜想的研究,猜想的表述,猜想的公式化。
然后,陈舟继续在草稿纸上,写了一些关于弱哥德巴赫猜想的内容。
所谓的“弱哥德巴赫猜想”,是从“强哥德巴赫猜想”推出来的。
其陈述为“任一大于7的奇数,都可以写成三个质数之和”。
这也被称为“强哥德巴赫猜想”,或者“关于偶数的哥德巴赫猜想”。
陈舟边思考,边在草稿纸上,记录一些必要的内容。
而强哥德巴赫猜想的最新研究成果,则还停留在1973年,陈老先生所发表的关于“1+2”的详细证明上。
在这之后,强哥德巴赫猜想就几乎没有进展。
是最开始,也是最重要的一步。
习惯性的拿笔点了草稿纸一下,陈舟在草稿纸中间空了一截,然后划了一条横线。
当n为奇数,n=3+(n-3),n-3也是偶数,可以分解为两个质数的和。
其他人正在读 :【赤心巡天】【凡人修仙:从废灵根开始】【凌皓】【娱乐:求求了,国家队别欺负人了】【我的1992在延续】【制符人】【军婚七零:锦鲤附体,拐个军官去领证】【从研发易筋经开始登临彼岸】【斗罗:人在绝世,赝品神灵】【诸天从小阴间开始】【职场沉浮录】【理综挂科后我被迫屠龙了】【顾命大臣】【人间第一刀】【制卡师:我的卡牌无限连锁】【从自创魂环开始的斗罗】【神农道君】【家族修仙:掌上山河】【遥远的救世主】【福晋】【我能看到商品价格曲线】【成人】【镇妖关】【正义的使命】【星象制卡师:从昴日星官开始】【末世:从加点开始无限进化】【四合院:我随身携带物流园】【游戏王:决斗者的奇幻冒险】【文娱之顶流艺术家】【全民星海时代】