東野圭吾提示您:看後求收藏(貓撲小說www.mpzw.tw),接着再看更方便。
“沒錯。先決條件是,必須在平面或球面上。”
這是數學界最有名的問題之一,題目是<平面或球面上的任何地圖是否都能以四色區分&,由A.凱萊在一八七九年提出。只要能證明的確是以着色區分,或是想出一個並非如此
的地圖就行了,結果卻花了斤百年才解決。加以證明的是伊利諾大學的凱尼斯.阿佩爾和渥而夫甘古.哈肯,兩人利用電腦,確定所有的地圖約可歸類爲一百五十種基本的類型,終
於證明這些都是用四色區分。那是一九七六年的事。
“我不認爲那是個完備的證明。”石神說。
“我想也是。所以,你纔會試圖用紙筆解題。”
“那樣的做法如果靠人工作業來調查,規模太過龐大,所以他們纔會使用電腦吧;不過也因此無法完美判斷那個證明是否正確。如果連確認都得使用電腦,那就不是真正的數
學。”
“你果然是厄多斯信徒。”長髮男子莞爾一笑。
保羅.厄多斯是生於匈牙利的數學家。他最有名的事蹟就是一邊浪跡各地,一邊和各地的數學家共同研究。他始終抱着一個信念:好的定理必然有美妙自然又簡單的證明。對於