中國著名數學家吳文俊病逝

中新社昨報道，中科院院士、中國著名數學家吳文俊，昨晨因病醫治無效，在北京醫院去世，享年98歲。

吳文俊是中國最具國際影響的數學家之一，對數學的核心領域拓撲學作出了重大貢獻；開創了數學機械化新領域，提出用計算機證明幾何定理的「吳方法」，對數學與計算機科學研究影響深遠。

吳文俊曾獲首屆國家最高科學技術獎、首屆國家自然科學一等獎、首屆香港求是傑出科學家獎、邵逸夫數學獎、國際自動推理最高獎Herbrand自動推理傑出成就獎等榮譽。