第83章 如何證明女人是女人 “老師，這就是我證明《四色猜想》的具體思路。”李智把厚厚一摞論文擺在桌面上。 方院長雖然並不是他的任課老師，也從來沒有教授過他任何知識。 但李智從他身上總能感到一種莫名的熟悉感，就像初中那位慈祥的白老師一樣。 初中時，李智不但學習成績很差，還十分頑皮。 有一次，他“不小心”拽到前排女孩的頭髮，結果那女孩的母親是一個很強勢的女人。 她直接找到校領導，要校領導開除李智。 眼見李智從此就變成了失學兒童，白老師站了出來，他說了一句讓李智銘記一輩子的話。 “學校是教書育人的地方，不能因為學生犯了錯誤就隨意開除學生。而且身為學校，身為老師，對好學生要好好教育，對差學生更要耐心教育。” 方院長身上，有一股真正教師的味道。 所以，李智喜歡把方院長稱呼為“老師”。 “四色猜想？你怎麽想著證明這玩意！”方院長原本激動的心情，頓時冷下來一半。 並不是因為四色猜想不出名，而是因為它實在太出名了，出名到已經被計算機專家，跨領域使用計算機證明了出來。 四色定理又稱四色猜想、四色問題，其與費馬猜想和哥德巴赫猜想並稱世界近代三大數學難題。 四色問題的第一次書面記錄出現在1852年10月23日倫敦大學數學教授摩爾根給哈密頓先生的一封信中。 在信中，摩爾根講述了他的學生提出的一個問題：“一位學生今天讓我說明一個事實的道理，我們不知道它是否可作為一個事實。他說任意劃分一個圖形並對其每個部分染色，使得任何具有公共邊線的部分具有不同的顏色，而且只能用四種顏色，不能再多。.你以為如何？如果這個問題成立，它能引起人們關注嗎？” 起初，這個問題沒有引起數學家們的注意，認為這是一個不需要證明的事實。直到1878年，倫敦數學會負責人正式宣布了這一問題，四色問題最終形成。 1878 年8月13日，英國數學家凱萊在倫敦數學會上當眾發問是否有人能證明四色猜想，從此才攜響了攻克四色猜想的戰鼓。不到一年，便有一位叫肯伯（A . B. Kempe）的律師宣布其證明了四色猜想。但肯伯的證明是錯誤的。 1922 年費蘭克林（Franklin）證明了每個有至多25個國家的地圖都可以用四種顏色著色。 1926年雷諾德（Reynolds）將這一結果推廣到27個國家，然後在1938年費蘭克林又創造了31個國家的紀錄。 1940 年溫恩（Winn）證明了35個國家的情形以後，這方面的研究有所停滯，直到1970年，奧爾（Ore）和史坦普爾（Stemple）對所有至多包含40個國家的地圖證明了四色定理。 這書數學家們意識到四色問題也許只有借助於能處理巨量數據的強有力的計算裝置才能獲得解決。 於是計算機專家哈肯與阿佩爾登場了，他們經過整整四年的緊張工作，終於在1976年6月成功地證明了四色定理。其中他們一共花費了1200個計算機小時，處理了兩千多個構形。 就這樣，一道數學問題，被計算機以“強力”的方式解決了。 所以，當方院長看到李智證明出來的是四色猜想時，心情那是哇涼哇涼的。 世界級數學難題之所以吸引人，就是因為她像一個美妙的女孩，用華麗的衣服把自己的美好隱藏起來。 無數數學家，為了欣賞那種美好，前赴後繼，發動攻擊。 當這道數學難題被人解決時，就意味著這個美妙女孩已經名花有主了。 旁邊覬覦她的人，都會毫不猶豫的撤退，尋找新目標。 李智看到方院長眉頭緊皺，立刻明白他心中所想。 笑道：“老師，我使用了純數學的方法證明出來了四色猜想。” “純數學的方法？”方院長思索片刻，頓時明白他的意思。 雖然哈肯與阿佩爾宣布使用計算機證明出了四色猜想，但是數學界有很多數學家並不願意承認這個結果。 在數學家看來，使用暴力枚舉的方式證明數學難題，是對數學的褻瀆。 他們認為應該使用數學邏輯來證明它。 就像如何證明一個女人是真正的女人，數學家會通過喉結，體型，脂肪率，聲音，內部結構等方面來試圖論證。 而計算機的“暴力枚舉”方法就相當於讓人直接把女人的衣服扒掉，然後指著某個部位說：看，我說她就是個女人吧，沒錯！ 這種不講道理的方法自然無法被數學家們接受。 在數學家們看來，數學難題的解決過程，往往比結果更重要。 因為在解題過程中，往往可以得出許多意想不到的數學理論。 比如第二次數學危機中，由於微積分尚不完善，出現了“阿基裡斯追不上烏龜”，“飛矢不動”，“兩分法”，“操場或遊行隊伍”等四個著名的悖論。 在解決這些悖論的過程中，威爾斯特拉斯、狄德金、康托等人獨立地建立了實數理論，而且在實數理論的基礎上，建立起極限論的基本定理，從而使數學分析建立在實數理論的嚴格基礎之上。 同時，第二次數學危機也促進了19世紀的分析嚴格化、代數抽象化以及幾何非歐化的進程。 數學難題也是如此，數學界有許多理論都是在解決數學難題的過程中發現的。 所以聽了李智的話後，方院長立刻明白過來，四色猜想的華麗衣服，並沒有被那幫學計算機的家夥，用冰冷的機器剝開！ 李智準備完全使用數學方法來.剝掉它的衣服。 方院長並沒有翻開論文，而是站起身從書櫃中取出一團報紙。 他一層層剝開報紙，露出裡面的碧綠茶葉。 這似曾相識的一幕，讓李智有些恍惚，幾個月前，他在青大李於光教授那裡也見到過同樣的紙包。 紙包裡也裝有茶葉。 茶葉作為華夏的國粹，老教授們都有喝茶的習慣並不奇怪。 奇怪的是，為什麽茶葉都用報紙包著。 他看到方院長很小心的捏了一小撮茶葉，心中歎一口氣：並且每一種被報紙包著的茶葉，都非凡品。 (本章完)
