新生報道的時間一共有兩天,所以第三天才會正式上課。
而且從今天開始,他就有美女陪著他一起學習啦,再也不用每天看著那個肌肉猛男了。
和丁小淇面對面坐著,沈從心決定今天研究一下前幾天抽獎抽到的什么四色定理。
不知道你們小時候有沒有觀察過家里的地圖,無論多么復雜的地形,如何曲折的邊界,整張地圖都只用四種顏色上色。而這就是四色問題從字面上描述的問題了。
而說起四色定理,就不得不提到我們日常生活中所用的一個基本生產(chǎn)工具計算機了。因為現(xiàn)在幾乎所有的四色定理證明相關過程都用到了計算機。這也為數(shù)學問題的證明方法打開了一個新思路,即計算機輔助證明法。
而這個問題最早是由畢業(yè)于倫敦大學的格斯里在1852年提出的,當時的他正在一家科研單位工作,偶然間注意到地圖著色只用四種顏料,于是不由自主的提出了這樣一個問題。
他本以為以自己倫敦大學高材生的身份,這個小小的問題還不是手到擒來,可是在后來的研究中,即使邀請了師從著名數(shù)學家德?摩爾根的同胞弟弟,又耗費了整整三個月時間,這個問題也毫無進展。
于是同年十月他們請教了摩爾根,可是就連摩爾根也沒有辦法解決這個問題,于是這個問題再一次流傳到他的好友,著名的數(shù)學家哈密頓爵士手里,但是這位可憐的老爵士致死也沒有解決這個問題。
再后來直到1872年,當時著名的數(shù)學家凱利才正式向倫敦數(shù)學學會提出這個問題,從那以后這個問題就被世界廣泛關注。
在1878年和1880年共有兩名數(shù)學家提交論文,宣布證明了四色定理,可是后來全部被推翻了。
后來陸陸續(xù)續(xù)又有很多人自稱證明了,可是沒有一個人能完全正確的給出證明方法。
直到1913年,美國數(shù)學家奧克霍夫結合前人的方法,用新的設想,從小的地圖開始,逐步推理證明。
但用這種方法進步緩慢,47年過去了,到了1960年,才從證明22國以下的地圖可以用四色著色,推進到50國以下。
然后就是計算機的發(fā)明和運用了。
1976年,美國伊利諾斯大學利用計算機輔助,做了一百億個判斷,結果沒有一張地圖是需要四色以上的,終于到此四色定理的證明終于被畫上了一個不算完美的句號。
但因為計算機的論證方法究其根本還是窮舉法,并無法給出令人信服的思考過程,所以人們還是在尋找一種簡潔的數(shù)學語言來證明。
看完四色定理的發(fā)展歷史,沈從心心里對這個問題大概有個了解,同時也慶幸自己沒有像一只沙雕一樣,當時直接把論文發(fā)出去。
四色定理可是世界近代三大數(shù)學猜想之一,(另外兩大猜想是費馬猜想和哥德巴赫猜想)雖然已經(jīng)被計算機證明了,可憑借自己一個小小的準大學生的身份發(fā)表一篇解決世界級難題的論文,估計自己有可能被切片研究了。
現(xiàn)在數(shù)學界對于四色定理的態(tài)度分成了兩個派別。一部分人認為四色定理應該叫四色猜想,因為它還沒有被人類用簡潔的數(shù)學語言證明,這也意味著這一部分人并不承認計算機證明的權威性和科學性。
另一部分人則認為既然這個定理已經(jīng)被計算機證明了,那么就已經(jīng)可以說是定理了。
然后沈從心覺得這個命題太難了,一時間傷心過度,居然離開了人世。
丁小淇聽到這個消息,也傷心過度離開人世。
陳彪失去了好友,也傷心過度,離開了人世。
哦,對了,還有工具人賈明,聽到這個消息也傷心過度,離開了人世。
……全書完
江湖再見,各位保重。