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

讣告:中科院院士吴文俊逝世

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

讣 告

  中国共产党优秀党员、我国著名数学家、中国科学院院士、首届国家最高科技奖获得者、中国科学院数学与系统科学研究院研究员吴文俊先生因病医治无效,于2017年5月7日7时21分在北京不幸逝世,享年98岁。

  吴文俊1919年5月12日出生于上海。1940年毕业于上海交通大学,1946年到中央研究院数学所工作。1947年赴法国斯特拉斯堡大学留学,1949年获得法国国家博士学位,随后在法国国家科学中心任研究员。新中国成立后,吴文俊于1951年回国,先后在北京大学、中国科学院数学所、中国科学院系统所、中国科学院数学与系统科学研究院任职。曾任中国数学会理事长、中国科学院数理学部主任、全国政协常委、2002年国际数学家大会主席、中国人工智能学会名誉理事长、中国科学院系统所名誉所长。1957年当选为中国科学院学部委员(院士)。

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

  吴文俊曾获得首届国家最高科技奖(2000)、首届国家自然科学一等奖(1956)、首届求是杰出科学家奖(1994)、有东方诺贝尔奖之称的邵逸夫数学奖(2006)、国际自动推理最高奖Herbrand自动推理杰出成就奖(1997)。他培养的许多学生已成为所在领域的领军人物。他建立的数学机械化重点实验室是国际符号计算领域最主要的研究中心之一。

  吴文俊具有强烈的爱国心,于1951年放弃在法国的优越条件,回到祖国参加社会主义建设。他对中国文化有着深刻的认识,并通过自己的科研工作为复兴中国文化做出了重要贡献。

  吴文俊先生永垂不朽!

  吴文俊先生悼念网站:http://www.amss.ac.cn/wwj/

  吴文俊先生遗体告别仪式定于2017年5月11日上午10:30在八宝山殡仪馆东厅举行。

吴文俊先生治丧办公室   

2017年5月7日        

  吴文俊先生治丧办公室:

  主 任: 王跃飞、席南华

  副主任: 汪寿阳、高小山、武艰

  成 员: 巩馥洲、高军、潘建中、胡晓东、戴彧虹、张纪峰、杨晓光、李洪波、冯雷、丁晓蕾

  联系人: 周代珍、李佳、牛园园、王林

  电 话: 010-82541802;82541809;82541870;82541889 。 传 真: 010-82541972

  电子邮箱:wu-commemorate@amss.ac.cn(唁电唁信请发至此邮箱)

  手 机: 13693282978,18710049810,15801187618,18201550405。

  地 址: 北京市海淀区中关村东路55号,数学院南楼417室 邮 编: 100190

  参加遗体告别仪式的同志请于2017年5月11日上午9:15在思源楼上车前往殡仪馆。