獻給吳文俊院士：數學王國中自由翱翔的雄鷹

點擊上方「科學大院」可以訂閱哦！

編者按：

他是數學界的「泰斗」，他的示性類和示嵌類研究被國際數學界稱為「吳公式」，「吳示性類」，「吳示嵌類」，至今仍被國際同行廣泛引用。

他就是吳文俊。

吳文俊，早年畢業於上海交通大學數學系，1949年獲法國Strassbourg大學博士學位，1957年當選為中科院學部委員(院士)，現任中國科學院系統科學研究所名譽所長，1991年吳老當選第三世界科學院院士。

吳文俊在拓撲學、自動推理、機器證明、代數幾何、中國數學史、對策論等研究領域均有傑出的貢獻，尤其是他在拓撲學的示性類、示嵌類的研究方面取得一系列重要成果，是拓撲學中的奠基性工作，並有許多重要應用。

他創立的「吳文俊方法」，更是在國際機器證明領域產生巨大的影響，有廣泛的重要的應用價值。

1991年，吳文俊任國家科委攀登項目「機器證明及其應用」首席科學家。

作者：郭曰方

朗誦：王世貴