佩雷爾曼是從直覺出發,給出一個大綱,但缺乏嚴密的邏輯步驟。由別人慢慢推導出邏輯步驟。但得獎的是佩雷爾曼。丘成桐把推導邏輯細節過程的人說成封頂,就給嚴厲抨擊。
陳景潤從細節過程出發,推導出結論後,慢慢簡化證明過程,使人能看懂。
見過陳景潤本人,行動迂腐無力,但涉及專業非常敏銳、直截了當。
聽說過三位奧數名師:張築生、單墫、羅博深。我認識單墫老師,他教過我的數學分析課,我正好是他的課代表。他喜歡看武俠小說,談些哲理性觀點。我見到陳景潤,就是在單墫老師的博士答辯上。
語言智力和科學邏輯研究涉及司法、教育、科學研究,這幾個領域現在都深陷危機。所以,這些研究關係到文明興衰。這方麵研究需要綜合科學、人文和數學。其中所需要的數學思維方法,跟以往的傳統數學思維方法,也有很大不同。
大學計算機係數學課程缺乏表達智力結構的數學理論和方法。但智力結構無法用單純的形式數學理論和方法表示。需要用自然語言表達各種直覺和複雜語義。所以說,數學、科學、人文的傳統邊界和分科已經過時。
邏輯不等於數學,兩個方向都不等。光懂數學無法研究語言智力、科學邏輯和其他人類特有智力相關問題。有無數種數學邏輯和哲學邏輯,如何找出科學邏輯的正確判斷力是關鍵問題。