檢視安德魯·懷爾斯的原始碼

'''安德魯 ・ 約翰 ・ 懷爾斯'''爵士，KBE，FRS（英語：Sir'''Andrew John Wiles'''，英語發音：/ ˈændɹuː ʤɒn waɪlz /，一九五三年四月十一—）， 英國數學家，也若佇美國。因為證明費馬最後定理，得著二空一六年阿貝爾獎。

==生平==

伊佇一九七四年得著牛津大學墨頓學院學士學位，佇一九七九年佇劍橋大學獲博士學位。安德魯 ・ 懷爾斯的父親是神學家莫里斯 ・ 懷爾斯牧師（Rev . Prof . Maurice Wiles）。

==費馬上尾仔定理證明過程==

一九九四年伊證明出困擾數學家三百外年的費馬最後定理，是數學上重大突破。理查 ・ 泰勒是伊過程中的助手。

佇這進前呢，懷爾斯已經佇咧數論有出色的工課。佮約翰 ・ 科茨合作，佇有名的貝赫和斯維愛講話通通-戴爾猜想欲佇初步進展。伊嘛對岩澤主猜想作食主要的頭路。伊一直為普林斯頓大學教授。

費馬到尾仔定理指出，對大於二的正整數 _ n _，以下無定方程無正整數解：


: $ x ^ { n } + y ^ { n }=z ^ { n } $

懷爾斯兒時看埃里克 ・ 坦普而 ・ 貝爾（Eric Temple Bell）的冊《最後問題》（The Last Problem）讀著了費馬最後定理，啟發了伊解決猜想的心。伊的綿長解題之旅始佇一九八五年，其時肯 ・ 里貝（Ken Ribet）從讓-皮埃爾 ・ 塞爾和格哈德 ・ 扳賴（Gerhard Frey）得著靈感，證明出谷山－志村猜想會當推捒出費馬最後定理。谷山 ─ 志村猜想指出，所有雞卵行曲線攏有模形式的參數表示。這猜想雖然無及費馬最後定理有名，煞因為接著數論的核心故閣較重要，毋過無人會當證明。懷爾斯秘密地做工課，干焦佮普林斯頓大學另外一个數學教授尼古拉斯 ・ 卡茨（Nicholas Katz）通批，分享一寡想法佮進展。伊總算證明出這猜想的特例，從此解決了費馬上尾仔猜想講。伊的證明匠心獨運，創作真濟新概念。

懷爾斯的證明以非凡的戲劇性來公開。一九九三年六月伊佇牛頓研究所安排三場演講，無預先公開伊的講題。猶毋過聽眾佮大眾發現演講的上尾仔目睭咧歹鬼引起動，人群𤲍滿第三場演講的講堂。

此後幾個月，證明的文稿佇少數學家之間傳閱，啊若公眾攏等待驗證結果。證明的頭一版本依賴佇構造一个物件，叫歐拉系統，毋過這方面出問題。同行評審發現了佇咧幼路複雜的數學中出現了錯誤。差不多一年過去，有懷爾斯的證明看來像其他真濟證明按呢有致命傷，雖然講伊作足濟重要的去發現講，但是終達無到目的。懷爾斯欲放棄的時陣，決定作最後一試，佮伊的前博士生理察 ・ 泰勒合作解決證明中上尾的問題。尾仔伊採用著原本頭一版本內底袂採用的方法，閣得著突破，對得證明了費馬最後定理。伊評論道：


:「足雄雄的，完全無疑悟我會得著這般難以置信的啟示。這是我做工課生涯中上重要的時刻。將來的工課我嘛無閣再按呢看重…… 這是僫曉講的美麗，按呢的簡潔優美，我戇戇仔看伊有二十分鐘久，然後佇系裡曝步規工，定定轉來到我的台仔，愛看伊閣佇咧無佇咧 ─ ─ 伊閣佇咧。」

有懷爾斯的證明的最終定稿嘛就按呢佮原先無仝。這證明刊登佇一九九五年一百四十一期的《數學年刊》（Annals of Mathematics）第四百四十三至五百五十一頁。絚接論文後壁猶閣有另外一份伊佮泰勒合著的補充論文，題為（某寡赫克代數的環論性質）（Ring-theoretic properties of certain Hecke algebras）， 刊佇咧第五百五十三至五百七十二頁。

==榮譽==

懷爾斯於一九九五年獲得肖克獎，一九九六年得著皇家獎章、沃爾夫獎、柯爾獎，一九九八年獲菲爾茲獎委員會主席尤里 ・ 馬寧頒發第一的國際數學聯盟特別獎（得著特別獎而非菲爾茲獎的原因是伊當年已經超過菲爾茲獎的獲獎年齡上限四十歲）， 二空空五年得著邵逸夫獎。

懷爾斯佇二空一六年得著阿貝爾獎。

懷爾斯佇二空一七年獲得科普利獎章

==參考文獻==

==深入閱讀==

* 林桐：《 費爾馬大定理總算予人證明矣》，載《數學通報》一九九三年第九期（中國大陸地區較早介紹費馬上尾定理著證消息的期刊，文中的譯名做「安德魯 ・ 多而已斯。毋過這个時陣的證明猶有缺陷。」）
* Simon Singh , _ Fermat's Enigma _ , ISBN 十八撨四千一百十五鋪七千九百十 .（講著懷爾斯佮伊發現證明的故事的一本暢銷冊）
* Modular elliptic curves and Fermat's Last Theorem "-Annals of Mathematics , 一千九百九十五 .（美國賓州州立大學 CiteSeerX 有其論文電子檔供下載）

[[分類: 待校正]]