第250章 普林斯頓式的致敬（第2/2頁）

“建立體系是最重要的。”沈奇從米爾諾的實際案例中得到啟迪。

然而誰都知道，建立一個邏輯嚴謹的體系比證明一個定理困難太多了，建體系是個浩大工程，需要巨大的、持續不斷的人力物力財力投入。

建立基礎數學體系的唯一優勢是不用花費太過天文數字的金錢，最大的投入應該就是人力資源投入。

“我這手頭缺兵少將的，水平也有限，目前搗鼓不出一套新的理論體系，還是先證明我的定理吧。定理證明多了，體系自然而然就出來了。”

是這個道理，歐幾裏得一生證明了465個定理，歐氏幾何的經典體系流傳了兩千多年。

沈奇繼續開展“穆勒—沈定理”的證明工作，並在9月底與穆勒合了一版初稿。

“令人振奮的成果是，我們完全證明了論斷（1）和（2），比我在1982年時證明的更完美，毫無破綻。”穆勒顯的興奮，隨即轉入沉思狀：“但問題是，論斷（3）的證明結果令人沮喪，或許再過一個月我們才能完成最終證明。”

沈奇說到：“X*的每個ω*閉凸集是逼近緊的切比雪夫集，對於這個論斷（3），我覺得我們一開始的思路就錯了，它是獨立的，不應該和論斷（1）、（2）聯系在一起。但這並不是壞事，或許，還是件值得慶幸的事情，因為我們發現的早。”