科堂|让世界重新认识中国数学——吴文俊

科堂YA说科学家的故事

科堂2.0新推出“科堂YA说科学家的故事”,每隔周周五,YAYA会为大家带来新中国做出杰出贡献的卓越科学家的故事,讲述他们的智慧果实为人类社会带来福祉的同时,更想让爱国、创新、求实、奉献、协同、育人的科学家精神成为引领发展的信念之光,让更多人感受到光芒的照射。请大家记得来关注我YA!

中国数学机械化之父

吴文俊

大家好,现在是科堂YA讲故事时间!今天我们要介绍的科学家是中国著名数学家、中国科学院院士、中国数学机械化之父,吴文俊(1919-2017)。

他是中国数学界的“泰山北斗”,是揭示中国数学过去和未来的大师,他在拓扑学、数学机械化两大领域取得了卓著的成就,激发了我国人工智能领域研究的跨越。他就是吴文俊。

01

开天辟地,创新传承

拓扑学被称为“现代数学的女王”,上世纪50年代前后,吴文俊由繁化简、由难变易,提出“吴示性类”“吴公式”等。他的工作承前启后,为拓扑学开辟了新天地,令国际数学界瞩目。上世纪70年代后期,吴文俊开创了崭新的数学机械化领域,提出了用计算机证明几何定理的“吴方法”,被认为是自动推理领域的先驱性工作。他用算法的观点对中国古算作了正本清源的分析,不仅开辟了中国数学史研究的新思路与新方法,也与机械化数学的开创密切相关。“吴方法”是创新,也是传承——吴文俊正是在汲取中国古代数学精髓的基础上开创了这一领域。

02

注重教育,引领前行

吴文俊曾师从数学家陈省身,他曾回忆,1946年前后,受陈省身指点,他确立了代数拓扑学的研究方向,曾因战乱、生计所迫一度中断的数学研究得以重新开始。有感于师恩深重,吴文俊此后一生都以陈省身为榜样,不断鼓励和帮助后辈,并终生矢志不渝地推进数学学科的发展。2007年,已88岁高龄的吴文俊仍站在讲台上传道授业。在他的影响下,中科院数学与系统科学研究院成立了数学机械化重点实验室,对“吴方法”和“吴消元法”进行了大量后续性研究工作,这个实验室所形成的高水平数学机械化研究队伍,在国际上被称为“吴学派”。如今,吴文俊的成就正被应用于曲面造型、机器人机构的位置分析、智能计算机辅助等若干高科技领域,并取得了一系列国际领先的成果。

03

不言退休,报国一生

放弃在法国的优厚待遇和垂手可得的国际数学大奖,吴文俊自认“天经地义”回到百废待兴的新中国,将此后的一生献给祖国的数学事业。为了让中国在脑力劳动机械化领域不再落后,他又放弃了已经硕果累累的拓扑学研究,转而从事数学机械化研究。为了解决几何定理机器证明和数学机械化问题,年近六十还从头学习计算机语言,亲自编制计算程序,尝尽在微机上操作的甘苦。当被问到想没想过退休,他说:“我是不退休的,院士是不退休的,名义上退休的话,我工作上也不会退休;万一退休,我照样搞科研工作。”

“不管一个人做什么工作,都是在整个社会、国家的支持下完成的。有很多人帮助我,我数都数不过来。我们是踩在许多老师、朋友、整个社会的肩膀上才上升了一段。我应当怎样回报老师、朋友和整个社会呢?我想,只有让人踩在我的肩膀上再上去一截。我就希望我们的数学研究事业能够一棒一棒地传下去。”

——吴文俊

吴文俊生平事迹

1919年5月12日,出生于上海。

1940年,毕业于上海交通大学数学系。

1948年,经推荐在法国Strassbourg大学学习。

1951年,回到中国,在北京大学数学系任教授。先后在中科院数学所、中科院系统所、中科院数学与系统科学研究院任职。他曾任中国数学会理事长、中科院数理学部主任、全国政协常委、2002年国际数学家大会主席、中国科学院系统所名誉所长。

1956年,获首届国家自然科学一等奖。

1957年,当选为中科院学部委员(院士)。

2000年,获得首届国家最高科技奖。

2017年5月7日,因病医治无效,在北京不幸去世,享年98岁。

2019年9月17日,国家主席习近平签署主席令,吴文俊获“人民科学家”国家荣誉称号。

进入“科堂”小程序

科堂,用科学刷新你的世界!

原标题:《科堂|让世界重新认识中国数学——吴文俊》