“局部化处理”,尝试对怀尔斯不完备证明中使用的方法,进行小的改良,从而修正错误。
发展到了“扩大范围,撒张更大的网,来找寻其他的方法”的情况。
但是,直到1994年9月,迈过了春夏两季的他们,仍然没有任何进展。
这时的怀尔斯,也已经准备向世界承认自己的失败了。
只不过,上帝在怀尔斯向世界承认失败的前一刻,将幸运降临给了他。
怀尔斯决定最后再检查一次,他最初证明费马猜想所使用的方法和结构。
他试图确切地找出那个数学逻辑框架不能奏效的原因,至少失败也得让他失败的明明白白才行。
也就是在这种情况下,突然之间,完全出乎意料的,怀尔斯有了一个难以置信的发现。
他在曾经失败的数学方法中,找到了三年前自己放弃的方法,也就是“岩泽理论”。
“岩泽理论”原本是用来证明另一个猜想的工具,而此刻,怀尔斯用它彻底弥补了数学逻辑框架里的那个致命缺陷。
也正是凭借着这一理论,怀尔斯和泰勒很快就在几个星期内,修复了论文中的漏洞。
在时隔两年之久的1995年5月,他们在《数学年刊》上发布了集合所有工作的两篇论文,包括最终的证明,以及附带的讨论,一共长达130页。
由此可见,越是重大的证明,所需要经受的检查和验证,也越是严谨。
毕竟,数学是一门发展数千年的学科,如果让错误的证明,成为砖瓦,那这门学科的千年大厦,说不定哪天就倒了。
不过,对于怀尔斯来说,虽然花费了很长的时间,这个过程也是惊心动魄的,但这终归是一个可修复的缺陷。
怀尔斯仍然完成了费马大定理的证明,也经受住了数学界的检查和验证。
他的证明,是被数学界所承认的。
而此刻
本网站为网友提供小说上传储存空间平台,为网友提供在线阅读交流、txt下载,平台上的所有文学作品均来源于网友的上传
用户上传的文学作品均由网站程序自动分割展现,无人工干预,本站自身不编辑或修改网友上传的内容(请上传有合法版权的作品)
如发现本站有侵犯权利人版权内容的,请向本站投诉,一经核实,本站将立即删除相关作品并对上传人ID账号作封号处理