第130章 數學的美感（為舵主加更）

請關閉瀏覽器的閱讀/暢讀/小說模式並且關閉廣告遮蔽過濾功能，避免出現內容無法顯示或者段落錯亂。

“誒，你說喬老師怎麼突然讓咱們把找茬的活兒停下來了呢？我最近乾的正爽呢！”就在呂丘建計劃重新住回京師大學給安排的房子的時候，喬院士那邊也開始了關於他演講稿驗證的工作。

“那不過是張部長找上門來了，順便幫幫咱京師大學出出氣，拿那什麼馮教授立立威，免得報告會的時候有人找茬！”有人看的通透，“現在目的基本達到了，咱們也攢出了不少文章，到時候發出去自然會見分曉，所以也不用再做下去了！”

“可是現在給的方向和喬院士之前的研究方向不太一樣啊？看上去恐怕還要用到超級計算機進行驗算，時間催的這麼緊，不太好辦啊！”剛才說話的王浩宇還在琢磨原因。

數學研究中使用到計算機的歷史源來已久，著名的四色定理就是依靠計算機才得以最終解決。

這一定理通俗的說法是：每個平面地圖都可以只用四種顏色來染色，而且沒有兩個鄰接的區域顏色相同。

聽起來很簡單不是麼？當這一猜想提出的時候大家也都這麼認為，那些心高氣傲的數學家不屑於在如此簡單的問題上花費精力，直到哥廷根學派的重要人物、愛因斯坦的老師、為廣義相對論做出突出貢獻的閔可夫斯基注意到了這個問題。

一次拓撲課上，閔可夫斯基向學生們自負的宣稱，“這個定理沒有證明的最要的原因是至今只有一些三流的數學家在這上面花過時間。下面我就來證明它。”

然後……，這節課結束的時候，沒有證完；到下一次課的時候，閔可夫斯基繼續證明，還是沒有搞定。

一直幾個星期過去了……一個陰霾的早上，閔可夫斯基跨入教室，那時候，恰好一道閃電劃過長空，雷聲震耳；他很嚴肅的說，“上天被我的驕傲激怒了，我的證明是不完全的……”

1942年的時候，萊夫謝茨去哈佛大學做了個報告，伯克霍夫是他的好朋友，講座結束之後，就問他最近在普林斯頓大學有沒有什麼有意思的東西。萊夫謝茨說有一個人剛剛證明了四色猜想。伯克霍夫嚴重的不相信，說要是這是真的，就用手和膝蓋，直接爬到普林斯頓的數學系大樓去。

幾十年間，數學界對四色定理的觀感竟發生瞭如此大的變化；直到1976年，美國數學家阿佩爾和哈肯，在美國伊利諾斯大學的兩臺不同的電子計算機上，用了1200個小時，作了100億判斷，最終證明了四色定理，轟動了世界。

有了這一成功案例，後來的數學家們逐漸開始使用計算機進行各種問題的破解；喬院士今天給他們的題目剛好也要用到計算機。

“你覺得這個問題怎麼樣？能不能被咱們證明？”王佳宇見對方半天不說話，忍不住又問了一句。

“能不能被咱們證明我不知道，但我敢肯定這個問題是正確的！”師兄董建業篤定的回答，顯得信心十足。

“能不能被證明你都不清楚，怎麼就敢肯定他是的對的呢？”王佳宇鬧不懂了！

“因為他美啊！”董建業露出痴迷的神色，指著題目上的公式說道，“你看這公式，是那麼的自然、流暢，每一個環節無不透露出數學獨有的魅力，這樣美麗的公式他又怎麼可能是錯的呢？！”

“如果是錯誤的公式，那麼一定會讓人覺得彆扭，就像是...就像是看電影劇情出現bug了一樣讓人渾身不舒服！”董建業依舊沉迷在這道公式的美感當中，“而當我第一眼看到這條公式的時候，卻絲毫沒有發現任何讓我感到違和的地方，所以他肯定是對的！就算我們不能證明，那也是因為我們水平不夠，而不是公式的問題！”

這個理由很好很強大！王佳宇頓時無話可說，科學家看臉的案例多了去了，不知道有多少學術成果因為缺乏美感而被人嫌棄；有些經過了整容手術，被後