中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院在2017年5月7日發(fā)布訃告稱，首屆國(guó)家最高科技獎(jiǎng)獲得者、著名數(shù)學(xué)家吳文俊院士因病醫(yī)治無(wú)效，于2017年5月7日7時(shí)21分在北京不幸去世，享年98歲。

吳文俊先生是誰(shuí)？這個(gè)名字對(duì)于很多年輕人來(lái)說(shuō)顯得很陌生，但在國(guó)家科學(xué)、數(shù)學(xué)等領(lǐng)域發(fā)展歷史上，這個(gè)名字卻是非常響亮！

原中共中央總書(shū)記、國(guó)家主席胡錦濤對(duì)吳文俊先生評(píng)價(jià)道：長(zhǎng)期以來(lái)，吳老站在數(shù)學(xué)科學(xué)的前沿，潛心研究，勇于探索，取得了一系列原創(chuàng)性成就，特別是在拓?fù)鋵W(xué)、數(shù)學(xué)機(jī)械化領(lǐng)域作出了杰出貢獻(xiàn)，為國(guó)家、為民族爭(zhēng)了光。

今天我們就先回顧一下吳老在拓?fù)鋵W(xué)、數(shù)學(xué)機(jī)械化領(lǐng)域作出了哪些杰出貢獻(xiàn)。

一、在拓?fù)鋵W(xué)方面的貢獻(xiàn)

只要對(duì)數(shù)學(xué)有點(diǎn)了解都知道，拓?fù)鋵W(xué)是現(xiàn)代數(shù)學(xué)的支柱之一，更是許多數(shù)學(xué)分支的基礎(chǔ)。吳文俊極大地推進(jìn)了拓?fù)鋵W(xué)的發(fā)展，引發(fā)了大量的后續(xù)研究，可以說(shuō)吳老在拓?fù)鋵W(xué)研究中起到了承前啟后的作用，他的工作已經(jīng)成為拓?fù)鋵W(xué)的經(jīng)典結(jié)果，半個(gè)世紀(jì)以來(lái)一直發(fā)揮著重要作用，在許多數(shù)學(xué)領(lǐng)域中應(yīng)用，成為教科書(shū)中的定理。

吳文俊先生研究拓?fù)鋵W(xué)將近有三十年的歷史，并取得了一系列重大成果，如“吳示性類”與“吳示嵌類”的引入以及“吳公式”的建立。

吳文俊分析了Stiefel示性類，Whitney示性類Pontrjagin示性類和陳示性類之間的關(guān)系，指出陳示性類可以導(dǎo)出其他示性類，反之則不成立。他在示性類研究中還引入了新的方法和手段。在微分情形，吳文俊引出了一類示性類，被稱為吳示性類。吳文俊給出了Stiefel示性類和Whitney示性類可由吳示性類明確表示的公式，被稱為是吳（第一）公式，他證明了示性類之間的關(guān)系式，被稱為吳（第二）公式。這些公式給出各種示性類之間的關(guān)系與計(jì)算方法，從而導(dǎo)致一系列重要應(yīng)用，使示性類理論成為拓?fù)鋵W(xué)中完美的一章。

吳文俊提出了吳示嵌類等一系列拓?fù)洳蛔兞浚芯苛饲度肜碚摰暮诵?，并由此發(fā)展了嵌入的統(tǒng)一理論。后來(lái)他將關(guān)于示嵌類的成果用于電路布線問(wèn)題，給出線性圖平面嵌入的新判定準(zhǔn)則，與以往的判定準(zhǔn)則在性質(zhì)上是完全不同的，是可計(jì)算的。這些都改變了之前嵌入理論零散的結(jié)果。

二、在數(shù)學(xué)機(jī)械化方面的貢獻(xiàn)

全世界都知道中國(guó)是文明古國(guó)，五千年文明耀眼這個(gè)世界，但很多人卻不知道中國(guó)傳統(tǒng)數(shù)學(xué)對(duì)于中國(guó)文明發(fā)展起到非常大的作用。

中國(guó)傳統(tǒng)數(shù)學(xué)區(qū)別于西方數(shù)學(xué)最大地方就是中國(guó)傳統(tǒng)數(shù)學(xué)強(qiáng)調(diào)構(gòu)造性和算法化，注意解決科學(xué)實(shí)驗(yàn)和生產(chǎn)實(shí)踐中提出的各類問(wèn)題，往往把所得到的結(jié)論以各種原理的形式予以表述。

吳老列舉大量事實(shí)說(shuō)明中國(guó)傳統(tǒng)數(shù)學(xué)的思想可以概括為機(jī)械化思想，指出它是貫穿于中國(guó)古代數(shù)學(xué)的精髓，這種機(jī)械化思想為近代數(shù)學(xué)的建立和發(fā)展做出了不可磨滅的貢獻(xiàn)。

同時(shí)吳老上世紀(jì)70年代就認(rèn)識(shí)到中國(guó)傳統(tǒng)數(shù)學(xué)的機(jī)械化思想與現(xiàn)代計(jì)算機(jī)科學(xué)是相通的，計(jì)算機(jī)的飛速發(fā)展必將使中國(guó)傳統(tǒng)數(shù)學(xué)的機(jī)械化思想得以發(fā)揚(yáng)光大，機(jī)械化數(shù)學(xué)的發(fā)展必將為中國(guó)數(shù)學(xué)的發(fā)展做出巨大貢獻(xiàn)。如在機(jī)器證明方面，吳老提出的用計(jì)算機(jī)證明幾何定理的方法（國(guó)際上常稱為吳方法），遵循中國(guó)傳統(tǒng)數(shù)學(xué)中幾何代數(shù)化的思想，與通?；谶壿嫷姆椒ǜ静煌?，首次實(shí)現(xiàn)了高效的幾何定理自動(dòng)證明，顯現(xiàn)了無(wú)比的優(yōu)越性。因此，吳老的工作被稱為自動(dòng)推理領(lǐng)域的先驅(qū)性工作，并于1997年獲得“Herbrand自動(dòng)推理杰出成就獎(jiǎng)”。

在非線性方程組求解的方向上，吳老建立的吳消元法是求解代數(shù)方程組最完整的方法之一，是數(shù)學(xué)機(jī)械化研究的核心。在上世紀(jì)80年代末，吳老將這一方法推廣到偏微分代數(shù)方程組，他還給出了多元多項(xiàng)式組的零點(diǎn)結(jié)構(gòu)定理，這是構(gòu)造性代數(shù)幾何的重要標(biāo)志。

吳文俊的數(shù)學(xué)機(jī)械化研究可以說(shuō)是由中國(guó)數(shù)學(xué)家開(kāi)創(chuàng)的全新研究領(lǐng)域，并引起國(guó)外數(shù)學(xué)家的高度重視。吳方法傳到國(guó)外后，一些著名學(xué)府和研究結(jié)構(gòu)，如Ox-ford，INRIA，Cornell等，紛紛舉辦研討會(huì)介紹和學(xué)習(xí)吳方法。國(guó)際自動(dòng)推理雜志JAR與美國(guó)數(shù)學(xué)會(huì)的“現(xiàn)代數(shù)學(xué)”，破例全文轉(zhuǎn)載吳文俊的兩篇論文。美國(guó)人工智能協(xié)會(huì)前主席W.Bledsoe等人主動(dòng)寫(xiě)信給中國(guó)主管科技的領(lǐng)導(dǎo)人，稱贊“吳關(guān)于平面幾何定理自動(dòng)證明的工作是一流的。他獨(dú)自使中國(guó)在該領(lǐng)域進(jìn)入國(guó)際領(lǐng)先地位”。

吳文俊先生對(duì)中國(guó)數(shù)學(xué)發(fā)展作出的貢獻(xiàn)數(shù)不勝數(shù)，如不斷開(kāi)拓新的應(yīng)用領(lǐng)域，如控制論、曲面拼接問(wèn)題、機(jī)構(gòu)設(shè)計(jì)、化學(xué)平衡問(wèn)題、平面天體運(yùn)行的中心構(gòu)形等，還建立了解決全局優(yōu)化問(wèn)題的新方法。

中國(guó)古代數(shù)學(xué)高度發(fā)展，當(dāng)時(shí)在許多領(lǐng)域都處于國(guó)際領(lǐng)先地位，是名符其實(shí)的數(shù)學(xué)強(qiáng)國(guó)。但西方很多學(xué)者不了解也不承認(rèn)中國(guó)古代數(shù)學(xué)的光輝成就，將其排斥在數(shù)學(xué)主流之外。吳文俊先生作為一位有戰(zhàn)略眼光的數(shù)學(xué)家，一直在不斷思索數(shù)學(xué)應(yīng)該怎樣發(fā)展，最終在對(duì)中國(guó)數(shù)學(xué)史的研究中得到啟發(fā)。吳文俊指出，中國(guó)傳統(tǒng)數(shù)學(xué)注意解方程，在代數(shù)學(xué)、幾何學(xué)、極限概念等方面既有豐碩的成果，又有系統(tǒng)的理論。

正因?yàn)橛邢駞俏目∠壬@樣的數(shù)學(xué)家，辛勤努力從事數(shù)學(xué)工作，數(shù)十年如一日，才讓我們國(guó)家慢慢從無(wú)到有，從弱到強(qiáng)，不斷發(fā)展，吳老，您走好！

2001年2月19日，吳文俊先生獲首屆國(guó)家最高科學(xué)技術(shù)獎(jiǎng)，時(shí)任國(guó)家主席江澤民親自為吳文俊頒獎(jiǎng)。

2010年5月4日，國(guó)際小行星中心先后發(fā)布公報(bào)通知國(guó)際社會(huì)，將國(guó)際永久編號(hào)第7683號(hào)小行星永久命名為“吳文俊星”。

2011年，中國(guó)科學(xué)技術(shù)大學(xué)以中國(guó)科學(xué)技術(shù)大學(xué)數(shù)學(xué)所為基礎(chǔ)組建了中國(guó)科學(xué)院吳文俊數(shù)學(xué)重點(diǎn)實(shí)驗(yàn)室。

本文轉(zhuǎn)載自【吳國(guó)平數(shù)學(xué)教育】，并得到授權(quán)添加原創(chuàng)標(biāo)志！

【中考數(shù)學(xué)寶典】官方網(wǎng)站271初中數(shù)學(xué)網(wǎng)www.271czsx.com網(wǎng)站所有教學(xué)資源均免注冊(cè)，免費(fèi)下載，終身免費(fèi)！