高山仰止　文俊大師　名聞東西南北國　壽比珠穆朗瑪峰　拓撲地震　人工智能　開創數學機械化　吳氏微笑駐心田

王渝生

剛剛過去的5月12日，是母親節、佛誕日，也是吳文俊大師誕辰100周年紀念日。古今中外，凡到達極致的真、善、美，都是相互關聯的。

100年前的5月12日，在上海一個普通知識分子家庭里，一個普通的母親生下了一個普通的小男孩，他后來成長為一位偉大的數學家，他就是吳文俊。

吳文俊早年畢業于交通大學，教過5年中學數學，1946年被拓撲大師陳省身看中，帶到南京中央研究院研究拓撲學，1947年負笈西歐留學，1949年獲法國國家博士學位，他迅速在拓撲學研究前沿領域取得了非凡的獨創性成就，以“吳示性類”“吳示嵌類”命名的公式被譽稱為“拓撲地震”的名望蜚聲海內外。

1956年，37歲的青年才俊吳文俊同錢學森、華羅庚一起斬獲新中國首屆自然科學一等獎。2000年，81歲的他又同袁隆平一起榮膺首屆國家最高科學技術獎。2017年，98歲的他笑呵呵地離開了我們。他的音容笑貌，他那迷人的“吳氏微笑”，永遠深深留在我們心里。

回想1978年，我報考了中國科學院研究生院，我在研究生院上的第一堂課，就是吳文俊院士的“幾何定理的機器證明”。

他在第一節課上對我們說：“以《九章算術》為代表的中國傳統數學思想方法，同以《幾何原本》為代表的古希臘數學思想方法異其旨趣，各有千秋，在世界數學發展的歷史長河中，此消彼長，一度西方數學占了上風，以至于今天還有人一提到數學，言必稱希臘，歐幾里得、阿基米德;言必稱西歐，牛頓、萊布尼茲。但是，在電子計算機出現后的今天，計算機的原理同中國傳統數學思想方法若合符節。因此，我認為，在未來，以《九章算術》為代表的算法化、程序化、機械化的數學思想方法體系，凌駕于以《幾何原本》為代表的公理化、邏輯化、演繹化的數學思想方法之上，不僅不無可能，甚至于說成是殆成定局，本人也認為并非過甚之辭！”

這段話字字珠璣、擲地有聲，在課堂上引起“中算地震”，令聞者振聾發聵，深思深省。而我的博士生導師、數學史家嚴敦杰教授也寫過這樣的詩句：“若把《原本》比《算術》，其中翹楚是《九章》。”他們的觀點不謀而合。

吳文俊以花甲之齡，加盟中國數學史研究領域，獨具慧眼，深刻認識到中國傳統的數學思想方法是機械化的，由此發揚光大，創立了機械化數學。他把劉徽注《九章算術》中的割圓術，用計算機語言翻譯過來，形成了一個程序計算圓周率的精確值，他先把初等幾何定理的證明機械化，又推廣到初等微分幾何中的一些主要定理的證明也可以機械化，然后他又把機器定理證明的范圍推廣到非歐幾何、仿射幾何、圓幾何、線幾何、球幾何等領域。

繼機器定理證明之后，吳文俊把研究重點轉移到數學機械化的核心問題——方程求解上來，得出了作為機械化數學基礎的整序原理及零點結構原理，它不僅可用于代數方程組，還可以解代數偏微分方程組，從而大大擴充了理論及應用的范圍。國際上公認的“吳方法”不僅在機器定理證明、代數系統求解的理論和算法上，而且在物理學、化學、計算機科學、數學和機器人機構學等方面的應用上都取得了國際領先成果。那個時候他已經六七十歲了。他的創新直至耄耋之年，可謂老驥伏櫪，壯心不已。

簡單地說，吳文俊創立的數學機械化方法，就是用計算機代替了人腦，所以他獲得國際人工智能的最高獎——Herbrand自動推理杰出成就獎，也獲得了國家最高科學技術獎。

吳文俊的目標是在數學的各個領域全面推行機械化。這一思想是繼承中國傳統文化精華和實現中華民族偉大復興在數學領域的正確途徑，是文化自信的典范。

吳文俊是個老頑童，白發童顏，總是胖乎乎、笑瞇瞇的，十分慈祥。記得1981年首屆全國數學史會議后，60多歲的他背著旅行背包，同我們一起去過天池游覽，一路討論數學史問題，十分盡興。2002年國際數學家大會和2005年國際科學史大會期間，他都到中國科技館來作學術報告，還在館里舉辦的“中國古典數學玩具展”上親自向參觀的中外數學家和公眾講解七巧板、魯班鎖、華容道。我說：“您老80多歲了，精神真好！”他有點驕傲地回答說：“前不久我還在香港迪士尼坐了過山車呢！”吳文俊興趣愛好廣泛，聽京劇，看電影，我還在音樂廳碰上過他和他的夫人。所以，我覺得一個科學家是有血有肉的，有事業，也有生活。文俊大師活到98歲高齡，如同數學家蘇步青院士所贈壽聯：“名聞東西南北國，壽比珠穆朗瑪峰”，真是高山仰止，風范長存，永遠激勵著我們在數學科學和數學史研究中奮力前行！

5月8—12日和12—17日，我分別在上海交通大學和北京中國科學院數學與系統科學院連續召開了“紀念吳文俊誕辰100周年國際學術研討會”“第十屆中國數學會數學史分會學術年會”和“吳文俊學術思想國際研討會”，上百名中外學者，兩院院士，吳老的同事、學生和親屬濟濟一堂，以文會友，繼承吳老學術遺產，復興中國傳統數學，為實現中華民族的偉大復興而奮斗！