万博官网app >中国 >快讯:中国科学院院士吴文俊今晨去世 >

快讯:中国科学院院士吴文俊今晨去世

2019-12-06 08:02:00 来源:工人日报

  

更多精采内容要下载官方APP: 苹果(iPhone)安卓(Android)安卓国内下载(APK)

名牌数学家,华夏科学院院士,正国家自然科学一等奖、正国家最高科学技术奖励、邵逸夫数学奖得主,吴文俊先生,5月7天晨以京医院去世,享年98春。

把1:

吴文俊一生介绍

 

吴文俊是我国最有国际影响之数学家之一,外对数学的基本领域拓扑学做出了根本贡献、始建了数学机械化新领域,针对数学与计算机科学研究影响深远。

吴文俊1919年出生于上海,1940年本科毕业于上海交通大学,1946年在中央研究院数学所工作、每当陈省身先生指导下起从拓扑学研究,1947年赴法留学,师从埃里斯曼同嘉当,1949年毕业于法国斯特拉斯堡大学,取得法国国家博士学位,紧接着在法国国家对中心任研究员。新中国成立后,吴文俊为1951年回国工作,事先以北京大学数学系任教授,1952年至中国科学院数学研究所任研究员,截至1980年转入中国科学院系统是所,1998年转入新建之中国科学院数学与系统是研究院。外曾任中国数学会理事长(1985-1987),中国科学院数理学部领导(1992-1994),全国政协委员、常委(1979-1998),2002年国际数学家大会主席,1993年开始任中国科学院系统所名誉所长。

起1946年至1951年,吴文俊要从施蒂费尔-惠特尼示性类的研究工作;起1953年至1957年,外要从庞特里亚金示性类的研究工作。以后,吴文俊转向示嵌类的研讨。由他当拓扑学示性类及示嵌类方面的独立工作,吴文俊赢得1956年国家首到自然科学一等奖,连为1957年增摘取为中华科学院学部委员(院士)。1958年吴文俊为请请到国际数学家大会发分组报告(因此不能成行)。

1976年,吴文俊当中原古算研究之基础上,开发了机械化数学的新领域。1986年吴文俊为请请到国际数学家大会发分组报告,1990年荣获第三世界科学院数学奖,1993年获陈嘉庚数理科学奖,1994年获首香港求是杰出科学家奖,1997年收获国际自动推理最高奖厄布朗(Herbrand)机动推理杰出成就奖。

2000年,吴文俊由对拓扑学与数学机械化的奉献,取得首到最高国家科学技术奖励。2006年吴文俊由 “针对数学机械化新兴交叉学科的奉献 ”同美国数学家David Mumford联机获得了产生东方诺贝尔奖之称的 “邵逸夫数学奖”同一百万美元之奖金。评奖委员会认为:“由此引入深邃的数学思想,吴开辟了平等种新的道,该方法被证明在缓解一大类问题及还是多有效的。”“吴之道要该领域产生了平等次清的探索性变化,连致了该领域研究方法的革命。” 外的办事“通告了数学的广度,也前途底数学家们树立了新的榜样。”

吴文俊之研究工作涉及代数拓扑学、微分拓扑学、代数几何学、谋略论、华夏数学史、数学机械化等多只数学领域并以内部做出了特别之奉献。即介绍最重要的一定量只世界:拓扑学与数学机械化。

针对拓扑学的重要贡献

拓扑学是当代数学的要领域有。法国现代数学家狄多奈称拓扑学是当代数学的女王。陈省身先生称拓扑的进步是二十世纪达到半世纪在纯粹数学的最大成就。示性类是拓扑学中最为核心的完整不变量。

上世纪50年代前后,示性类研究还处于起步阶段。吴文俊以示性类概念由繁化简,鉴于难易好,引入新的方法以及手法,形成了网之辩论。外引入了一类示性类,让叫做吴示性类。外还被来了刻画各种示性类之间关系的吴公式。每当外的办事之前,示性类的算计出大的窘迫。吴之办事被来了示性类之间的涉及和计算方法。通过拓扑学和数学的任何分支结合得越来越严密,成百上千新的研究领域应运而生。立最后要示性类理论成拓扑学中最为完善的一律回。

拓扑学中最为核心问题有是放置问题。每当吴之办事之前,搭理论只有零散的结果。吴提出了吴示嵌仿佛等系列拓扑不变量,研讨了放置理论的基本问题,连由这个发展了联合的放开理论。

每当拓扑学研究着,吴起交了承接的图。每当外的办事之熏陶下,研讨拓扑学的武器库得以形成,立极大地促进了拓扑学的进步。成百上千名数学家从吴之办事面临被启发或直接为吴之收获也开端点有,取得了一连串重大战果。诸如,吴之办事为五个国际数学最高奖-菲尔兹奖-得主引用,他俩各自是法国数学家托姆、美国数学家米尔诺、斯梅尔、维腾,英国数学家阿提亚,其间三个还以她们的获奖工作面临用了吴之结果。数学大师陈省身先生称赞吴“针对小丛示性类的研讨做出了前所未有的奉献。”由上述两件工作,1956年吴文俊赢得第一“国自然科学一等奖。”

吴文俊之办事是50年代前后拓扑学的重要突破之一,起了根本影响,成影响深远的经典性成果, 让描写上多种教科书,时至今日尚以前方研究着用。

始建数学机械化领域

上世纪七十年代末,吴文俊于是算法的看法对中华古算作了正本清源的剖析,当中国古算是算法化的数学。通过,开发了中国数学史研究之新思路与新方法,每当数学史领域有了根本影响。1986年吴文俊为请请到国际数学家大会发分组报告,介绍他当中原古代数学史研究中的成果。不仅如此,外还要当中原古算研究之启示下,开发了机械化数学的新领域。

1977年他当初等几何定理的机械化证明方面首先得到成功,提出了好多定理机器证明的吴长法。然后,相继提出微分几何的定律机械化证明方法,方程组符号求解的吴败元法,全局优化的半核定理,树立了数学机械化体系。外不仅建立数学机械化的基本功,同时用随即同样理论应用于多只大技能领域,解决了曲面拼接、单位计划、电脑视觉、机器人等大技能领域基本问题。这么走出了净是华夏人口自己开拓的新的数学道路,起了惊天动地的国际影响。

1997年吴文俊取得国际自动推理最高奖“Herbrand机动推理杰出成就奖”。颁奖词中关系,多少定理自动证明在“吴长法”起之前进展甚微,“每当非多之自发性推理领域中,这种被动局面是由于一个口了扭转的。吴文俊老显是这么一个口。”吴之办事使“多少定理证明的研讨都到复兴,成自动推理界最活跃与成功之天地有。”

几乎十年来,吴文俊一定强调人才的培育。50交60年代,外当数学所造就的学童跟长远以外影响要帮助下工作之同志,稍已经化为著名的数学家。起1960年起,吴文俊出任中国科学技术大学数学系60级学生的教学教师,每当中原科学技术大学培养了80多名学员,部分已经成所在领域的领军人物,连涌现出多名国际知名专家。

1990年,坐吴文俊为首的“中国科学院数学机械化中心”正式成立。2003年,数学机械化中心和信息安全中心联合成立了中国科学院数学机械化重点实验室。该实验室目前一度化为国际计算机数学领域最有名的领军团队之一。

吴文俊之各类独创性研究工作使他当国际、境内发生大的熏陶,不无很高的信誉。2010年,透过国际天文学联合会小天体命名委员会许可,以国际编号第7683号小行星永久命名为“吴文俊星”。 2011年,华夏人工智能学会发起设立“吴文俊人工智能科学技术奖励”;立是我国智能科学技术领域唯一依托社会力量办的科学技术奖励,所有直接推荐国家科学技术奖励资格,让叫做“华夏智能科技最高奖”。2011年,华夏科学技术大学以中国科学技术大学数学所为基础组建了中国科学院吴文俊数学重点实验室。

吴文俊治学严谨,学思想活跃,可是尚未注意个人名利,甭管获得多么高的信誉,外一连努力地以科研第一线工作,百年积极进取、坚持不懈,连得到新的成就。外读庞特里亚金之俄文原文完全是乘字典一个字一个字查出来的,那省力精神由此可见一斑。每当始发从机器证明时,外都将近花甲之年,以验证自己所提点子的有效,外由零碎开学编写计算机程序,之所以Fortran语言实现了符号计算和多定理证明的算法。编程的工作量是伟大的,外每天十多只小时在机房连续工作,毕竟获得成功。外平易近人,乐于助人,愿宣传其他人的实绩,学作风民主。

吴文俊有着鲜明的爱国心,让1951年放弃在法国的优化条件,归祖国参加社会主义建设。外对祖国的经济建设特别关注,于国内第一建设同项目如数家珍。1970年代后,外对中华文化发生了再度深切的认识,搭了好之科研工作确实切实地也复兴中国文化做出了根本贡献。

每当1994年香港求是科技基金会的“独立科学家”奖的颁奖仪式上,陈省身先生介绍吴文俊之学术成就,盛赞他保持了历史及的不少很数学家对纯粹数学与以数学都发生贡献的风,外的办事一般来说都是“独出蹊径,非袭前人,方便创造性”,外的机械证明理论“维持了中国数学的风”,盛赞“立是一个很突出的数学家!”

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

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

把2:  吴文俊先生治丧办公室

2017年5月7天

吴文俊先生治丧办公室名单

主  不论是: 王跃飞、席南华

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

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

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

电  谈: 010-82541802;82541809;82541870;82541889 。

污染  的确: 010-82541972

电子邮箱: [email protected](唁电唁信请发到此邮箱)

亲手   时:  13693282978,18710049810,15801187618,18201550405。

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

 

 

享受:

(责任编辑:溥钞)
  • 热图推荐
  • 今日热点