2000年度國家最高科技獎獲得者。著名數學家。1957年，當選為中科院最年輕的院士。1990年，被第三世界科學院選為院士。
1919年5月出生於上海。1940年畢業於上海交通大學數學系。1946年赴法國Strassbourg大學留學，1949年獲得法國國家科學研究中心博士學位。1952年至1979年任中國科學院數學所副所長、研究員。1979年至現在任中國科學院系統科學研究所副所長、名譽所長、研究員。
他的研究工作涉及到數學的諸多領域。其主要成就表現在拓撲學和數學機械化兩個領域。
他為拓撲學做了奠基性的工作。他的示性類和示嵌類研究被國際數學界稱為“吳公式”，“吳示性類”，“吳示嵌類”，至今仍被國際同行廣泛引用，影響深遠，享譽世界。
70年代後期，在計算機技術大發展的背景下，他繼承和發展了中國古代數學的傳統(即算法化思想)，轉而研究幾何定理的機器證明，徹底改變了這個領域的面貌，是國際自動推理界先驅性的工作，被稱為“吳方法”，方程求解的“吳零點定理”，産生了巨大影響。現在美、德、英、法、意、日等國都在致力於“吳方法”的研究和證明，並已在智慧計算、機器人學、控制論、工程設計等方面予以應用。
1956年他因在拓撲學上的傑出成就榮獲國家自然科學一等獎，曾獲得第三世界科學院數學獎、陳嘉庚數理科學獎、香港求是科技基金會傑出科學家獎、國際Herbrand 自動推理傑出成就獎。
責編：徐穎
更多相關新聞
