第502章 哥猜的正确打开方式(3 / 4)

们也从最初的“局部化处理”,尝试对怀尔斯不完备证明中使用的方法,进行小的改良,从而修正错误。

发展到了“扩大范围,撒张更大的网,来找寻其他的方法”的情况。

但是,直到1994年9月,迈过了春夏两季的他们,仍然没有任何进展。

这时的怀尔斯,也已经准备向世界承认自己的失败了。

只不过,上帝在怀尔斯向世界承认失败的前一刻,将幸运降临给了他。

怀尔斯决定最后再检查一次,他最初证明费马猜想所使用的方法和结构。

他试图确切地找出那个数学逻辑框架不能奏效的原因,至少失败也得让他失败的明明白白才行。

也就是在这种情况下,突然之间,完全出乎意料的,怀尔斯有了一个难以置信的发现。

他在曾经失败的数学方法中,找到了三年前自己放弃的方法,也就是“岩泽理论”。

“岩泽理论”原本是用来证明另一个猜想的工具,而此刻,怀尔斯用它彻底弥补了数学逻辑框架里的那个致命缺陷。

也正是凭借着这一理论,怀尔斯和泰勒很快就在几个星期内,修复了论文中的漏洞。

在时隔两年之久的1995年5月,他们在《数学年刊》上发布了集合所有工作的两篇论文,包括最终的证明,以及附带的讨论,一共长达130页。

由此可见,越是重大的证明,所需要经受的检查和验证,也越是严谨。

毕竟,数学是一门发展数千年的学科,如果让错误的证明,成为砖瓦,那这门学科的千年大厦,说不定哪天就倒了。

不过,对于怀尔斯来说,虽然花费了很长的时间,这个过程也是惊心动魄的,但这终归是一个可修复的缺陷。

怀尔斯仍然完成了费马大定理的证明,也经受住了数学界的检查和验证。

他的证明,是被数学界所承认的。

而此刻陈舟所发现的,哈洛德·贺欧夫各特在论文中的缺陷,却是无法修复和弥补的。

也不可能有什么“岩泽理论”,能够拯救这篇论文。

当然,陈舟为了确定不是自己一时激动,把验证方法搞错了。

他还特意又重新检查,并且验证了数遍。

同时,错题集这一神器,也被陈舟巧妙的运用了一下。

错题集上,不仅记录了陈舟所验证的错误,更是增厚了许多。

这也从侧面说明了,就算是陈舟自己,对于哈洛德·贺欧夫各特论文中,运用分布解构法时所具有的缺陷,也是没能修复的。

分布解构法的诞生,源于陈舟证明克拉梅尔定理。

当时从概率论、正态分布等等方面入手,结合筛法和圆法等解析数论的数学工具,最终才创造出分布解构法。

而哈洛德·贺欧夫各特在自己的论文中,却忽视了分布解构法中的一个最基本的数学逻辑问题。

这个数学逻辑结构,远远比怀尔斯碰到的还要命。

因为这个数学逻辑结构,直接关系到的是分布解构法的核心逻辑。

说白了,就是这个数学逻辑结构,一旦忽视了,那分布解构法也就不存在了。

既然分布解构法都不存在了,那这证明从何而来?

也有可能不是哈洛德·贺欧夫各特忽视了这一数学逻辑结构。

只是如陈舟所说的,他太心急了。

毕竟,先前那连续的两篇论文,已经将这件事抬到了一个非比寻常的高度。

如果他没有像陈舟这样选择性的“失联闭关”,那么他是很有可能受到外界干扰的。

不管怎么说,这都是困扰数学界数百年的难题啊!

但是话又说回来,如果不是哈洛德·贺欧夫各特的心急,现在的情况,到底如何,谁也不