吳文俊引發(fā)“地震”的天才

國(guó)際數(shù)學(xué)界不乏年少成名的奇才，但很少有人能時(shí)隔數(shù)十年再創(chuàng)輝煌，更罕有人能在晚年開宗立派，劈開一個(gè)全新領(lǐng)域。吳文俊做到了。

1946年，吳文俊師從數(shù)學(xué)家陳省身，開始研究拓?fù)鋵W(xué)。拓?fù)鋵W(xué)是著名的“難學(xué)”，但會(huì)者不難，入門不久，吳文俊就展露出化難為易的天分。1947年11月份，28歲的吳文俊赴法留學(xué)，繼續(xù)拓?fù)鋵W(xué)的研究，僅用兩年就獲取博士學(xué)位。他在這一領(lǐng)域的研究猛到什么程度呢？中科院院士林群曾經(jīng)笑言：拓?fù)鋵W(xué)在上世紀(jì)50年代前后鬧過5次“地震”，其中一次是由中國(guó)人“鬧”的，這個(gè)中國(guó)人就是吳文俊。

在拓?fù)鋵W(xué)研究中，吳文俊起到了承前啟后的關(guān)鍵作用。在吳文俊的影響下，研究拓?fù)鋵W(xué)的武器庫(kù)得以形成，這極大地推進(jìn)了拓?fù)鋵W(xué)的發(fā)展。許多著名數(shù)學(xué)家從吳的工作中受到啟發(fā)或直接以吳的成果為起始點(diǎn)之一。

在晚年的這一系列研究中，吳文俊提出了幾何定理機(jī)器證明的“吳方法”，微分幾何的定理機(jī)械化證明方法，方程組符號(hào)求解的“吳消元法”，全局優(yōu)化的有限核定理，建立了數(shù)學(xué)機(jī)械化體系。

1997年吳文俊獲得國(guó)際自動(dòng)推理最高獎(jiǎng)“Herbrand自動(dòng)推理杰出成就獎(jiǎng)”。授獎(jiǎng)詞中提到，幾何定理自動(dòng)證明在“吳方法”出現(xiàn)之前進(jìn)展甚微，“在不多的自動(dòng)推理領(lǐng)域中，這種被動(dòng)局面是由一個(gè)人完全扭轉(zhuǎn)的”。吳文俊的工作使得“幾何定理證明的研究已全面復(fù)興，變?yōu)樽詣?dòng)推理界最活躍與成功的領(lǐng)域之一”。

◎ 來源|經(jīng)濟(jì)日?qǐng)?bào)，有刪減