第(2/3)页 看着电脑上的论文,陈舟顶着严重黑眼圈的眼睛,愈发显得没有了神采。 轻叹了口气,陈舟准备验证这篇论文中的内容。 这也是他现在唯一翻盘的机会了。 如果最后验证的结果,没有问题的话。 那陈舟确确实实,就是输了。 哥德巴赫猜想研究的历史上,不会有他陈舟名字。 可是,一旦最后验证的结果,论文里的证明有缺陷的话。 那陈舟的机会,也就来了。 当然,这个缺陷,还不能小才行。 随着陈舟对论文验证的推进,他原本跌到谷底的心,又逐渐站了起来。 他竟然真的发现了论文中的缺陷! 而且在陈舟的角度来看,这个缺陷,不可修复! 因为这个缺陷,来自于分布解构法! 是陈舟最为熟悉的内容! 通常,一个证明被提出之后,是必须要经过仔细的检查和验证,才可能被承认。 就拿怀尔斯当初证明费马猜想来说。 怀尔斯是向数学四大期刊之一的《数学新进展》,提交了长达200页的证明的。 该期刊的编辑,随后便将这份手稿分发给了6位审稿人。 其中一位,是普林斯顿大学的数学家尼克。 他和同事一起,花了两个月时间,仔细检查了所负责部分的每个逻辑环节。 每当他们遇到一些无法理解的论证时,便会给怀尔斯发邮件。 而怀尔斯会及时回复邮件,澄清问题。 但到了8月底,怀尔斯对一个问题的解释,却无法说服两位审稿人。 在进一步研究后,怀尔斯发现,这个问题是数学逻辑框架中的一个缺陷! 起初,怀尔斯认为简单的修复,应该是可行的。 但当他着手修复缺陷时,逻辑框架的碎片,瞬间开始脱落。 怀尔斯立马意识到,这不只是一个浅显简单的失误,它甚至可能超出一个可修复缺陷的范畴! 如果这真的是一道裂缝,一个无法修补的缺陷,那将使得整个大定理的证明,崩塌殆尽! 然而,直到1993年12月,距剑桥演讲已经过去了6个月的时间,怀尔斯也没能修复这个缺陷。 这个数学界等待了几个世纪的证明,在他的身后,摇摇欲坠。 也因为时间拖得太长,最终审稿无法完成,外界关于怀尔斯根本没有证明费马大定理的流言,开始流传开来。 数学家们也开始要求他公开论文原稿,如果存在错误,同行们寄希望于某个人能魔术般地,看清并修复这些缺陷。 只不过,怀尔斯不准备让他人,轻易攫取这份荣誉。 怀尔斯就像陈舟那样,开启了证明前的“闭关”模式。 这样做的目的,一个是让自己回到那种最初的状态,好全力去修复这个缺陷。 另一个就是,避免受到外界的打扰。 因为随着时间的推移,人们的想法已经变成了,怀尔斯必须要证明费马大定理,如果不证明出来,那他必然将会有大麻烦。 只不过,即使是重新回到了最初的那种状态,怀尔斯一时也无法完成论文中缺陷的修复。 最终,怀尔斯在好友的劝说下,邀请了他以前的学生,已经成为剑桥大学著名数论学家的泰勒,一起修复论文中的缺陷。 整个春季到夏季,怀尔斯和泰勒一直在工作,甚至常常在深夜里,通过电话进行长时间讨论。 他们也从最初的“局部化处理”,尝试对怀尔斯不完备证明中使用的方法,进行小的改良,从而修正错误。 发展到了“扩大范围,撒张更大的网,来找寻其他的方法”的情况。 但是,直到1994年9月,迈过了春夏两季的他们,仍然没有任何进展。 这时的怀尔斯,也已经准备向世界承认自己的失败了。 只不过,上帝在怀尔斯向世界承认失败的前一刻,将幸运降临给了他。 怀尔斯决定最后再检查一次,他最初证明费马猜想所使用的方法和结构。 他试图确切地找出那个数学逻辑框架不能奏效的原因,至少失败也得让他失败的明明白白才行。 也就是在这种情况下,突然之间,完全出乎意料的,怀尔斯有了一个难以置信的发现。 他在曾经失败的数学方法中,找到了三年前自己放弃的方法,也就是“岩泽理论”。 “岩泽理论”原本是用来证明另一个猜想的工具,而此刻,怀尔斯用它彻底弥补了数学逻辑框架里的那个致命缺陷。 也正是凭借着这一理论,怀尔斯和泰勒很快就在几个星期内,修复了论文中的漏洞。 在时隔两年之久的1995年5月,他们在《数学年刊》上发布了集合所有工作的两篇论文,包括最终的证明,以及附带的讨论,一共长达130页。 由此可见,越是重大的证明,所需要经受的检查和验证,也越是严谨。 第(2/3)页