「沈奇,你坐下。」穆勒教授把沈奇摁回椅子上。
「我完全認可米爾諾教授所取得的傑出成就啊。」沈奇納悶了,咋地,我不能送筆以示敬意?
「當你成為普林斯頓的正式教授,就將獲得送筆資格。而現在,不可以。」穆勒教授跟沈奇講了規矩,然後獻筆給米爾諾教授。
帶著一堆筆和崇高的敬意,米爾諾教授離開了咖啡廳,不久後也將離開他的家鄉新澤西移居歐洲。
普林斯頓式的送別儀式簡單而又侖,在這裡受到尊敬是因為道德、智慧與學術貢獻。
米爾諾老寨主金盆洗手了,他的傳說永遠流傳在江湖上,從來沒在黑板上寫過一個完整的證明,卻囊括了最高級的數學大獎。
「建立體系是最重要的。」沈奇從米爾諾的實際案例中得到啟迪。
然而誰都知道,建立一個邏輯嚴謹的體系比證明一個定理困難太多了,建體系是個浩大工程,需要巨大的、持續不斷的人力物力財力投入。
建立基待學體系的唯一優勢是不用花費太過天文數字的金錢,最大的投入用就是人力資源投入。
「我這手頭缺兵少將的,水平也有限,目前搗鼓不出一套新的理論體系,還是先證明我的定理吧。定理證明多了,體系自然而然就出來了。」
是這個道理,歐幾里得一生證明了465個定理,歐氏幾何的經典體系流傳了兩千多年。
沈奇繼續開展「穆勒-沈定理」的證明工作,並在9月底與穆勒合了一版初稿。
「令人振奮的成果是,我們完全證明了論斷1)和2),比我在1982年時證明的更完美,毫無破綻。」穆勒顯的興奮,隨即轉入沉思狀:「但問題是,論斷3)的證明結果令人沮喪,或許再過一個月我們才能完成最終證明。」
沈奇說到:「x*的每個*閉凸集是逼近緊的切比雪夫集,對於這個論斷3),我覺得我們一開始的思路就錯了,它是獨立的,不用和論斷1)、2)聯繫在一起。但這並不是壞事,或許,還是件值得慶幸的事情,因為我們發現的早。」
:
250章 普林斯頓式的致敬