■出售外链〓提升排名┿【QQ:1012189958】 1号站 1号站平台 1号站娱乐 一号站平台 拉菲娱乐 拉菲2 拉菲娱乐 万达平台 万达平台 万达平台 万达平台 万达娱乐 万达娱乐 万达娱乐 东森平台 东森平台 东森平台 东森娱乐 东森娱乐 东森娱乐 杏彩平台 杏彩平台 杏彩平台 杏彩平台 杏彩娱乐 杏彩娱乐 杏彩娱乐 杏彩娱乐 杏彩娱乐 凤凰平台 凤凰平台 凤凰平台 凤凰平台 凤凰平台 凤凰娱乐 凤凰娱乐 凤凰娱乐 凤凰娱乐 凤凰娱乐 娱乐天地 娱乐天地 娱乐天地 娱乐天地 娱乐天地 娱乐天地 娱乐天地 娱乐天地 娱乐天地 娱乐天地 娱乐天地 娱乐天地 娱乐天地 世爵平台 世爵平台 世爵平台 世爵平台 翡翠平台 世爵娱乐 世爵娱乐 世爵娱乐 世爵娱乐 翡翠平台 翡翠平台 翡翠平台 翡翠娱乐 翡翠娱乐 畅博娱乐 畅博娱乐 畅博娱乐 畅博娱乐 畅博娱乐 畅博娱乐 畅博娱乐 畅博娱乐 畅博娱乐 畅博娱乐 华宇平台 华宇平台 华宇平台 华宇平台 华宇平台 华宇平台 华宇平台

娱乐平台-娱乐天地[拉菲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年代,吴文俊第一次接触到计算机,他敏锐地觉察到计算机的极大发展潜能。受计算机与古代传统数学的启发,他抛开已成就卓著的拓扑学研究,毅然开始攀越学术生涯的第二座高峰数学机械化。 

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

来源:百度百科

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

为您推荐