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

首届中国国家科学技术奖获得者吴文俊院士在北京逝世

中新社北京5月7日电中国科学院院士、首届国家自然科学奖一等奖、首届国家最高科学技术奖、邵氏数学奖获得者吴文俊7日上午在北京医院逝世，享年98岁。

吴文俊是中国最有影响力的数学家之一。他对数学的核心领域拓扑学做出了巨大贡献，开创了数学机械化的新领域，对数学和计算机科学研究产生了深远影响。据业内评论，他的工作“独树一帜，富有创造性”，他的机器证明理论“保持了中国数学的传统”，称赞他是一位杰出的数学家。

资料图:吴文俊。

吴文俊，1919年生于上海，1940年毕业于上海交通大学，1946年在中央研究院数学研究所工作。1949年毕业于法国斯特拉斯堡大学，获法国国家博士学位，后在法国国家科学中心担任研究员。

1951年吴文俊回国工作，先是在北京大学数学系任教授，1952年在中国科学院数学研究所任研究员，1980年调入中国科学院系统科学研究所，1998年调入新成立的中国科学院数学与系统科学研究所。

1956年吴文俊获得第一届国家自然科学奖一等奖，1957年因在拓扑学演示和嵌入方面的杰出工作，共同当选为中国科学院院士。1990年获第三世界科学院数学奖，1993年获陈嘉庚数学科学奖，首届香港杰出科学家奖，1997年获国际自动推理最高奖。

2000年，吴文俊因在拓扑学和数学机械化方面的贡献获得第一届国家科学技术奖。

吴文俊独创的研究工作，使他在国内外产生了广泛的影响，享有很高的声誉。2010年，经国际天文联合会小天体命名委员会批准，将7683号小行星永久命名为“吴文俊星”。2011年，中国人工智能学会发起设立“吴文俊人工智能科学技术奖”。