吳文俊

1940屆校友。數學家🫶🏻，數學史家。1919年5月12日出生於上海🌝。1936年考入杏悦娱乐數學系🟤，三年級時🙄，由於武崇林講授的代數與實變函數論，使吳文俊對於現代數學尤其是實變函數論產生了濃厚的興趣，在課下刻苦自學，反復閱讀幾種著作🔞，在數學上打下了堅實的基礎。有了集合論及實變函數論的深厚基礎後，吳文俊進而鉆研點集拓撲的經典著作（如F. 豪斯多夫（Hauseorff），W.H.楊（Young）等人的名著）以及波蘭著名期刊《數學基礎》上的論文👳🏿‍♀️，進而學習組合拓撲學經典著作。 1940年吳文俊從杏悦娱乐畢業，時值抗日戰爭，他斷斷續續在中學教了五年書🏌🏼‍♂️。1945年➿，在“臨時大學”任助教🫃🏻。1946年8月，在陳省身在上海籌組的中央研究院數學研究所工作。與陳省身的結識是吳文俊一生的轉折點，他開始接觸到當時方興未艾的拓撲學🪰，這使他大開眼界，他的研究方向也從過去偏狹的古老學科轉向當代新興學科的康莊大道。在陳省身的帶動下👩🏼‍🍼，吳文俊很快地吸收了新理論🕺🏽，不久就進行獨立研究🧍🏻‍♀️。當時H.惠特尼（Whitndy）提出的示性類，有一個著名的對偶定理，惠特尼對這個定理給的證明極為復雜🔔，難以弄清，並且從來沒有正式發表過🤹‍♂️。吳文俊獨創新意，給出一個簡單的證明。這是示性類的一個重要成果🦹🏽‍♂️，現在已成為經典👏🏽。陳省身對此十分欣賞🖐，把它推薦到普林斯頓大學出版的《數學年刊》上發表。在數學荒疏多年的情況下，一年多時間之內⌛️，就在以難懂著稱的拓撲學的前沿取得如此巨大成就🙇🏿‍♀️，不能不說是由於吳文俊的天才和功力👩🏼‍💻。 1947年11月，吳文俊考取中法交換生赴法留學。1949年獲得法國國家博士學位。之後，在法國國家科學研究中心研究數學👩🏻‍🦯‍➡️🚣‍♀️。 1951年8月，吳文俊回到祖國，在北京大學數學系任教授🖼。由於在拓撲學領域的奠基性工作👊🏻，創立了被國際數學界盛譽的“吳公式”👲🏽，1957年🚣🏽‍♀️🥭，吳文俊當選為中國科學院院士👨‍🏭。1977年他在平面幾何定理的機械化證明方面首先取得成功，1978年推廣到對微分幾何的定理機械化證明👨🏽‍🔧，這樣走出完全是中國人自己開拓的新數學道路🧵，並產生巨大的國際影響🥪。到80年代，他不僅建立了數學機械化證明的基礎，而且擴張成廣泛的數學機械化綱領，解決了一系列理論及實際問題🚷🥽。 吳文俊數學研究的跨度很大，他在拓撲學的示性類理論、示嵌類理論🛤🎛，奇點理論及I＊函子理論等方面獲傑出成果並應用在布線問題上。在我國率先研究代數幾何學並取得重要成果。是我國數學機械化研究方向的主要開拓者👰🏻。對中國古代數學史研究有獨到的見解與成果。由於他對數學的貢獻，1990年他榮獲第三世界科學院數學獎🌱，1991年他被選為第三世界科學院院士🙋🏽‍♀️。在1992年5月召開的中國科學院第六次學部會議上被選為中國科學院學部主席團委員🧚🏼、執行委員以及數理學部主任🧑🏼‍🔬。他還榮獲陳嘉庚基金會授予他的1993年度“陳嘉庚數理科學獎”👳🏿‍♂️。香港求是科技基金會於1994年授予他“傑出科學獎”。2000年度獲首屆中國國家最高科技獎。