一．前沿扫描-致远学院-上海交通大学.pdfVIP

一．前沿扫描 【数学】： 1.费马最后定理，证明可以更简单——数学家驾驭了可以通往纯数证明的领域 McLarty 来源：/artsci/phil/Proving_FLT.pdf 这个定理叫做费马最后定理，这是因为，这是费马最后一个被证明的猜想。 在1630 年，费马在丢番图的数学书边距上，写下了他能够证明任意整数组(x,y,z)都不 能满足x^n+y^n=z^n,在n 大于2 为整数时候成立。 他同样在页边上写道，他能够证明。几百年来，费马是否能证明这个定理仍在争论，但 是这个问题已经成为了数学中最具盛名的问题之一。几代数学家尝试发现证明，但都以失败 告终。 所以，当怀尔斯在1995 年取得突破后，“费马大定理的被证明令我们震惊，”麦克拉蒂 （McLarty）说道，“我们想，现在怎么办？没有新的最有名的问题了。” 麦克拉蒂是美国凯斯西保留地大学（ Case Western Reserve)哲学系教授，他擅长逻辑， 本科学位是数学。他没有给出对费马大定理的证明，但提出这个定理可以用比怀尔斯用的理 论少的多的论断来证明。 怀尔斯利用他对于数学深层次的理解以及对于其他人——包括亚历山大·格罗滕迪克 ——来给出他110 页的证明以及最终的修改。 格罗滕迪克在1960 到197