王渝生

剛剛過去的5月12日，是母親節(jié)、佛誕日，也是吳文俊大師誕辰100周年紀(jì)念日。古今中外，凡到達(dá)極致的真、善、美，都是相互關(guān)聯(lián)的。

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

吳文俊早年畢業(yè)于交通大學(xué)，教過5年中學(xué)數(shù)學(xué)，1946年被拓?fù)浯髱熽愂∩砜粗?，帶到南京中央研究院研究拓?fù)鋵W(xué)，1947年負(fù)笈西歐留學(xué)，1949年獲法國國家博士學(xué)位，他迅速在拓?fù)鋵W(xué)研究前沿領(lǐng)域取得了非凡的獨(dú)創(chuàng)性成就，以“吳示性類”“吳示嵌類”命名的公式被譽(yù)稱為“拓?fù)涞卣稹钡拿懵暫?nèi)外。

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

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

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

這段話字字珠璣、擲地有聲，在課堂上引起“中算地震”，令聞?wù)哒衩@發(fā)聵，深思深省。而我的博士生導(dǎo)師、數(shù)學(xué)史家嚴(yán)敦杰教授也寫過這樣的詩句：“若把《原本》比《算術(shù)》，其中翹楚是《九章》?！彼麄兊挠^點(diǎn)不謀而合。

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

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

簡單地說，吳文俊創(chuàng)立的數(shù)學(xué)機(jī)械化方法，就是用計(jì)算機(jī)代替了人腦，所以他獲得國際人工智能的最高獎(jiǎng)——Herbrand自動(dòng)推理杰出成就獎(jiǎng)，也獲得了國家最高科學(xué)技術(shù)獎(jiǎng)。

吳文俊的目標(biāo)是在數(shù)學(xué)的各個(gè)領(lǐng)域全面推行機(jī)械化。這一思想是繼承中國傳統(tǒng)文化精華和實(shí)現(xiàn)中華民族偉大復(fù)興在數(shù)學(xué)領(lǐng)域的正確途徑，是文化自信的典范。

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

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