逍遥右脑 2018-09-10 15:06
导语:我国著名数学大师、首届国家最高科技奖获得者、人工智能研究开拓者吴文俊院士因病医治无效,于2019年5月7日7时21分在北京逝世。下面是关于他的生平故事,欢迎阅读。
吴文俊的青少年时代是在抗战的炮火中度过的。
他小时候喜欢看历史书籍,对数学并没有多大兴趣。在大学二年级时还曾一度对数学失去兴趣,甚至想辍学不念。一位姓武老师的精彩课程,改变了他对数学的看法。大学三四年级时的刻苦钻研,使他打下了现代数学的基础。
大学毕业后,吴文俊到处奔波才在郊区的中学找到了一个位置。此后整整五年,没有接触数学研究。
抗战胜利后,吴文俊由亲友推荐结识了陈省身先生。此时,拓扑学正在兴起,被称为现代数学的王后,陈省身把他引上了拓扑学的正途。在陈省身身边一年多的时间里,吴文俊展露了颖异的才华,极受陈先生赏识。
1946年,吴文俊考取了留学生,来到法国,两年之后获得法国国家科学博士学位。法国是拓扑学的中心,吴文俊在这里御风而飞,渐入境界。
1950年, 吴文俊提出“吴示性类” 和“吴公式”,将拓扑学中示性类的概念由繁化简,由难变易,并给出了示性类之间明确的关系和可以计算的公式。吴文俊抓住本质的鲜明工作,如同拨云见日,为拓扑学开辟了新的天地,被称为 “拓扑学的地震”。
1951年吴文俊回到祖国,继续拓扑学方面的研究,又作出了“吴示嵌类”的发现。
1956年,37岁的吴文俊因其在拓扑学上的杰出成就,与华罗庚、钱学森一起获得当时的“最高科技奖”——国家自然科学一等奖,第二年他成为了当时最年轻的中国科学院学部委员(院士)之一。
数学机械化
数学机械化思想的提出和成果铸就了吴文俊数学人生的第二块里程碑。这源于两次偶然的机遇。一次是在无线电厂的劳动,一次是对中国古代数学的重新认识。
“文革”期间吴文俊在北京无线电一厂劳动,但这里并不做无线电,而是转向制造计算机,在这里吴文俊第一次了解了计算机,并感到了计算机的巨大威力,认为计算机是一个了不起的工具。
吴文俊深切地感受到,对于数学未来的发展具有决定性影响的一个不可估量的方面是计算机对数学带来的冲击。在不久的将来,电子计算机之于数学家,势将如显微镜之于生物学家,望远镜之于天文学家那样不可或缺。
1974年,吴文俊开始涉足中国古代数学史,渐渐地深入进去,他对中国古代数学有了一个重要发现,就是贯穿中国古代算术的思想是机械化的思想,是非常符合现代计算机的思想。这促使他想二者合一,解决一些数学问题。
1976年,吴文俊放弃已成就卓著的拓朴学研究,在抱孙子的年龄“不可思议”地毅然开始攀越学术生涯的第二座高峰——数学机械化。
为了解决机器证明几何定理的问题,他年近花甲从头学习计算机语言。那时,在中科院系统科学研究所的机房里,经常会出现一位老人的身影,不分昼夜地忘我工作。有很多年,吴老的上机操作时间都是整个研究所的第一名。
1977年,吴文俊关于平面几何定理的机械化证明首次取得成功,从此,完全由中国人开拓的一条数学道路铺展在世人面前。
1984年,年轻的中国数学家周咸青去美国丹佛参加“全美定理机器学术会议”,在会上他提交了一篇《用吴方法证明几何定理》的论文,同时在现场用电脑进行演示,短短的十几分钟证明了几百条几何定理,整个会场顿时哗然。
“吴方法”的神奇之处在于,可以让电脑代替人脑去进行几何定理的证明,这样对于人脑来说,原本很复杂和繁琐甚至不太可能的计算和推理就变得轻而易举了。把这一方法运用到各种科研和技术领域中,就能显著提高工作效率。
后来,吴文俊在他的阅读中零星地读到,在他之前,世界上也有数学家提出过减轻繁重脑力劳动的想法,像解析几何的发明者笛卡尔等,但他们或是没有进行过尝试,或是迷失了路径。
而吴文俊以他敏锐的目光在世界电脑发展初露端倪之时,立即把电脑与自己所研究的中国古代算术思想联系起来,开辟了一条与西方迥然不同的数学机械化道路,开创了机器定理证明的时代,国际上称为“吴文俊方法”和“吴消元法”。
数十年间,吴文俊不仅建立了“吴公式”、“吴示性类”、“吴示嵌类”、“吴方法”、“吴中心”,更形成了“吴学派”。近代数学史上第一次由中国人开创的这一新领域,吸引了各国的众多数学家前来学习。
因为“手工计算上千项的证明要几天功夫,用计算机1秒钟就可以完成。”
诺贝尔奖没有设数学奖,人们通常把“菲尔兹奖”誉为数学中的诺贝尔奖。吴文俊的工作被5位菲尔兹奖获得者引用,有3位的获奖成果还使用了吴文俊的方法。一直到最近两年,仍有菲尔兹奖得主在引用吴文俊的经典结果。
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容,请发送邮件至 lxy@jiyifa.cn 举报,一经查实,本站将立刻删除。