98歲數學家吳俊文離世

[2017.05.08] 發表

【明報專訊】中國科學院數學與系統科學研究院昨日發出訃聞，指邵逸夫數學獎得主的著名數學家吳文俊(圖)院士，昨天早晨在北京醫院去世，終年98歲。據報，吳文俊日前在家不慎摔倒，因腦出血入院接受治療。吳文俊師從數學大師、香港科技大學前校長朱經武外父陳省身，對數學的核心領域拓撲學(topology)作出了重大貢獻，開創了數學機械化新領域，對數學與計算機科學研究影響深遠。

吳文俊1919年出生於上海，1940年本科畢業於上海交通大學，1946年在中央研究院數學所工作，在陳省身指導下開始從事拓撲學研究，1947年負笈法國，師從埃里斯曼(Richard Elman)與嘉當(Élie Cartan)，1949年畢業於法國斯特拉斯堡大學，獲得法國國家博士學位，隨後在法國國家科學中心任研究員。

吳文俊於1951年回國工作，先在北京大學數學系任教授，1952年到中國科學院數學研究所任研究員，直到1980年轉入中國科學院系統科學所，1998年轉入新成立的中國科學院數學與系統科學研究院。他曾任中國數學會理事長(1985-1987)，中國科學院數理學部主任(1992-1994)，全國政協委員、常委(1979-1998)，2002年國際數學家大會主席，1993年開始任中國科學院系統所名譽所長。

1976年，吳文俊在中國古算研究的基礎上，開拓了機械化數學的嶄新領域。1986年吳被邀請到國際數學家大會作分組報告，1990年榮獲第三世界科學院數學獎，1993年獲陳嘉庚數理科學獎，1994年獲首屆香港求是傑出科學家獎，1997年獲得國際自動推理最高獎厄布朗(Herbrand)自動推理傑出成就獎。