欢迎光临!
您现在所在的位置:首页 >> 通知公告 & 学术信息
公告 & 新闻
NEWS & NOTICES
关于举行吴文俊院士追思会的通知
2017-05-07 程玥

关于举行吴文俊院士追思会的通知

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

      为沉痛缅怀吴文俊先生,兹定于5月8日(周一)下午15时30分,在闵行校区数学楼2-100号会议室,举行“吴文俊院士追思会

    如您参加本次活动,请提前反馈。

    联系人:白杰、朱琳、程玥

    联系电话:54743147-1307、1309

    联系电话:61316、62211、622018


                                                      上海交通大学数学科学学院

                                                          二○一七年五月七日

 

   

    附吴文俊院士简介:

    吴文俊,男,1919年5月12日出生于上海,1940年毕业于上海交通大学数学系,1946年到中央研究院数学所工作。1947年赴法国斯特拉斯堡大学留学,1949年获得法国国家博士学位,随后在法国国家科学中心任研究员。

    吴文俊具有强烈的爱国心,新中国成立后,吴文俊于1951年回国,参加社会主义建设。1957年当选为中国科学院学部委员(院士)。

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

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