吳文俊簡介

吳文俊：數學界的戰略科學家

吳文俊從40年代起從事代數拓撲學的研究，取得了一系列重要的成果，其中最著名的是吳示性類與吳示嵌類的引入和吳公式的建立，並有許多重要應用。數學界公認，在拓撲學的研究中，吳文俊起到了承前啟後的作用。

50年代，吳文俊和同時代的幾位著名數學家的共同工作，推動了拓撲學蓬勃發展，使之成為數學科學的主流之一。吳文俊為此曾獲1956年度國家自然科學獎一等獎。1957年，38歲的吳文俊當選為中科院學部委員。

1976年底，受計算機與古代傳統數學的啟發，吳文俊形成了一個初等幾何定理的機械化證明的思想。1977年春節前他成功地用這一思想證明了一些定理。這一研究開創了機器定理證明的時代，國際上稱為“吳文俊方法”和“吳消元法”，實現了初級幾何與微分幾何定理的機器證明，有重要的應用價值，為實現笛卡爾與萊布尼茨提出的以機器代替人腦來促進數學研究與思維方式、方法的變革邁出了一大步。

80年代，美國電腦科學界的權威曾聯名寫信給我國中央領導，認為吳先生的工作是“第一流的”，“獨自使中國在該領域走上了世界領導的崗位”。

吳文俊還特別重視數學機械化的應用。在他的影響下，中科院數學與系統科學研究院成立了數學機械化研究中心，吳文俊的成就被應用於若干高科技領域，取得一系列國際領先的成果。（馮永鋒）