国家最高科技奖得主吴文俊院士逝世享年98岁

本篇文章663字，读完约2分钟

人民网北京5月7日电(赵)中国科学院数学与系统科学研究所今天发布讣告，称首届国家科学技术奖获得者、著名数学家吴文俊院士于2017年5月7日7时21分在北京不幸逝世，享年98岁。

吴文俊于1919年5月12日出生于上海。1940年毕业于上海交通大学，1946年在中央研究院数学研究所工作。1947年，他去法国斯特拉斯堡大学学习，1949年，他在法国获得国家博士学位，然后在法国国家科学中心担任研究员。新中国成立后，吴文俊于1951年回国，先后在北京大学、中国科学院数学研究所、中国科学院系统科学研究所和中国科学院数学与系统科学研究所工作。曾任中国数学学会主席、中国科学院数学与物理研究所所长、全国政协常委、2002年国际数学家大会主席、中国科学院系统研究所名誉所长。1957年，他当选为中国科学院院士。

吴文俊对数学的主要领域拓扑学做出了巨大贡献。他引进的指示类和指示类称为“吴指示类”和“吴指示类”，他导出的指示类之间的关系称为“吴公式”。他的工作是20世纪50年代前后拓扑学的重大突破之一，成为影响深远的经典成果。20世纪70年代末，他开创了数学机械化的崭新领域，提出了用计算机证明几何定理的“吴法”，被认为是自动推理领域的一项开创性工作。他是中国最有影响力的数学家之一，他的工作对数学和计算机科学研究有着深远的影响。

吴文俊曾获首届国家科学技术奖(2000)、首届国家自然科学奖(1956)、首届求是杰出科学家奖(1994)、润润邵逸夫数学奖(2006)、国际自动推理最高奖——赫布兰德自动推理杰出成就奖(1997)。

来源：搜狐微门户