1976年,美國數學家阿佩爾和哈肯宣布,它們用電子計算機足足算了1200個小時,終于證明了四色問題!這是迄今為止做出的最繁的數學證明。
1852年,倫敦的一名學生思烈在一封信中提到:“在平面或球面上畫地圖,要是的相鄰的國家具有不同的顏色,似乎只要四種顏色就夠了!比藗儾聹y這里面是否存在著某種必然性,數學家把它歸納為拓撲學上的數學問題,這個問題就是著名的四色問題。100多年來,許多數學家為此作了巨大的努力,雖然取得了進展,但都沒有獲得最后的證明。直到美國數學家阿佩爾和哈啃的證明。
1976年,美國數學家阿佩爾和哈肯宣布,它們用電子計算機足足算了1200個小時,終于證明了四色問題!這是迄今為止做出的最繁的數學證明。
1852年,倫敦的一名學生思烈在一封信中提到:“在平面或球面上畫地圖,要是的相鄰的國家具有不同的顏色,似乎只要四種顏色就夠了!比藗儾聹y這里面是否存在著某種必然性,數學家把它歸納為拓撲學上的數學問題,這個問題就是著名的四色問題。100多年來,許多數學家為此作了巨大的努力,雖然取得了進展,但都沒有獲得最后的證明。直到美國數學家阿佩爾和哈啃的證明。