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

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

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