您的位置: 衡阳信息港 > 网络

吴文俊院士逝世斯人已去世间犹存吴方法

发布时间:2019-03-19 09:56:53

吴文俊院士(2014年5月15日摄)。新华社发

据新华社北京5月7日电 中国科学院数学与系统科学研究院7日发布讣告称,我国数学家、中国科学院院士、首届国家科技奖得主吴文俊因病医治无效,于2017年5月7日7时21分在北京逝世,享年98岁。

吴文俊1919年出生于上海,1940年本科毕业于上海交通大学,1949年获法国国家博士学位,1951年回国,先后在北京大学、中科院数学所、中科院系统所、中科院数学与系统科学研究院任职。他曾任中国数学会理事长、中科院数理学部主任、全国政协常委、2002年国际数学家大会主席、中国科学院系统所名誉所长,1957年当选为中科院学部委员(院士)。

吴文俊对数学的主要领域——拓扑学作出了重大贡献。

吴文俊院士逝世斯人已去世间犹存吴方法

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

吴文俊曾获得首届国家科技奖(2000年)、首届国家自然科学一等奖(1956年)、首届求是杰出科学家奖(1994年)、邵逸夫数学奖(2006年)、国际自动推理奖——埃尔布朗自动推理杰出成就奖(1997年)等。

■追忆吴文俊

小行星和光同尘,世间却已陨落

浩瀚宇宙中,一颗被命名为“吴文俊星”的小行星和光同尘,世间却已陨落。

斯人已去,空余追忆。“吴文俊一生淡泊自守,对于名利看得很轻,从来不宣扬自己,以至于他在国内的知名度与他的成就极不相称。”近现代数学史研究者胡作玄说。

“吴公式”“吴方法”:为现代数学开拓新天地

2000年的首届国家科技奖被授予两个人,一个是吴文俊,一个是袁隆平。在当时的介绍中,吴文俊的成就是“对数学的主要领域——拓扑学做出了重大贡献”“开创了崭新的数学机械化领域”。

拓扑学被称为“现代数学的女王”。上世纪50年代前后,吴文俊由繁化简、由难变易,提出“吴示性类”“吴公式”等,为拓扑学开辟了新的天地。

他的工作起到了承前启后的作用,令国际数学界瞩目,也因此成为影响深远的经典性成果。吴文俊的工作被五位国际数学奖——菲尔兹奖得主引用,许多数学家从中受到启发或直接以他的成果为起始点之一。1956年,吴文俊获得首届国家自然科学一等奖。

到了上世纪70年代后期,吴文俊又提出用计算机证明几何定理的“吴方法”,开创了近代数学史上的个由中国人原创的研究领域——数学机械化,实现将繁琐的数学运算证明交由计算机来完成的目标。

这一理论后来被应用于多个高技术领域,解决了曲面拼接、机构设计、计算机视觉、机器人等高技术领域核心问题。2011年,中国人工智能学会发起设立了“吴文俊人工智能科学技术奖”。

吴文俊的各项独创性研究工作使他在国际、国内享有很高的声誉。2010年,经国际天文学联合会小天体命名委员会批准,国际编号第7683号小行星被命名为“吴文俊星”。

做“有意思的事”:中国古代数学给了启发

“我就喜欢自由自在,做些有意思的事情。”在吴文俊心里,数学研究就是件“有意思”的事,尤其是晚年从事的中国古代数学研究,更是自己“得意”的工作。

上世纪70年代后期提出的“吴方法”,被认为是自动推理领域的先驱性工作,对数学与计算机科学研究影响深远。这一开创性研究,就是吴文俊在中国古代传统数学的启发下取得的。

在同一时期,吴文俊还用算法的观点对中国古算作了正本清源的分析,认为中国古算是算法化的数学,由此开辟了中国数学史研究的新思路与新方法。吴文俊在接受采访时说,“中国古代数学一点也不枯燥,简单明了,总有一种吸引力,有意思!”

自认“笨人”:

“让人踩在我的肩膀上再上去一截”

在熟悉的人眼里,吴老是位“老顽童”,他乐观开朗,常有一些惊人之举。吴文俊在70岁的时候,曾经写了一首打油诗:“七十不稀奇,八十有的是,九十诚可贵,一百亦可期。”到了80岁大寿的时候,他对这首诗做了微妙的修改,把每一句都增加了10岁。

“做研究要实事求是,踏踏实实。功夫不到,哪里会有什么灵感?”吴文俊曾在采访中这样说,“数学是笨人学的,我是很笨的,脑筋‘不灵’。”他说。

获得国家科技奖后吴文俊说:“我是数学家、科学家,我只能尽可能避免参加各种社会活动。”他也曾谦逊地说:“不管一个人做什么工作,都是在整个社会、国家的支持下完成的。我们是踩在许多老师、朋友、整个社会的肩膀上才上升了一段。应当怎么样回报老师、朋友和整个社会呢?我想,只有让人踩在我的肩膀上再上去一截。”

据新华社北京5月7日电

©

猜你会喜欢的
猜你会喜欢的