威尼斯官网追求纯粹的数学人生,名人大全

威尼斯官网 1
姓名:吴文俊 国籍:中国 年代:1919- 职位:著名数学家
吴文俊,男,1919年5月出生于上海,1940年毕业于上海交通大学数学系。 
1946年赴法国Strassbourg
大学留学,获博士学位。1957年被选为中国科学院学部委员(院士)。1990年被第三世界科学院选为院士。 
1952年至1979年任中国科学院数学所副所长、研究员。1979年至现在任中国科学院系统科学研究所副所长、名誉所长、研究员。 
吴文俊院士是著名的数学家,他的研究工作涉及到数学的诸多领域。在多年的研究中取得了丰硕成果。其主要成就表现在拓扑学和数学机械化两个领域。他为拓扑学做了奠基性的工作。他的示性类和示嵌类研究被国际数学界称为“吴公式”,“吴示性类”,“吴示嵌类”,至今仍被国际同行广泛引用,影响深远,享誉世界。 
70年代后期,在计算机技术大发展的背景下,他继承和发展了中国古代数学的传统(即算法化思想),转而研究几何定理的机器证明,彻底改变了这个领域的面貌,是国际自动推理界先驱性的工作,被称为“吴方法”,产生了巨大影响。吴的研究取得了一系列国际领先成果并已应用于国际上当前流行的符号计算软件方面。 
吴文俊院士热爱祖国,有高尚的科学道德,是数学界德高望重的前辈,至今仍在数学机械化研究的第一线。在50多年的研究工作中,始终站在数学领域的前沿,做出了原创性研究成果。在国际上产生了重大影响。

威尼斯官网 2

威尼斯官网,首届国家最高科技奖获得者、著名数学家吴文俊院士因病医治无效,于5月7日在北京逝世,享年98岁。中国科学院数学与系统科学研究院发布的讣告称,吴文俊院士是中国最具国际影响的数学家之一,他的工作对数学与计算机科学研究影响深远。

吴文俊1919年5月12日出生于上海。1940年毕业于上海交通大学,1946年到中央研究院数学所工作。他与国际数学大师陈省身的师生故事被数学界传为一段佳话。当时陈省身在研究所主持拓扑学研究工作,在他的帮助和引导下,原为图书馆管理员的吴文俊进入了拓扑学研究领域。与他住在一个宿舍的曹锡华回忆,吴文俊每天攻关至夜深,感觉证明成功后方才睡觉。可一觉醒来,发现证明有错,便重新开始。到下午,吴文俊又对同事说:“证明出来了。”可很快他又会发现,证明出现了漏洞,既而又开始熬夜。如此反复了不知多少遍,终获成功。

1947年,他考上了中法交换生,赴斯特拉斯堡大学留学,两年后获得法国国家博士学位,随后在法国国家科学中心任研究员。在法国学习时,为了参考更多的外国文献,他自学了英语、法语、德语和俄语。他谦虚地表示:“会4种外语没有什么,它们只是研究工具而已。”留学期间,他再次向拓扑学最困惑的问题发起了攻击——证明4k维球无近复结构。这个问题的解决,使欧洲的拓扑学大师们大为吃惊。他们不敢相信,一个中国学生能解决这样的难题。

新中国成立后,吴文俊于1951年回国,先后在北京大学、中国科学院数学所、中国科学院系统所、中国科学院数学与系统科学研究院任职。他引进的示性类和示嵌类被称为“吴示性类”和“吴示嵌类”,他导出的示性类之间的关系式被称为“吴公式”,极大地推进了拓扑学的发展,成为影响深远的经典性成果,引发了大量的后续研究。由于他的出色工作,1956年,他与华罗庚、钱学森一起荣获1956年国家第一届自然科学奖的最高奖,1957年他当选为中国科学院学部委员。

直到晚年,吴文俊都在研究数学。受计算机与中国古代数学的启发,上世纪70年代后期,已近花甲之年的吴文俊又开创了崭新的数学机械化领域,并由此开创了近代数学史上的第一个由中国人原创的研究领域。他把中国传统数学的思想概括为机械化思想,提出了用计算机证明几何定理的方法,国际上称为“吴方法”,首次实现了高效的几何定理自动证明,开创了用计算机高效自动解决数学问题的先河。

为了在计算机上验证演算结果,年近60岁的他学习了Basic、Algol和Fortran等多种编程语言。他每天早晨7点多,书包里揣着一个馒头,等管理人员开门后,就一头扎入机房,一般10小时后才出来。傍晚回家,晚饭后突击整理编写结果,2小时后,再回研究所进入机房,工作到午夜或凌晨。他幽默地总结说:“数学适合笨人来做。”

2001年,吴文俊因其在拓扑学与数学机械化研究获得首届国家最高科学技术奖。他的研究工作还涉及代数几何学、对策论、中国数学史等多个数学领域,并在其中做出了卓越的贡献。

浩瀚宇宙中,有一颗被命名为“吴文俊星”的小行星,这是对他科学贡献和科学精神的纪念和褒奖。斯人已去,但那颗璀璨的“吴文俊星”将时刻照耀和激励我们向科学的高峰奋进。

(原载于《人民日报海外版》 2017-05-10 11版)

发表评论

电子邮件地址不会被公开。 必填项已用*标注

CopyRight © 2015-2019 威尼斯官网 All Rights Reserved.
网站地图xml地图