专栏名称: 新智元
智能+中国主平台,致力于推动中国从互联网+迈向智能+新纪元。重点关注人工智能、机器人等前沿领域发展,关注人机融合、人工智能和机器人革命对人类社会与文明进化的影响,领航中国新智能时代。
目录
相关文章推荐
51好读  ›  专栏  ›  新智元

【缅怀与哀悼】中国人工智能先驱、国家最高科技奖得主吴文俊逝世

新智元  · 公众号  · AI  · 2017-05-07 12:07

正文

请到「今天看啥」查看全文




吴文俊生平介绍


吴文俊是我国最具国际影响的数学家之一,他对数学的核心领域拓扑学做出了重大贡献、开创了数学机械化新领域,对数学与计算机科学研究影响深远。


吴文俊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年代前后,示性类研究还处在起步阶段。吴文俊将示性类概念由繁化简,由难变易,引入新的方法和手段,形成了系统的理论。他引入了一类示性类,被称为吴示性类。他还给出了刻画各种示性类之间关系的吴公式。在他的工作之前,示性类的计算有极大的困难。吴的工作给出了示性类之间的关系与计算方法。由此拓扑学和数学的其他分支结合得更加紧密,许多新的研究领域应运而生。这最终使示性类理论成为拓扑学中最完美的一章。







请到「今天看啥」查看全文


推荐文章
最搞笑笑话王  ·  农村媳妇帮牛配种,笑死了!
8 年前
Kindle电子书库  ·  这一次,她的奶茶泼到了我Kindle上……
8 年前