数学界的战略科学家——吴文俊 | 上海交通大学图书馆
数学界的战略科学家，
数学界里“老顽童”，
……
这些评价都源于世人对我国著名数学家、中国科学院院士吴文俊先生的敬仰。
吴文俊对数学的核心领域拓扑学作出重大贡献；
开创了数学机械化的新领域；
同时对中国数学史领域做出了划时代的成就。
承上启下的拓扑学领袖
1936年吴文俊被保送，进入交通大学数学系就读。1946年起在陈省身先生的指导下进入代数拓扑的研究领域。1947年赴法国斯特拉斯堡大学留学，不到两年便通过了博士论文答辩。在数学机械化领域，他通过研究中国古代数学并汲取其特色，创立了机器证明几何定理的“吴方法”，被认为是自动推理领域的先驱性工作，影响巨大，具有重要应用价值；在拓扑学领域，他取得了“吴公式、吴示性类、吴示嵌类”等一系列突出成果，他的工作是1950年代前后拓扑学的重大突破之一，成为影响深远的经典性成果，并因此在2000年与袁隆平先生一起获得首届国家最高科学技术奖，他也成为首位获得该奖项的“交大人”。
留法期间，吴先生引进的示性类和示嵌类被学界冠上了他的姓氏，人称“吴示性类”和“吴示嵌类”，导出的示性类间关系被称为“吴公式”。他与法国同仁的工作引发了“拓扑学的地震”。他本人也被誉为这一领域“承上启下的领袖”。[1]
北京大学任教时的吴文俊
（图片来源：中国科学院数学与系统科学研究院网站）
“吴方法”的创举
“吴示性类”所揭示的方法此后被应用于计算力学、计算机图形学和计算机视觉等领域，对于人工智能的发展也有着重要的作用。
20世纪70年代，吴文俊先生创立了使用计算机自动证明几何定理的有效方法，在国际上被称为“吴方法”，一举开创了崭新的数学机械化领域，成为了自动推理领域的里程碑。
据吴文俊先生后来回忆，“吴方法”的创举其实来源于两次完全偶然的机遇：
第一次机遇是他在北京无线电厂劳动期间的见闻。
当时的无线电厂已经不再做无线电，转而制造计算机。在这里，吴先生第一次接触到了计算机。计算机巨大的计算威力给吴先生留下了深刻的印象，他意识到这是个“了不起的工具”。
第二次机遇始于1974年，那一年吴先生开始涉足中国古代数学。台灯下，古老的几何学、方程组和矩阵让他开始重新思索中国古代算术。他在泛黄的古卷中发掘出了传统数学的现代价值：贯穿中国古代算术的机械化思想与现代化计算机的思想不谋而合。
在这样的机缘巧合下，吴先生开始了漫长的尝试。在经历了一次又一次失败的试验后，机器证明终于取得了成功。[2]
馆藏珍籍
《几何定理机器证明的基本原理》是吴文俊关于数学机械化理论的代表著作。它遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机械化证明的基本原理。该书所讨论的范围为欧氏几何（书中也叫常用几何），共分为六个章节：前三章介绍德国数学家希尔伯特在几何学机械化方面所起的巨大作用，并解释了相关的基本概念，进而引出“吴方法”（即几何定理证明的机械化）来证明希尔伯特机械化定理；后三章则依次将“吴方法”应用于无序几何、有序几何以及其他各类几何定理的证明中。
同时，馆藏图书《数学机械化》、《吴文俊文集》都是吴文俊先生的代表著作，值得好好研读。
三次“首届”
先生曾两次获得国家首届最高科技荣誉。1956年，由于他在拓扑学领域的奠基性工作，创立了“吴公式”，获中国首届自然科学奖一等奖。1977年起开始研究数学机械化，用计算机证明数学定理，被国际数学界称为“吴方法”。2001年2月获首届国家最高科学技术奖。2009年，获上海交通大学首届“杰出校友终身成就奖”；2019年，被授予“人民科学家”国家荣誉称号。
参考文献
[1] 纪志刚, 徐泽林. 《论吴文俊的数学史业绩》. 上海：上海交通大学出版社, 2019.
[2] 黄祖宾, 吴文俊. 《走近吴文俊院士》. 广西：广西民族学院学报（自然科学版）, 2004（4）.
[3] 王馨等.“国家荣誉称号”建议人选——吴文俊：他让中国数学焕发新生
https://mp.weixin.qq.com/s/MZRH7D8E6bePkgrZp1HHIQ
文章来源：“上海交通大学图书馆” 公众号
欢迎大家提供各类学术会议或学术报告信息，以便广大科研人员参与交流学习。