您现在的位置:新闻首页>探索专题

数学大师、AI先驱吴文俊逝世,40年前让电脑代替

2018-08-02 09:05编辑:jcczip.com人气:


数学大师、AI先驱吴文俊逝世,40年前电脑代替人脑证明定理

2017-05-07 12:26 来源:量子位

原标题:数学大师、AI先驱吴文俊逝世,40年前电脑代替人脑证明定理

舒石 问耕 发自 LZYY

量子位 报道 | 公众号 QbitAI

数学大师、AI先驱吴文俊逝世,40年前让电脑代替

我国著名数学大师、首届国家最高科技奖获得者、人工智能研究开拓者吴文俊院士因病医治无效,于2017年5月7日7时21分在北京逝世。

在此致以深切的哀悼。

吴文俊(Wentsun WU),祖籍浙江嘉兴,1919年5月12日出生于上海。1940年吴文俊毕业于交通大学数学系,1949年在法国斯特拉斯堡大学获博士学位。

吴文俊在拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等研究领域均有杰出的贡献,在国内外享有盛誉。他的数学研究活动,可分为前后两个时期。

前期自1947年至70年代,以代数拓扑为主,他的贡献主要有两个方面:示性类、示嵌类研究,是拓扑学中的奠基性工作并有许多重要应用。

后期始于1976年,从事机器征明与数学机械化的研究。他提出的用计算机证明几何定理的方法(吴方法),与常用的基于数理逻辑的方法根本不同,显现了无比的优越性,改变了国际上自动推理研究的面貌,被称为自动推论领域的先驱性工作。

数学大师、AI先驱吴文俊逝世,40年前让电脑代替

吴文俊,《人民画报》1957年,摄影 钱浩

吴文俊曾获得首届国家自然科学一等奖(1956)、中国科学院自然科学一等奖(1979)、第三世界科学院数学奖(1990)、陈嘉庚数理科学奖(1993)、首届香港求是科技基金会杰出科学家奖(1994)、Herbrand自动推理杰出成就奖(1997)、首届国家最高科学技术奖(2000)、第三届邵逸夫数学奖(2006)。

数学大师、AI先驱吴文俊逝世,40年前让电脑代替

吴文俊与袁隆平获首届国家最高科学技术奖

2010年5月4日,国际小行星中心先后发布公报通知国际社会,将国际永久编号第7683号小行星永久命名为“吴文俊星”。

吴文俊1957年当选为中科院学部委员(后改为院士)。现任中国科学院系统科学研究所名誉所长。1991年当选第三世界科学院院士。

吴文俊还曾担任中国数学会理事长(1985—1987),中国科学院数理学部主任(1992—1994),全国政协常委(1979—1998)

此外,中国人工智能学会还发起成立“吴文俊人工智能科学技术奖”,这是我国智能科学技术领域唯一以吴文俊先生命名,依托社会力量设立的科学技术奖,具备直接推荐国家科学技术奖资格,被誉为“中国智能科技最高奖”。

再次深切缅怀吴文俊先生。

以下是量子位摘录整理的一些吴文俊生平故事。

拓扑学

吴文俊的青少年时代是在抗战的炮火中度过的。

他小时候喜欢看历史书籍,对数学并没有多大兴趣。在大学二年级时还曾一度对数学失去兴趣,甚至想辍学不念。一位姓武老师的精彩课程,改变了他对数学的看法。大学三四年级时的刻苦钻研,使他打下了现代数学的基础。

大学毕业后,吴文俊到处奔波才在郊区的中学找到了一个位置。此后整整五年,没有接触数学研究。

抗战胜利后,吴文俊由亲友推荐结识了陈省身先生。此时,拓扑学正在兴起,被称为现代数学的王后,陈省身把他引上了拓扑学的正途。在陈省身身边一年多的时间里,吴文俊展露了颖异的才华,极受陈先生赏识。

1946年,吴文俊考取了留学生,来到法国,两年之后获得法国国家科学博士学位。法国是拓扑学的中心,吴文俊在这里御风而飞,渐入境界。

1950年, 吴文俊提出“吴示性类” 和“吴公式”,将拓扑学中示性类的概念由繁化简,由难变易,并给出了示性类之间明确的关系和可以计算的公式。吴文俊抓住本质的鲜明工作,如同拨云见日,为拓扑学开辟了新的天地,被称为 “拓扑学的地震”。

1951年吴文俊回到祖国,继续拓扑学方面的研究,又作出了“吴示嵌类”的发现。

数学大师、AI先驱吴文俊逝世,40年前让电脑代替

1956年,37岁的吴文俊因其在拓扑学上的杰出成就,与华罗庚、钱学森一起获得当时的“最高科技奖”——国家自然科学一等奖,第二年他成为了当时最年轻的中国科学院学部委员(院士)之一。

数学机械化

(来源:科学探索网)

织梦二维码生成器
已推荐
0
  • 凡本网注明"来源:的所有作品,版权均属于中,转载请必须注明中,http://www.jcczip.com。违反者本网将追究相关法律责任。
  • 本网转载并注明自其它来源的作品,目的在于传递更多信息,并不代表本网赞同其观点或证实其内容的真实性,不承担此类作品侵权行为的直接责任及连带责任。其他媒体、网站或个人从本网转载时,必须保留本网注明的作品来源,并自负版权等法律责任。
  • 如涉及作品内容、版权等问题,请在作品发表之日起一周内与本网联系,否则视为放弃相关权利。






图说新闻

更多>>