陳省身與中國數(shù)學(xué)

　　陳省身先生不僅是數(shù)學(xué)上的一代宗師，而且為中國數(shù)學(xué)躍升至世界水平作出了巨大貢獻。陳先生先后在國內(nèi)主持與創(chuàng)辦了兩個數(shù)學(xué)研究所，培養(yǎng)了一大批優(yōu)秀的青年數(shù)學(xué)家，使我國的數(shù)學(xué)能與西方平起平坐，一爭雄長，并為21世紀(jì)中葉我國數(shù)學(xué)從大國躍升為強國創(chuàng)造了條件。本文集收集了先生的許多學(xué)生、友好與追隨者的紀(jì)念文章，先生偉大的一生，將為后世所永志不忘。

　　吳文?。╓entsunWU），男，1919年5月12日生于上海，1940年畢業(yè)于交通大學(xué)（上海交通大學(xué)），1949年獲法國國家博士學(xué)位。世界著名數(shù)學(xué)家，中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院系統(tǒng)科學(xué)研究所研究員、名譽所長，中國數(shù)學(xué)會名譽理事長。中國數(shù)學(xué)機械化研究的創(chuàng)始人之一，現(xiàn)任中國科學(xué)院系統(tǒng)科學(xué)研究所名譽所長、研究員，中國科學(xué)院院士，第三世界科學(xué)院院士；曾任中國數(shù)學(xué)會理事長（1985-1987），中國科學(xué)院數(shù)理學(xué)部主任（1992-1994），全國政協(xié)委員、常委（1979-1998）。他在拓?fù)鋵W(xué)、自動推理、機器證明、代數(shù)幾何、中國數(shù)學(xué)史、對策論等研究領(lǐng)域均有杰出的貢獻，在國內(nèi)外享有盛譽。他在拓?fù)鋵W(xué)的示性類、示嵌類的研究方面取得一系列重要成果，是拓?fù)鋵W(xué)中的奠基性工作并有許多重要應(yīng)用。他的“吳方法”在國際機器證明領(lǐng)域產(chǎn)生巨大的影響，有廣泛重要的應(yīng)用價值。當(dāng)前國際流行的主要符號計算軟件都實現(xiàn)了吳文俊教授的算法。葛墨林，理論物理學(xué)家。1938年生于北京。1961年畢業(yè)于蘭州大學(xué)物理系，1965年蘭州大學(xué)理論物理研究生畢業(yè)。現(xiàn)任南開大學(xué)教授、博士生導(dǎo)師、南開大學(xué)數(shù)學(xué)所副所長，國務(wù)院學(xué)位委員會物理、天文學(xué)科組成員，亞太地區(qū)理論物理中心一般委員會成員等。