他们的信心:德国数学家库默尔看出这两个法国人正在走向同一条逻辑的死胡同。
在让两位数学家感到羞耻的同时,库默尔也证明了费马大定理的完整证明是当时的数学方法不可能实现的。这是数学逻辑的光辉一页,也是对整整一代数学家的巨大打击。
20世纪,数学开始转向各种不同的研究领域并取得非凡进步。1908年,德国实业家沃尔夫斯凯尔为未来可能攻克费马大定理的人设立了奖金,但是,一位不出名的数学家却似乎毁灭了大家的希望:因为这个问题是如此困难,提出不完备性定理的哥德尔甚至怀疑这是一个在现有算术公理体系中无法解决的问题。
尽管有哥德尔致命的警告,尽管经受了三个世纪壮烈的失败,但一些数学家仍然冒着白白浪费生命的风险,继续投身于这个问题。二战后随着计算机的出现,大量的计算已不再成为问题。借助计算机的帮助,数学家们对500以内,然后在1000以内,再是10000以内的值证明了费马大定理,到80年代,这个范围提高到25000,然后是400万以内。
但是,这种成功仅仅是表面的,即使那个范围再提高,也永远不能证明到无穷,不能宣称证明了整个定理。破案似乎遥遥无期。
1963年,年仅十岁的安德鲁-怀尔斯在一本名叫《大问题》的书中邂逅费马大定理,便知道自己永远不会放弃它,必须解决它。70年代,他正在剑桥大学研究椭
第十六章 安德鲁-怀尔斯(3/6)