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