吴文俊人工智能科学技术奖

深切缅怀丨中国的人工智能先驱、数学大师吴文俊先生逝世,祝吴先生在天堂笑容永存

2017年07月10日    来源:中国人工智能学会     
745

  今晨我们获悉了一件非常令人悲痛的消息。著名数学家、中国科学院院士、首届国家自然科学一等奖、首届国家最高科学技术奖、邵逸夫数学奖得主吴文俊先生,5月7日晨在北京医院去世,享年98岁。

  吴文俊,我国著名数学家、中国共产党优秀党员、中国科学院院士。吴文俊对数学的主要领域—拓扑学做出了重大贡献、开创了崭新的数学机械化领域,获得首届国家最高科技奖、首届国家自然科学一等奖、有东方诺贝尔奖之称的邵逸夫数学奖、国际自动推理最高奖Herbrand自动推理杰出成就奖。

  作为中国人工智能学会的名誉理事长,吴文俊先生与学会有着非常深厚密切的联系,他不仅是学会在人工智能领域上的精神引领,同样也是学会重要奖项“吴文俊人工智能科学技术奖”的奠基人。

  吴文俊1919年出生于上海,1940年本科毕业于上海交通大学,1949年获法国国家博士学位,1951年回国,先后在北京大学、中国科学院数学所、中国科学院系统所、中国科学院数学与系统科学研究院任职。他曾任中国数学会理事长,中国科学院数理学部主任,全国政协常委,2002年国际数学家大会主席,中国科学院系统所名誉所长。

  吴文俊对数学的主要领域—拓扑学做出了重大贡献。他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”,他导出的示性类之间的关系式被称为“吴公式”。他的工作是1950年代前后拓扑学的重大突破之一,成为影响深远的经典性成果。1970年代后期,他开创了崭新的数学机械化领域,提出了用计算机证明几何定理的“吴方法”,被认为是自动推理领域的先驱性工作。他是我国最具国际影响的数学家之一,他的工作对数学与计算机科学研究影响深远。

  吴文俊曾获得首届国家最高科技奖(2000)、首届国家自然科学一等奖(1956)、首届求是杰出科学家奖(1994)、邵逸夫数学奖(2006)、国际自动推理最高奖Herbrand自动推理杰出成就奖(1997)。