娱乐平台-娱乐天地[拉菲II]-用户登录注册

送别!他让“外国人跟着中国人跑” 而我们对这位数学泰斗却知之甚少

2017-12-03 13:50 网络整理

今日上午,中国科学院数学与系统科学研究院发布讣告称,首届国家最高科技奖获得者、著名数学家吴文俊院士因病医治无效,于2017年5月7日7时21分在北京不幸去世,享年98岁。

网站截屏

吴文俊院士,37岁凭借在拓扑学上的杰出成就,与华罗庚、钱学森一起获得首届国家自然科学奖一等奖;38岁当选中国科学院学部委员;上世纪70年代开始攀登数学机械化的高峰;世纪之交,捧得首届国家最高科技奖……

然而我们对他却知之甚少。

来源:百度百科

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

新中国成立后,吴文俊于1951年回国,先后在北京大学,中国科学院数学研究所,中国科学院系统科学研究所、中国科学院数学与系统科学研究院任职。曾任中国数学会理事长、中国科学院数理学部主任、全国政协常委、2002年国际数学家大会主席,中国科学院系统所名誉所长。1957年当选为中国科学院学部委员(院士)。

吴文俊对数学的主要领域—拓扑学做出了重大贡献。他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”,他导出的示性类之间的关系式被称为“吴公式”。他的工作是1950年代前后拓扑学的重大突破之一,成为影响深远的经典性成果。

1970年代后期,他开创了崭新的数学机械化领域,提出了用计算机证明几何定理的“吴方法”,被认为是自动推理领域的先驱性工作。他是我国最具国际影响的数学家之一,他的工作对数学与计算机科学研究影响深远。

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

中国数学梦:让外国人跟着中国人跑

吴文俊是数学界的“泰斗”,他的示性类和示嵌类研究被国际数学界称为“吴公式”,“吴示性类”,“吴示嵌类”,至今仍被国际同行广泛引用。

吴文俊在数学界最关注的事情,莫过于数学的探索研究和发展。“我想知道数学界在进行哪些探索,金融数学进展如何,统计和运筹搞得怎样,西部地区的年轻人申请基金是否困难。”吴文俊说道。

吴文俊曾与陈省身、程民德、胡国定等中国老一辈数学家共同提出“中国数学要在21世纪率先赶上世界先进水平,成为数学强国”的宏伟目标

吴文俊补充道,当时还提了“三步走”和具体规划,想把全国数学界动员起来,实现“率先赶上”的中国数学梦。我做梦都在想哪个领域赶上去了。搞数学,光发表论文不值得骄傲,应该有自己的东西。不能外国人搞什么就跟着搞什么,应该让外国人跟我们跑。这是可以做到的。

现在看,中国数学梦在部分领域已成真。中国人用机械证明定理,全世界都认可。以前认为,计算机只能用于计算,现在还能用于证明,计算机的作用就更大了。

自谦:数学是笨人学的

尽管已经不亲自带学生,但吴老一直十分关心年轻人的成长。他看不惯现在少数年轻人“跟着外国人跑”的做法,他说:“如果光是发表个论文,不值得骄傲,应该有自己的东西。” 

他始终强调年轻人要有独立的思想、看法,敢于超越现有的权威,绝不能人云亦云。 

说起自己成功的经验,吴老首先想到的是:“做研究不要自以为聪明,总是想些怪招,要实事求是,踏踏实实。功夫不到,哪里会有什么灵感?” 

“数学是笨人学的,我是很笨的,脑筋"不灵"。”他说。 

可就是这样一位自认为“很笨”的人,总能站在数学研究的最前沿。 

上世纪70年代,吴文俊第一次接触到计算机,他敏锐地觉察到计算机的极大发展潜能。受计算机与古代传统数学的启发,他抛开已成就卓著的拓扑学研究,毅然开始攀越学术生涯的第二座高峰数学机械化。 

为了解决机器证明几何定理的问题,他年近花甲从头学习计算机语言。那时,在中科院系统科学研究所的机房里,经常会出现一位老人的身影,不分昼夜地忘我工作。有很多年,吴老的上机操作时间都是整个研究所的第一名。

来源:百度百科

正是这种日积月累、刻苦努力的“笨功夫”,经过近十年的努力,他用机器证明几何定理终于获得成功。 

为您推荐