第16章 安德魯-懷爾斯

那人身材瘦削,穿着一件灰藍色的襯衫,纖細的脖子讓他本來正常的腦袋顯得有些大,頭頂兩側的髮際線早已守不住他們應有的位置,唯獨中央一小撮頭髮仍然頑強的堅守着自己的位置,從正面看起來就好像留了個莫西幹頭一般。

真是糟糕的衣着品味和髮型,恐怕大多數人第一眼看到他的時候都會如此吐槽,可是當你接觸到他金絲眼鏡下的目光時,你就會收回上述評價,轉而爲他目光中所流露出的智慧光芒而傾倒。

呂丘建整了整衣服,向前兩步恭恭敬敬的打着招呼,“高爾斯教授您好!懷爾斯教授您好!希望沒有打擾你們!”

“沒有!呂,安德魯是專門來看你的!”,高爾斯教授將呂丘建引到沙發前坐下,打了個響指叫過自己的助理,“呂,你喝茶還是咖啡?”

“茶,謝謝!”,呂丘建大大方方的坐到沙發上,仰望着如今數學界至高無上的神袛,“懷爾斯教授,有什麼可以幫您的麼?”

安德魯-懷爾斯教授之所以受到全世界數學家的崇敬,是因爲他在七年前解決了困擾數學界三百多年的難題——費馬大定理。

1637年,被稱爲業餘數學家之王的法國人皮埃爾-德-費馬在他的筆記本上寫道:不可能將一個立方數寫成兩個立方數之和;或者將一個4次冪寫成兩個4次冪之和;或者,總的來說,不可能將一個高於2次的冪寫成兩個同樣次冪的和。

這個喜歡惡作劇的天才,又在後面寫下一個附加的評註:我有一個對這個命題的十分美妙的證明,這裡空白太小,寫不下。

費馬死後,他的兒子意識到這些草草寫就的自己或許有其價值,用了五年時間將其印刷刊出,這些被僥倖發現的蛛絲馬跡成了其後所有數學家的不幸。一個高中生就可以理解的定理,成了數學界最大的懸案,從此將那些世界上最聰明的頭腦整整折磨了358年。一代又一代的數學天才前赴後繼,向這一猜想發起挑戰。

費馬大定理本身從提出到證明的過程,就是一部不折不扣的驚險小說。尋求費馬大定理證明的過程,牽動了這個星球上最有才智的人,充滿絕望的反抗、意外的轉機、隱忍的耐心、燦爛的靈性。

歐拉,18世紀最偉大的數學家之一,在那本特殊版本的《算術》中別的地方,發現費馬隱蔽地描述了對4次冪的一個證明。歐拉將這個含糊不清的證明從細節上加以完善,並證明了3次冪的無解。但在他的突破之後,仍然有無數多次冪需要證明。

等到索非-熱爾曼、勒讓德、狄利克雷、加布里爾-拉梅等幾個法國人再次取得突破時,距離費馬寫下那個定理已經過去了將近200年,而他們才僅僅又證明了5次冪和7次冪。

事實上拉梅已經宣佈他差不多就要證明費馬大定理了,另一位數學家柯西也緊隨其後說,要發表一個完整的證明。然而,一封來信粉碎了他們的信心:德國數學家庫默爾看出這兩個法國人正在走向同一條邏輯的死衚衕。

在讓兩位數學家感到羞恥的同時,庫默爾也證明了費馬大定理的完整證明是當時的數學方法不可能實現的。這是數學邏輯的光輝一頁,也是對整整一代數學家的巨大打擊。

20世紀,數學開始轉向各種不同的研究領域並取得非凡進步。1908年,德國實業家沃爾夫斯凱爾爲未來可能攻克費馬大定理的人設立了獎金,但是,一位不出名的數學家卻似乎毀滅了大家的希望:因爲這個問題是如此困難,提出不完備性定理的哥德爾甚至懷疑這是一個在現有算術公理體系中無法解決的問題。

儘管有哥德爾致命的警告,儘管經受了三個世紀壯烈的失敗,但一些數學家仍然冒着白白浪費生命的風險,繼續投身於這個問題。二戰後隨着計算機的出現,大量的計算已不再成爲問題。藉助計算機的幫助,數學家們對500以內,然後在1000以內,再是10000以內的值證明了費馬大定理,到80年代,這個範圍提高到25000,然後是400萬以內。

但是,這種成功僅僅是表面的,即使那個範圍再提高,也永遠不能證明到無窮,不能宣稱證明了整個定理。破案似乎遙遙無期。

1963年,年僅十歲的安德魯-懷爾斯在一本名叫《大問題》的書中邂逅費馬大定理,便知道自己永遠不會放棄它,必須解決它。70年代,他正在劍橋大學研究橢圓方程,看來與費馬大定理沒什麼關係。

此時,兩位日本數學家已經提出谷山-志村猜想,將懷爾斯正在研究的橢圓方程與模形式統一在一起。看來也與費馬大定理沒什麼關係。

80年代,幾位數學家將17世紀最重要的問題與20世紀最有意義的問題結合在一起,找出了證明費馬大定理的鑰匙:只要能證明谷山-志村猜想,就自動證明了費馬大定理。

曙光在前,但並沒有人對黎明的到來抱有信心,谷山-志村猜想已經被研究了30年,都以失敗告終,如今與費馬大定理聯繫在一起,更是連最後的希望都沒有了,因爲,任何可能導致解決費馬大定理的事情根據定義是根本不可能實現的——這幾乎已成定論。

就連發現鑰匙的關鍵人物肯-裡貝特也很悲觀,“我沒有真的費神去試圖證明它,甚至沒有想到過要去試一下。”大多數其他數學家,包括安德魯·懷爾斯的導師約翰-科茨,都相信做這個證明會勞而無功,“我必須承認我認爲在我有生之年大概是不可能看到它被證明了。”

幾乎所有人都已經放棄,除了安德魯-懷爾斯。

懷爾斯放棄了所有與證明費馬大定理無直接關係的工作,在完全保密的狀態下,展開了一個人對這個困擾世間智者三百多年謎團的孤獨挑戰,妻子是唯一知道他在從事費馬問題研究的人。

苦心孤詣的安德魯-懷爾斯經過七年專心努力,完成了谷山-志村猜想的證明。1993年6月23日,劍橋牛頓研究所,他開始了本世紀最重要的一次數學講座,每一個對促成費馬大定理證明做出過貢獻的人實際上都在現場的房間裡,兩百名數學家被驚呆了,他們看到的是,三百多年來第一次,費馬的挑戰被征服。

懷爾斯寫上費馬大定理的結論,然後轉向聽衆,平和地說,“我想我就在這裡結束。”會場上爆發出一陣持久的掌聲,第二天,數學家第一次佔據了報紙的頭版頭條。《人物》雜誌將他與黛安娜王妃、奧普拉一起列爲“本年度25位最具魅力者”之一,一家時裝公司則請這位溫文爾雅的天才爲他們的新系列男裝做了廣告。

但事情並沒有在這裡結束,接下來的發展依然像驚險小說一樣,懸案得破,但案犯並不輕易束手就擒。懷爾斯長達200頁的手稿投交到《數學發明》雜誌,開始了龐雜的審稿過程。這是一個特大型的論證,由數以百計的數學計算通過數以千計的邏輯鏈環錯綜複雜地構造而成。只要有一個計算出差錯或一個鏈環沒銜接好,整個證明將可能失去其價值。

值得解決的問題會以反擊來證明它自己的價值。在苛刻的審稿過程中,審稿人碰到了一個似乎是小問題的問題。而這個問題的實質是,無法使懷爾斯像原來設想的那樣保證某個方法行得通。他必須加強他的證明。

時間越耗越長,問題依然解決不了,全世界開始對懷爾斯產生懷疑。14個月的時間過去了,他準備公開承認失敗並發表一個證明有缺陷的聲明。在山窮水盡的最後時刻,1995年9月19日,一個星期一的早晨,他決定最後檢視一次,試圖確切地判斷出那個方法不能奏效的原因。

一個突然迸發的靈感使他的苦難走到了盡頭:雖然那個方法不能完全行得通,但只需要可以使另一個他曾經放棄的理論奏效,正確答案就可以出現在廢墟之中——兩個分別不足以解決問題的方法結合在一起,就可以完美地互相補足。

足足有20分鐘,懷爾斯呆望着那個結果不敢相信,然後,是一種再也無事可做的巨大失落感。

一百年前,專爲費馬大定理而設的沃爾夫斯凱爾獎將截止日期定爲2007年9月13日。就像所有的驚險片一樣,炸彈在即將起爆的最後一刻,被拆除了。

這個故事和中國人所熟悉的陳景潤與哥德巴赫猜想的故事如出一轍,可惜的是陳景潤只是將哥德巴赫猜想的證明往前推進了一大步而並未完成最終證明,安德魯-懷爾斯卻將費馬大定理徹底解決。

而眼下這位摘下了數學王冠上璀璨明珠的智者正看着呂丘建,“呂,我想和你談談你的證明!”

這一章引用資料有些多,感夢幻試煉和掐死一江春水向東流的打賞,昨晚夢見收穫一個盟主,今早起來就收到打賞,心裡暖洋洋地。明天雙更。

第434章 人工智能第518章 我就是查個車號而已啊!第315章 支持第57章 忙碌的聖誕第450章 山洞深處第225章 你們不專業啊第315章 支持第677章 我們沒錢第250章 冬歇期第462章 國際核聚變研究現狀第577章 圍脖第23章 四大數學期刊第431章 違約金第362章 愉快的交流第469章 爆炸性宣傳第396章 諾貝爾頒獎典禮第103章 再掀熱議第272章 特別的守門員第57章 忙碌的聖誕第308章 從天而降第649章 裝逼不成反被草第440章 公開亮相第399章 宣傳配合第132章 報告會臨近第360章 科學妄想者第502章 IT屆震動第190章 茶上茶上好茶第217章 新方法第274章 無所不能第136章 報告會開始第625章 熱烈提問第263章 諾貝爾獎已無懸念第355章 接受諮詢第279章 藥廠十號駕臨拜仁第719章 登月旅行第642章 永不解密第281章 回國的邀請第213章 國足奪世界盃有望第49章 第一個外號第581章 賓客如雲第396章 諾貝爾頒獎典禮第177章 拍賣會第376章 老友重逢第78章 等待第465章 宏偉計劃第362章 愉快的交流第255章 爭論第266章 倫辛的煩惱第670章 捉襟見肘的米國第712章 一人之威第631章 長者的召喚第456章 第一站結束第672章 瑪德智障第375章 未來是你的第135章 教皇格羅滕迪克第586章 趁火打劫第83章 新年第674章 救命!鋼鐵俠來了!第39章 爆發第375章 未來是你的第433章 千人計劃第138章 問答第440章 公開亮相第143章 雛鷹展開翅膀第61章 聲名鵲起第160章 派系第449章 基地雛形第113章 買櫝還珠第703章 無懈可擊第491章 迎頭趕上第232章 一切爲了教育第522章 第一次試驗第448章 戒備森嚴第574章 釜底抽薪第303章 好消息第696章 賓客紛至第345章 下一次實驗第348章 我們來麻將吧第449章 基地雛形第164章 好苗子第544章 英雄暮年第724章 太空電梯第73章 技術性調整第401章 奧數和菲爾茲第481章 夢之隊的反應第187章 《Nature》上的愛情故事第423章 高指導第636章 電動坦克第337章 最後的機會第203章 勤工儉學第636章 電動坦克第437章 你到底是誰?第171章 郵件第20章 滿載而歸第235章 阿道夫的憤怒第430章 薪酬改革第225章 你們不專業啊第712章 一人之威第254章 短暫的交流第309章 伊斯坦布爾奇蹟
第434章 人工智能第518章 我就是查個車號而已啊!第315章 支持第57章 忙碌的聖誕第450章 山洞深處第225章 你們不專業啊第315章 支持第677章 我們沒錢第250章 冬歇期第462章 國際核聚變研究現狀第577章 圍脖第23章 四大數學期刊第431章 違約金第362章 愉快的交流第469章 爆炸性宣傳第396章 諾貝爾頒獎典禮第103章 再掀熱議第272章 特別的守門員第57章 忙碌的聖誕第308章 從天而降第649章 裝逼不成反被草第440章 公開亮相第399章 宣傳配合第132章 報告會臨近第360章 科學妄想者第502章 IT屆震動第190章 茶上茶上好茶第217章 新方法第274章 無所不能第136章 報告會開始第625章 熱烈提問第263章 諾貝爾獎已無懸念第355章 接受諮詢第279章 藥廠十號駕臨拜仁第719章 登月旅行第642章 永不解密第281章 回國的邀請第213章 國足奪世界盃有望第49章 第一個外號第581章 賓客如雲第396章 諾貝爾頒獎典禮第177章 拍賣會第376章 老友重逢第78章 等待第465章 宏偉計劃第362章 愉快的交流第255章 爭論第266章 倫辛的煩惱第670章 捉襟見肘的米國第712章 一人之威第631章 長者的召喚第456章 第一站結束第672章 瑪德智障第375章 未來是你的第135章 教皇格羅滕迪克第586章 趁火打劫第83章 新年第674章 救命!鋼鐵俠來了!第39章 爆發第375章 未來是你的第433章 千人計劃第138章 問答第440章 公開亮相第143章 雛鷹展開翅膀第61章 聲名鵲起第160章 派系第449章 基地雛形第113章 買櫝還珠第703章 無懈可擊第491章 迎頭趕上第232章 一切爲了教育第522章 第一次試驗第448章 戒備森嚴第574章 釜底抽薪第303章 好消息第696章 賓客紛至第345章 下一次實驗第348章 我們來麻將吧第449章 基地雛形第164章 好苗子第544章 英雄暮年第724章 太空電梯第73章 技術性調整第401章 奧數和菲爾茲第481章 夢之隊的反應第187章 《Nature》上的愛情故事第423章 高指導第636章 電動坦克第337章 最後的機會第203章 勤工儉學第636章 電動坦克第437章 你到底是誰?第171章 郵件第20章 滿載而歸第235章 阿道夫的憤怒第430章 薪酬改革第225章 你們不專業啊第712章 一人之威第254章 短暫的交流第309章 伊斯坦布爾奇蹟