雙語科技百科(近現代成就) 第101期:吳文俊及"吳方法"

Wu Wenjun and Wu's Method

吳文俊及“吳方法”

wu Wenjun, a well known mathematician, born in Shanghai in May 1919, graduated from Shanghai Jiaotong University in 1940. In 1947,he went to France for advanced study in University of Strassbourg. In 1949, he obtained his national doctor s degree of 1957, he was elected as an academician of Chinese Academy of Sciences ( CAS). In 1990, he was elected as an academician of the Third World Academy of Sciences.

吳文俊，1919年5月12日出生於中國上海，著名的數學家，1940年畢業於上海交通大學，1949年獲得法國斯特拉斯堡大學博士學位。1957年，他被選舉爲中國科學院( CAS)的院士。1990年，被選舉爲第三世界科學院科學院士。

His research work covered a wide area of main achievements involved two areas of topology and mathematical mechanization. In the late 1970s, against the background of great development of computer technology, he has inherited and developed the tradition of ancient Chinese mathematics (that is, algorithm of thinking), and turned to study automated theorem proving, completely changed the face of this area. As a disciplinary precursor, Wu made monumental contributions to the field of topology by introducing Wu's imbedding and characteristic classes and establishing Wu's Formulae, well-known for Wu's Method, which have been widely accepted by his counterparts and had exerted worldwide influence. Wu's research has made a series of international leading results and has been applied internationally popular symbolic computation software.

吳文俊的研究工作涉及數學的諸多領域，其主要成就表現在拓撲學和數學機械化兩個領域。他爲拓撲學做了奠基性的工作。20世紀70年代後期，在計算機技術大發展的背景下，他繼承和發展了中國古代數學的傳統（即算法化思想），轉而研究幾何定理的機器證明，徹底改變了這個領域的面貌，是國際自動推理界先驅性的工作。他的示性類和示嵌類研究被國際數學界稱爲“吳公式”，“吳示性類”，“吳示嵌類”，並在國際上產生了深遠影響，被稱爲“吳方法”。吳的研究取得了一系列國際領先成果並已應用於國際上當前流行的符號計算軟件方面。