1919年5月,吳文俊出生于上海的一個書香世家,1933年吳文俊進入上海正始中學(xué)讀高中,此時的他已是班級里的“數(shù)理王子”,17歲時他被保送至交通部南洋大學(xué)(上海交通大學(xué)前身)數(shù)學(xué)系,開啟了數(shù)學(xué)人生。
在大學(xué)期間,吳文俊打下了現(xiàn)代數(shù)學(xué)課程的堅實基礎(chǔ),隨后他以自學(xué)為主,學(xué)習了康托爾的集合論,進而涉足點集拓撲的學(xué)習,大學(xué)畢業(yè)后,吳文俊憑借在數(shù)學(xué)方面的突出表現(xiàn),進入中央研究院數(shù)學(xué)研究所,受教于陳省身,研究拓撲學(xué)。
1947年,吳文俊赴法國留學(xué),他引進的示性類和示嵌類被稱為“吳示性類”和“吳示嵌類”,導(dǎo)出的示性類之間的關(guān)系式被稱為“吳公式”,新中國成立后,吳文俊放棄在法國的優(yōu)越條件毅然回國,決定用所學(xué)知識報效祖國。
1976年,吳文俊在中國古算研究的基礎(chǔ)上,開拓了嶄新的數(shù)學(xué)機械化研究領(lǐng)域,年近六旬的他從零開始學(xué)習算法語言,編制算法程序,在計算機上實現(xiàn)了幾何定理的證明,創(chuàng)立了獨具中國特色、享譽國際的數(shù)學(xué)機械化方法。
吳文俊的工作原創(chuàng)性極強,有些時候并不被大家理解,但他始終堅守在科學(xué)攀登的道路上,從幾何定理機器證明到數(shù)學(xué)機械化理論,吳文俊的研究產(chǎn)生了巨大的國際影響,陳省身先生盛贊他的工作“獨出蹊徑,不襲前人,富創(chuàng)造性”,時至今日,吳文俊創(chuàng)設(shè)的“吳方法”還在不斷發(fā)展中,并在新一代大數(shù)據(jù)計算中發(fā)揮著重要作用。
中學(xué)生數(shù)理化·八年級數(shù)學(xué)人教版2024年8期