的检查和验证,才可能被承认。
就拿怀尔斯当初证明费马猜想来说。
怀尔斯是向数学四大期刊之一的《数学新进展》,提交了长达200页的证明的。
该期刊的编辑,随后便将这份手稿分发给了6位审稿人。
其中一位,是普林斯顿大学的数学家尼克。
他和同事一起,花了两个月时间,仔细检查了所负责部分的每个逻辑环节。
每当他们遇到一些无法理解的论证时,便会给怀尔斯发邮件。
而怀尔斯会及时回复邮件,澄清问题。
但到了8月底,怀尔斯对一个问题的解释,却无法说服两位审稿人。
在进一步研究后,怀尔斯发现,这个问题是数学逻辑框架中的一个缺陷!
起初,怀尔斯认为简单的修复,应该是可行的。
但当他着手修复缺陷时,逻辑框架的碎片,瞬间开始脱落。
怀尔斯立马意识到,这不只是一个浅显简单的失误,它甚至可能超出一个可修复缺陷的范畴!
如果这真的是一道裂缝,一个无法修补的缺陷,那将使得整个大定理的证明,崩塌殆尽!
然而,直到1993年12月,距剑桥演讲已经过去了6个