学霸从改变开始
作者:一白化贝 | 分类:都市 | 字数:500万
本书由顶点小说签约发行,版权所有侵权必究
第502章 哥猜的正确打开方式
第502章 哥猜的正确打开方式
轻轻滑动鼠标,陈舟点击左键。
但很可惜,页面卡住了,好一会都没跳转过来。
想了想,陈舟重新又打开了一个页面。
将自己已完成的论文,进行了上传。
然后,投稿。
“这个预印本网站e-Print arXiv实在太卡了,我还是先把哥猜的证明投稿到《数学年刊》吧,回过头来再看看能不能上次到这个网站……”
这样想着的陈舟,按照《数学年刊》的网站要求,完成了哥猜证明论文的投稿。
只不过,当他回过头来看时,e-Print arXiv网站还在那卡着。
哈洛德·贺欧夫各特第三篇论文的威力,经过了这么几天的消化,仍是丝毫未减。
又等了一会,陈舟实在没耐心了,他便把网页在那挂着,自个拿着手机,回到了床上。
他竟然真的发现了论文中的缺陷!
那个消息的提示音,就没停过……
当然,这个缺陷,还不能小才行。
这也就有了后来,陈舟先进行投稿,再刷新e-Print arXiv网站的操作。
怎么平常还算流畅的网站,今天会这么卡?
整个春季到夏季,怀尔斯和泰勒一直在工作,甚至常常在深夜里,通过电话进行长时间讨论。
等到登上去之后,他立马就明白了。
就拿怀尔斯当初证明费马猜想来说。
也不可能有什么“岩泽理论”,能够拯救这篇论文。
每当他们遇到一些无法理解的论证时,便会给怀尔斯发邮件。
于是,陈舟暂时放下了自己打算上传的论文,转而开始搜索哈洛德·贺欧夫各特所上传的第三篇论文。
陈舟也体验了一把那种消息刷屏的感觉。
陈舟倒没有一一回复网友们的关心,或者质问,或者谩骂。
回不去的话,就直接趴在书桌上睡一会。
但当他着手修复缺陷时,逻辑框架的碎片,瞬间开始脱落。
只是很可惜,也很无奈。
“岩泽理论”原本是用来证明另一个猜想的工具,而此刻,怀尔斯用它彻底弥补了数学逻辑框架里的那个致命缺陷。
把那个已经再次厚起来的错题集,变得薄一些。
也因此,陈舟才会想着继续把自己证明哥猜的论文,发到预印本网站e-Print arXiv上。
即使那会的陈舟,已经熬过一个通宵了。
但是,直到1994年9月,迈过了春夏两季的他们,仍然没有任何进展。
错题集上,不仅记录了陈舟所验证的错误,更是增厚了许多。
整个数学界,乃至数学界之外的人,都沉浸在哈洛德·贺欧夫各特的第三篇论文之中。
如果他没有像陈舟这样选择性的“失联闭关”,那么他是很有可能受到外界干扰的。
在进一步研究后,怀尔斯发现,这个问题是数学逻辑框架中的一个缺陷!
起初,怀尔斯认为简单的修复,应该是可行的。
这个预印本网站e-Print arXiv,始终在卡着。
这也是那晚开着视频,杨依依却没有打断陈舟,反而陪着他研究到半夜的原因。
说白了,就是这个数学逻辑结构,一旦忽视了,那分布解构法也就不存在了。
陈舟微微摇了摇头,但却没有去关闭电脑,而是决定再等一会。
此后,陈舟经过短暂的休息过,就采取了完全的闭关模式。
将全部的精力,都放在了哥德巴赫猜想最后的攻坚战上面。
躺在床上的陈舟,又瞥了一眼电脑屏幕。
通过对诺特发来的手稿资料的研究,陈舟意外找到了那临门一脚的灵感。
只不过,上帝在怀尔斯向世界承认失败的前一刻,将幸运降临给了他。
怀尔斯仍然完成了费马大定理的证明,也经受住了数学界的检查和验证。
但那又怎么样?
在陈舟寻找到那转瞬即逝的灵感时,他早就不在乎这些了。
另一个就是,避免受到外界的打扰。
代数女王的手稿,为他带来了好运。
陈舟不禁扶额,他的手机关机,聊天软件全部断开,再加上外界疯传的消息,估计得急疯不少人。
其中一位,是普林斯顿大学的数学家尼克。
也只有完成之后,刚才伸懒腰的那会,陈舟才猛然感觉到好累。
最终,怀尔斯在好友的劝说下,邀请了他以前的学生,已经成为剑桥大学著名数论学家的泰勒,一起修复论文中的缺陷。
数学家们也开始要求他公开论文原稿,如果存在错误,同行们寄希望于某个人能魔术般地,看清并修复这些缺陷。
而且不知道什么时候,对方就能够把哥德巴赫猜想完全解决。
而哈洛德·贺欧夫各特在自己的论文中,却忽视了分布解构法中的一个最基本的数学逻辑问题。
电脑屏幕一片空白,还是没有刷新出来。
只不过,怀尔斯不准备让他人,轻易攫取这份荣誉。
心想这次是真的做无用功了,彻底完了……
在时隔两年之久的1995年5月,他们在《数学年刊》上发布了集合所有工作的两篇论文,包括最终的证明,以及附带的讨论,一共长达130页。
而且在陈舟的角度来看,这个缺陷,不可修复!
这样做的目的,一个是让自己回到那种最初的状态,好全力去修复这个缺陷。
但现在,验证完这一致命缺陷的陈舟,已经掌握了绝对的主动权。
直到今天,陈舟终于完成了哥德巴赫猜想的证明!
也完成了整个长达101页的证明论文!
他们也从最初的“局部化处理”,尝试对怀尔斯不完备证明中使用的方法,进行小的改良,从而修正错误。
然而,直到1993年12月,距剑桥演讲已经过去了6个月的时间,怀尔斯也没能修复这个缺陷。
难道自己没日没夜拼出来的研究成果,还是晚了吗?
既然分布解构法都不存在了,那这证明从何而来?
陈舟想了想,分别回复了这些人。
也正是凭借着这一理论,怀尔斯和泰勒很快就在几个星期内,修复了论文中的漏洞。
这篇论文的结果,也确实写着证明了哥德巴赫猜想成立。
一开机,他就听到了一连串的音效声响起。
可是,一旦最后验证的结果,论文里的证明有缺陷的话。
怀尔斯是向数学四大期刊之一的《数学新进展》,提交了长达200页的证明的。
在确定手机消息都跳完了之后,陈舟才捡起手机,一一查看起来。
而此刻陈舟所发现的,哈洛德·贺欧夫各特在论文中的缺陷,却是无法修复和弥补的。
可不止聊天软件的消息刷屏,手机短信那个图标上的数字,也在不断的跳跃着。
同时,陈舟的心里也咯噔了一下。
在完成了哥猜的证明之后,陈舟第一时间想的,也是赶紧上传到预印本网站e-Print arXiv上。
就这样,闭关的陈舟,寻着那一丝从手稿中得到的灵感,开始了没日没夜的爆肝研究。
哥德巴赫猜想研究的历史上,不会有他陈舟名字。
所谓的时间观念,也早不知道被抛到了哪里。
因为这个数学逻辑结构,直接关系到的是分布解构法的核心逻辑。
如果最后验证的结果,没有问题的话。
通常,一个证明被提出之后,是必须要经过仔细的检查和验证,才可能被承认。
这时的怀尔斯,也已经准备向世界承认自己的失败了。
花了好一阵功夫,陈舟才将这第三篇论文下载下来。
怀尔斯立马意识到,这不只是一个浅显简单的失误,它甚至可能超出一个可修复缺陷的范畴!
如果这真的是一道裂缝,一个无法修补的缺陷,那将使得整个大定理的证明,崩塌殆尽!
只不过,即使是重新回到了最初的那种状态,怀尔斯一时也无法完成论文中缺陷的修复。
随即,陈舟便打开论文,看了起来。
所以在登陆网站时,他还很纳闷。
由此可见,越是重大的证明,所需要经受的检查和验证,也越是严谨。
因为随着时间的推移,人们的想法已经变成了,怀尔斯必须要证明费马大定理,如果不证明出来,那他必然将会有大麻烦。
与外界处在暂时的失联状态。
这会的陈舟,是并不知道哈洛德·贺欧夫各特已经上传了第三篇论文的。
毕竟,这个课题不同以往,是有着直接竞争者的。
毕竟,数学是一门发展数千年的学科,如果让错误的证明,成为砖瓦,那这门学科的千年大厦,说不定哪天就倒了。
这篇论文确实是哈洛德·贺欧夫各特的最终论文。
他还特意又重新检查,并且验证了数遍。
那陈舟确确实实,就是输了。
大概率还比自己要快上一些。
躺在床上的陈舟,心情还算不错。
所以,陈舟在扫完关键词和摘要时,只感觉心里哇凉哇凉的。
这也从侧面说明了,就算是陈舟自己,对于哈洛德·贺欧夫各特论文中,运用分布解构法时所具有的缺陷,也是没能修复的。
他和同事一起,花了两个月时间,仔细检查了所负责部分的每个逻辑环节。
他只想通过自己的方式,去解决哥猜这个横亘了近三百年的难题。
当然,陈舟为了确定不是自己一时激动,把验证方法搞错了。
在陈舟的眼里,脑海里,除了哥德巴赫猜想的内容,再无其他。
轻叹了口气,陈舟准备验证这篇论文中的内容。
当然,那写着“99+”的微博,在尘封了这么久之后,也被陈舟打开了。
那陈舟的机会,也就来了。
几乎所有有他联系方式的人,都给他发了消息。
不管怎么说,这都是困扰数学界数百年的难题啊!
但是话又说回来,如果不是哈洛德·贺欧夫各特的心急,现在的情况,到底如何,谁也不知道。
总得让大家看看哥猜的正确打开方式吧?
而且自己这么长时间没有发过声,这会怎么着也得站出来一下吧?
但到了8月底,怀尔斯对一个问题的解释,却无法说服两位审稿人。
而自己的研究,很可能变得毫无价值。
当时从概率论、正态分布等等方面入手,结合筛法和圆法等解析数论的数学工具,最终才创造出分布解构法。
不过,对于怀尔斯来说,虽然花费了很长的时间,这个过程也是惊心动魄的,但这终归是一个可修复的缺陷。
他只想将最终的答案,书写在自己的草稿纸上。
因为这个缺陷,来自于分布解构法!
是陈舟最为熟悉的内容!
询问他的情况,以及哥猜证明的情况。
怀尔斯决定最后再检查一次,他最初证明费马猜想所使用的方法和结构。
他的证明,是被数学界所承认的。
毕竟,先前那连续的两篇论文,已经将这件事抬到了一个非比寻常的高度。
怀尔斯就像陈舟那样,开启了证明前的“闭关”模式。
看着电脑上的论文,陈舟顶着严重黑眼圈的眼睛,愈发显得没有了神采。
他试图确切地找出那个数学逻辑框架不能奏效的原因,至少失败也得让他失败的明明白白才行。
发展到了“扩大范围,撒张更大的网,来找寻其他的方法”的情况。
也有可能不是哈洛德·贺欧夫各特忽视了这一数学逻辑结构。
也就是在这种情况下,突然之间,完全出乎意料的,怀尔斯有了一个难以置信的发现。
这会,陈舟的手机也已经开机。
同时,错题集这一神器,也被陈舟巧妙的运用了一下。
而怀尔斯会及时回复邮件,澄清问题。
等了好一会,刷屏的消息才渐渐歇了下来。
虽然前面有一个领先自己半步的数学家。
只是如陈舟所说的,他太心急了。
他在曾经失败的数学方法中,找到了三年前自己放弃的方法,也就是“岩泽理论”。
这个数学界等待了几个世纪的证明,在他的身后,摇摇欲坠。
实在困了,能回床上,就回床上。
这也是他现在唯一翻盘的机会了。
这个数学逻辑结构,远远比怀尔斯碰到的还要命。
也因为时间拖得太长,最终审稿无法完成,外界关于怀尔斯根本没有证明费马大定理的流言,开始流传开来。
先把这个坑给占好了再说。
随着陈舟对论文验证的推进,他原本跌到谷底的心,又逐渐站了起来。
也就是手机关机,聊天软件全部断开。
醒了之后,再继续。
分布解构法的诞生,源于陈舟证明克拉梅尔定理。
该期刊的编辑,随后便将这份手稿分发给了6位审稿人。
他只是简单更新了一条微博。
“时隔近一年,研究生的两篇论文,终于也全部完成了。哦对,有一篇是哥猜的正确打开方式。”
在陈舟发了这篇微博之后,他一转头。
正好看见刷新出来的e-Print arXiv网站……
感谢书友神农存世打赏的100起点币!
感谢书友焰红雪打赏的100起点币!
(本章完)