不朽的數學人生

1919年5月，吳文俊出生于上海的一個書香世家，1933年吳文俊進入上海正始中學讀高中，此時的他已是班級里的“數理王子”，17歲時他被保送至交通部南洋大學（上海交通大學前身）數學系，開啟了數學人生。

在大學期間，吳文俊打下了現代數學課程的堅實基礎，隨后他以自學為主，學習了康托爾的集合論，進而涉足點集拓撲的學習，大學畢業后，吳文俊憑借在數學方面的突出表現，進入中央研究院數學研究所，受教于陳省身，研究拓撲學。

1947年，吳文俊赴法國留學，他引進的示性類和示嵌類被稱為“吳示性類”和“吳示嵌類”，導出的示性類之間的關系式被稱為“吳公式”，新中國成立后，吳文俊放棄在法國的優越條件毅然回國，決定用所學知識報效祖國。

1976年，吳文俊在中國古算研究的基礎上，開拓了嶄新的數學機械化研究領域，年近六旬的他從零開始學習算法語言，編制算法程序，在計算機上實現了幾何定理的證明，創立了獨具中國特色、享譽國際的數學機械化方法。

吳文俊的工作原創性極強，有些時候并不被大家理解，但他始終堅守在科學攀登的道路上，從幾何定理機器證明到數學機械化理論，吳文俊的研究產生了巨大的國際影響，陳省身先生盛贊他的工作“獨出蹊徑，不襲前人，富創造性”，時至今日，吳文俊創設的“吳方法”還在不斷發展中，并在新一代大數據計算中發揮著重要作用。