不朽的數(shù)學(xué)人生

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

在大學(xué)期間，吳文俊打下了現(xiàn)代數(shù)學(xué)課程的堅(jiān)實(shí)基礎(chǔ)，隨后他以自學(xué)為主，學(xué)習(xí)了康托爾的集合論，進(jìn)而涉足點(diǎn)集拓?fù)涞膶W(xué)習(xí)，大學(xué)畢業(yè)后，吳文俊憑借在數(shù)學(xué)方面的突出表現(xiàn)，進(jìn)入中央研究院數(shù)學(xué)研究所，受教于陳省身，研究拓?fù)鋵W(xué)。

1947年，吳文俊赴法國(guó)留學(xué)，他引進(jìn)的示性類和示嵌類被稱為“吳示性類”和“吳示嵌類”，導(dǎo)出的示性類之間的關(guān)系式被稱為“吳公式”，新中國(guó)成立后，吳文俊放棄在法國(guó)的優(yōu)越條件毅然回國(guó)，決定用所學(xué)知識(shí)報(bào)效祖國(guó)。

1976年，吳文俊在中國(guó)古算研究的基礎(chǔ)上，開(kāi)拓了嶄新的數(shù)學(xué)機(jī)械化研究領(lǐng)域，年近六旬的他從零開(kāi)始學(xué)習(xí)算法語(yǔ)言，編制算法程序，在計(jì)算機(jī)上實(shí)現(xiàn)了幾何定理的證明，創(chuàng)立了獨(dú)具中國(guó)特色、享譽(yù)國(guó)際的數(shù)學(xué)機(jī)械化方法。

吳文俊的工作原創(chuàng)性極強(qiáng)，有些時(shí)候并不被大家理解，但他始終堅(jiān)守在科學(xué)攀登的道路上，從幾何定理機(jī)器證明到數(shù)學(xué)機(jī)械化理論，吳文俊的研究產(chǎn)生了巨大的國(guó)際影響，陳省身先生盛贊他的工作“獨(dú)出蹊徑，不襲前人，富創(chuàng)造性”，時(shí)至今日，吳文俊創(chuàng)設(shè)的“吳方法”還在不斷發(fā)展中，并在新一代大數(shù)據(jù)計(jì)算中發(fā)揮著重要作用。