檢視怀尔斯的原始碼

{{Infobox person  
| 姓名     =   '''安德鲁·怀尔斯'''
| 外文名     =   Andrew Wiles
| 图像     =   
[[File:怀尔斯11.jpg|缩略图|center|[https://p1.ssl.qhmsg.com/dr/270_500_/t01307c954a86a090ad.jpg?size=268x190 原图链接]  [https://baike.so.com/doc/6171322-6384562.html 来自360]]]
| 图像说明 =    '''安德鲁·怀尔斯'''|center
| 出生日期 =   1953年4月11日 
| 出生地点 =   英国剑桥
| 国籍     =    英国
| 别名     =   安德鲁·外尔斯
| 职业     =   数学家
| 知名作品 =    《模椭圆曲线和费马大定理》<br> 《某些赫克代数的环论性质》
}} 

== 人物经历 ==

'''安德鲁·怀尔斯'''1953年出生在英国，父亲是一位工程学教授。
 
安德鲁·怀尔斯10岁时，就被费马大定理吸引住了，并从此选择了数学作为终身职业。

1974年，毕业于牛津大学默顿学院(Merton学院)，获数学学士学位。

1977年，在剑桥大学克莱尔学院(Clare学院)获博士学位，导师[[约翰·科茨]](John Coates)。其后任克莱尔学院初级研究员及哈佛大学助理教授。

1981年，到美国普林斯顿高等研究院任研究员。

1982年，任普林斯顿大学(Princeton University)教授;

1986年，安德鲁·怀尔斯决定向费马大定理发动冲击。他先用18个月的时间，收集了这次战斗所必要的数学工具，而他全面的估计是:接下来要做的，是可能长达10年的专心致志的努力。

1988─1990年任牛津大学皇家学会研究教授。

1989年，当选为伦敦皇家学会会员。
 
1993年6月，安德鲁·怀尔斯在英国剑桥大学牛顿研究所做了三次学术报告，在最后一次演讲结束时，他完成了对费马大定理的证明。这个消息迅速登上世界各大报纸头版的位置，在数学界更是奔走相告。《纽约时报》在头版以《终于欢呼"我发现了!"，久远的数学之谜获解》为题报道费马大定理被证明的消息。一夜之间，怀尔斯成为世界上最著名的数学家，也是唯一的数学家。

1994年以后，任普林斯顿大学欧根‧希金斯(Eugene Higins)讲座教授。

1998年，国际数学家大会在柏林召开，数学界的"诺贝尔奖"菲尔兹奖授予安德鲁·怀尔斯特别奖。

2005年7月1日，安德鲁·怀尔斯任普林斯顿大学数学系系主任。 

2005年8月28日至9月1日，到北京大学数学科学院访问。

2011年，回母校牛津大学默顿学院任教。 
==费马大定理真相==
费马大定理是整个数学界全面溃败的标志性事物，是一门数学学科无视学术规则，无视上游学科“逻辑学”和“语言学”全面警告一意孤行，刚愎自用，自取灭亡的临终遗言。

费马大定理是一个主项为集合概念的命题，也是一个二阶逻辑问题，所以是无法一次性证明的命题
1995年，国际数学界宣称费马大定理获得证明。安德鲁怀尔斯和国际数学界的证明是不能成立，因为这个证明违反了三段论公理和逻辑证明的基本要求。
'''
一，费马大定理是怎么证明的'''

1，费马大定理主项是一个集合概念

xⁿ+yⁿ=zⁿ ...(1)

对于n>2的自然数，费马说没有整数解，由于n=3， 4， 5， 。.以致无穷，当然属于集合概念，应该从n=3，4， 5，.....逐一证明，欧拉和高斯证明了n=3时的情形，费马、贝西、莱布尼茨证明了n=4时情形，勒让德、狄利克雷证明了n=5，拉梅证明了n=7，.....。

安德鲁怀尔斯和其它数学家在1995年共同完成的证明是否成立？

'''二，转换命题'''

请注意他的证明方法，他证明的是假如存在一个反例，注意，反例只有一个就够了，格哈德.弗赖

将方程（1）转换成为一个普遍概念的椭圆曲线方程：如果费马大定理是错误的，那么，至少有一个解，Aⁿ+Bⁿ=Cⁿ，经过一系列演算程序，使得这个假设解（反例）的费马方程变成

y²=x³+(Aⁿ-Bⁿ)x²+AⁿBⁿ ....(2)

他指出这里实际上是一个椭圆方程：

y²=x³+ax²+bx+c ....(3)

注意，(3)式是一个普遍概念。所有的椭圆方程都具有这个性质。

椭圆曲线是域上亏格为1的光滑射影曲线，它的(仿射)方程，通常称为维尔斯特拉斯方程，可以写成（3）式。

'''三，国际数学界错误的逻辑推理'''

看看那些所谓的数学家们是怎样推导的（费马大定理—一个困惑了世间智者358年的谜）作者：英国人西蒙.辛格。

A，费马大定理有反例则弗赖椭圆曲线方程成立。

B，弗赖椭圆方程不能模形式化（肯.黎贝1985年证明了弗赖椭圆方程不能模形式化)。

C，谷山志村猜想断言每一个椭圆方程都可以模形式化。


D，因此得出结论：弗赖方程不能成立（即原先假设的反例不能成立）

E，所以费马大定理成立。

'''四，上面的推理是错误的'''

因为，三段论：

大前提：（谷山——志村断言）每一个椭圆方程必然可以模形式化。

小前提：弗赖椭圆方程不能模形式化。(肯.黎贝证明了这个问题)

结论：（只能得出）

1)所以弗赖方程不是椭圆方程；

2)谷山志村猜想不能成立。

就是说，互相矛盾的两个前提，即大前提和小前提只能有一个正确，另外一个是错误的。不可能两个都是正确的。

肯.黎贝 定理（弗赖椭圆方程不能模形式化）与谷山志村猜想（每一个椭圆方程都可以模形式化）只能有一个是正确的，一个是错误的。

'''五，费马大定理与谷山志村猜想的关系'''

弗赖方程如果可以模形式化，谷山志村猜想与费马大定理是交叉关系；

弗赖方程不能模形式化，谷山志村猜想与费马大定理是反对关系。

就是说，弗赖方程无论是否可以模形式化，都推不出费马大定理是否成立.。


为什么？因为：

概念间交叉关系，是一种对称关系，是一种非传递关系，谷山志村猜想对与错都不能传递到费马大定理的对与错；

概念间的反对关系是一种对称关系，是一种非传递关系，谷山志村猜想对与错都不能传递到费马大定理的对与错。

概念的逻辑关系，是中国（大陆）政府历年的公务员考试内容。

'''六，国际数学界证明费马大定理违反了三段论公理'''

根据，三段论公理：

凡是对一类事物性质有所肯定，则对该类事物中的每一个分子的性质也应该有所肯定；

凡是对一类事物性质有所否定，则对该类事物中的每一个分子的性质也应该有所否定。

从概念的外延方面看，

S类包含于M类，M类包含于p类，所以，S类包含于P类；

S类包含于M类，M类与P类全异，所以，S类与P类全异。

三段论公理的客观基础就是类与类的包含关系和全异关系，是人类亿万次重复实践中总结出来的不证自明的性质。

我们用

M表示y²=x³+ax²+bx+c .即(3)式；

S 表示y²=x³+(Aⁿ-Bⁿ)x²+AⁿBⁿ . 即(2)式，

如果M具有性质P（模形式化），S却不具有性质P，得出了违反公理的结论。

也说明了谷山志村猜想证明有错误。

从费马大定理的被认可，我们看到了整个国际数学界思维混乱，缺乏基本的逻辑训练，导致了数学在错误道路上运行。总之，重大数学问题不能由几个“所谓”“大师”说了算，必须由数学家逻辑学家语言学家共同鉴定。

==给安德鲁怀尔斯审稿的数学家Gerd Faltings格尔德•法尔廷斯也是错误的==

格尔德•法尔廷斯宣称证明莫德尔猜想，获得了菲尔兹奖，由莫德尔猜想推不出全称判断的费马大定理，所以，法尔廷斯推出特称判断的结论：费马曲线，xⁿ+yⁿ=1,（n>3）上只有有限个有理点。”只有有限个有理点” ?是一个特称判断，表现形式为：“有些A是B”。而一个数学定理明确要求：“一切A是B”。

所以，法尔廷斯的结论不是一个定理，他的工作只是一个没有意义的探索，对于解决问题没有任何作用。

因为，我们首先需要知道到底“有”还是“没有”这个“有理点”，法尔廷斯也不知道，

法尔廷斯他说，我也不知道有没有有理点，如果（假定）有的话，是有限的。法尔廷斯的结论建立在预期理由上，是引入了非逻辑前提，所以，没有任何意义。预期理由是把有待证明的观点当做已经证明的定理。


==关于假定==    

（1），假定，只能用在否定结果的证明中，例如，欧几里得证明素数无穷多个。假定a成立，可以推出b，得到c，c与a矛盾，所以假定的a不能成立，得到非a。

（2），假定不能用在肯定的结论，假定a，可以推出b，得到c，c=a，或者c包含a，所以假定的a成立，这个就是预期理由的错误。

（3），为什么“假定”只能用于否定的结论，而不能用于肯定的结论？

一个对科学理论更强的逻辑制约因素是，它们是能够被证伪的。换一句话说，因为以后能够被观测作有意义的检验，理论一定有被证伪的可能性。这种证伪的判据是区分科学与伪科学的一种方法。原因在于证实的内在局限性，证实只能增加一个理论的可信度，却不能证明整个理论的完全正确。因为在未来的某一个时刻，总是会发现与理论有冲突的事例。

==关于一些 预备知识==
全世界的数学定理的主项都是普遍概念或者单独概念，世界上没有任何一个数学定理的主项是集合概念。

1，概念的种类

1】单独概念和普遍概念

a，单独概念，反映独一无二的概念，单独概念的外延只有一个。例如，上海，孙中山，，，。它们反映的概念都是独一无二的。数学中的单独概念有“e”“Π”。“e是超越数”就是一个单独概念的命题。

b，普遍概念，普遍概念反映的是一个对象以上的概念，反映的是一个“类”，这个词项的内涵由为了包含在词项外延所必须具有的事物的性质组成。就是说，普遍概念的每一个个体必然具有这个概念的基本属性。例如：工人，无论“石油工人”，“钢铁工人”，还是“中国工人”，“德国工人”，它们必然地具有“工人”的基本属性。数学中的普遍概念有例如“素数”，“合数”，等。“素数无穷多”就是一个普遍概念的命题。

2】集合概念和非集合概念

a，集合概念反映的是集合体，这个词项的外延由词项所应用的事物集合组成，例如“中国工人阶级”，集合体的每一个个体不是必然具备集合体的基本属性，例如某一个“中国工人”，不是必然具有“中国工人阶级”的基本属性。集合概念的命题是不需要证明的，也是无法证明的，只能是归纳总结。

b，非集合概念（省略）。

3】为什么集合概念命题无法证明

这是因为数学家的武器级别都是一个类，即：定理，公理都是普遍概念，只能攻击同样级别的命题主项。而“集合概念”是“一群”类，是一群普遍概念。就好比一个人不能战胜一群敌人。最重要的是：集合概念中的每一个个体不是必然具有这个概念的基本属性。
    
一个词项是什么概念取决于语境
例如：

费马大定理是一个著名的问题。这里的“费马大定理”是一个单独概念。

费马大定理说所有的n都没有x、y、z整数解。这里的“费马大定理”是一个集合概念。

就是说，费马大定理的n只能一个个证明，不能一揽子解决

因为费马大定理是一个集合概念。我们知道n=2时叫做勾股定理，n=3是一个定理，n=4是一个定理，....。而不会有一个总定理。    

最近发展
2016年6月，安德鲁怀尔斯获得阿贝尔奖，灿烂的笑容照片（上）；

2016年10月，我写信告诉普林斯顿大学和

安德鲁怀尔斯.jpg
肯黎贝，安德鲁怀尔斯得知自己的证明是错误的，表情十分忧郁（下） 
https://factpedia.org/wiki/%E8%B4%B9%E9%A9%AC%E5%A4%A7%E5%AE%9A%E7%90%86%E7%9C%9F%E7%9B%B8

== 学术贡献 ==

怀尔斯对数学的最大贡献是证明了历时350多年的、著名的费尔马大定理。

在此之前，他于1977年和科茨(Coates)共同证明了椭圆曲线中最重要的猜想──伯奇─斯温耐顿─代尔(Birch-Swinnerton-Dyer)猜想的特殊情形(即对于具有复数乘法的椭圆曲线);1984年和马祖尔(Mazur)一起证明了岩泽理论中的主猜想。在这些工作的基础上，他于1994年通过证明半稳定的椭圆曲线的谷山─志村─韦伊猜想，从而完全证明了费马最后定理。

1986年，[[格哈德·弗赖]]提出，费马大定理的真实性将使谷山-志村猜想一经证明之后的直接结果并演算出一个椭圆方程，于是，怀尔斯决定重新研究原来搁置的问题，并可以运用一些新的方法。 <ref>[http://news.sina.com.cn/o/2005-08-31/09516826060s.shtml 怀尔斯北大报告 ]新浪 . 2016-06-13</ref>
经过7年的努力，怀尔斯完成了谷山-志村猜想的证明。作为一个结果，他也证明了费马大定理。

== 主要奖项 ==
{| class="wikitable"
|-
! 时间 !! 荣誉 !!评选(颁奖)机构及备注
|-
|1995年|| Schock数学奖 || 瑞典皇家学会
|-
| 1996年3月 || 沃尔夫奖|| 沃尔夫基金会
|-
|1996年6月|| 美国国家科学院外籍院士、该科学院数学奖|| 美国国家科学院
|-
| 1996年 ||瑞典科学院舍克奖|| 瑞典科学院
|-
|1996年 || 英国皇家学会皇家奖章 || 英国皇家学会
|-
| 1996年||奥斯特洛夫斯基奖 || 瑞士奥斯特洛夫斯基基金会
|-
| 1996年 ||费马奖 || 法国
|-
| 1997年 ||科尔奖 || 美国数学会
|-
|997年6月27日|| 沃尔夫斯科尔(Wolfskehl)奖(10万马克奖金)|| 1908年为解决费马猜想而设置
|-
| 2005年 || 邵逸夫数学科学奖(Shaw Prize)，奖金100万美金 || 邵逸夫奖基金会
|-
| 2016年3月15日 || 阿贝尔奖|| 挪威科学与文学院 <ref>[http://tech.qq.com/a/20160317/019745.htm 英国数学家获2016年度阿贝尔奖 ] 腾讯 . 2016-06-13</ref>
|}
 
== 人物轶事 ==

=== 世纪讲座 ===

1993年6月底，有一个重要的会议要在剑桥大学的牛顿研究所举行。怀尔斯决定利用这个机会向一群杰出的听众宣布他的工作。他选择在牛顿研究所宣布的另外一个主要原因是剑桥是他的家乡，他曾经是那里的一名研究生。1993年6月23日，牛顿研究所举行了20世纪最重要的一次数学讲座。两百名数学家聆听了这一演讲，但他们之中只有四分之一的人完全懂得黑板上的希腊字母和代数式所表达的意思。其余的人来这里是为了见证他们所期待的一个真正具有意义的时刻。演讲者是安德鲁·怀尔斯。怀尔斯回忆起演讲最后时刻的情景:"虽然新闻界已经刮起有关演讲的风声，很幸运他们没有来听演讲。但是听众中有人拍摄了演讲结束时的镜头，研究所所长肯定事先就准备了一瓶香槟酒。当我宣读证明时，会场上保持着特别庄重的寂静，当我写完费马大定理的证明时，我说:'我想我就在这里结束'，会场上爆发出一阵持久的鼓掌声。"

=== 绝境逢生 ===

安德鲁·怀尔斯向《数学发明》杂志递交的论文，论文有200页，正在进行严格的审稿。

1993年8月23日，审查人在论文的第三章发现了证明中的一个小缺陷。数学的绝对主义要求怀尔斯无可怀疑地证明他的方法中的每一步都行得通。怀尔斯以为这又是一个小问题，补救的办法可能就在近旁，可是6个多月过去了，错误仍未改正，怀尔斯面临绝境，他准备承认失败。他向同事[[彼得·萨克]]说明自己的情况，萨克向他暗示困难的一部分在于他缺少一个能够和他讨论问题并且可信赖的人。经过长时间的考虑后，怀尔斯决定邀请剑桥大学的讲师理[[查德·泰勒]]到普林斯顿和他一起工作。

泰勒1994年1月份到普林斯顿，可是到了9月，依然没有结果，他们准备放弃了。泰勒鼓励他们再坚持一个月。怀尔斯决定在9月底作最后一次检查。9月19日，一个星期一的早晨，怀尔斯发现了问题的答案，他叙述了这一时刻:"突然间，不可思议地，我有了一个难以置信的发现。这是我的事业中最重要的时刻，我不会再有这样的经历……它的美是如此地难以形容;它又是如此简单和优美。20多分钟的时间我呆望它不敢相信。然后白天我到系里转了一圈，又回到桌子旁看看它是否还在--它还在那里。"

这两篇论文总共有130页，是历史上核查得最彻底的数学稿件，它们发表在1995年5月的《数学年刊》上。怀尔斯再一次出现在《纽约时报》的头版上，标题是《数学家称经典之谜已解决》。约翰·科茨说:"用数学的术语来说，这个最终的证明可与分裂原子或发现DNA的结构相比，对费马大定理的证明是人类智力活动的一曲凯歌，同时，不能忽视的事实是它一下子就使数学发生了革命性的变化。对我说来，安德鲁成果的美和魅力在于它是走向代数数论的巨大的一步。"

怀尔斯说:"……再没有别的问题能像费马大定理一样对我有同样的意义。我拥有如此少有的特权，在我的成年时期实现我童年的梦想……那段特殊漫长的探索已经结束了，我的心已归于平静。"

== 家庭生活 ==

怀尔斯与太太在普林斯顿相识，并在普林斯顿结婚。 <ref>[http://scitech.people.com.cn/GB/1056/3655651.html 费马大定理终结者安德鲁?怀尔斯北京纪行 ]人民网 . 2016-06-13</ref>


== 人物评价 ==

《人物》杂志将怀尔斯与[[戴安娜]]王妃一起列为"本年度25位最具魅力者"。最有创意的赞美来自一家国际制衣大公司(GAP)，他们邀请这位温文尔雅的天才作他们新系列男装的模特。

低调，不常露面，只出现在全系大会上，说话很少，对工作认真负责，录取学生时，会很仔细地看每一份学生的材料，受到同事们的尊敬。(普林斯顿大学田刚副院长评价)

安德鲁·怀尔斯对费马大定理的证明是"20世纪最辉煌的数学成就"。(中科院院士、北大数学院教授姜伯驹评价)

怀尔斯教授用7年时间专门攻克一个世界难题，如今已很少有人耐得住这种寂寞了。(北京大学数学研究所所长丁伟岳院士)

他为科学献身的精神值得我们学习。(北大数学院副院长刘化荣) 

==相關影片==
{{#evu:https://www.youtube.com/watch?v=uQgcpzKA5jk
|alignment=inline 
|dimensions=640
|container=frame
|description= 
}}

{{#evu:https://www.youtube.com/watch?v=4t1mgEBx1nQ
|alignment=inline 
|dimensions=640
|container=frame
|description= 
}}

{{#evu:https://www.youtube.com/watch?v=cWKAzX5U85Q
|alignment=inline 
|dimensions=640
|container=frame
|description= 
}}

{{#evu:https://www.youtube.com/watch?v=rSowRw_BW50
|alignment=inline 
|dimensions=640
|container=frame
|description= 
}}

{{clear}}
　
== 参考资料  ==
[[Category:教授]][[Category:數學家]]
[[Category:英国人]]