吴文俊院士诞辰纪念丨科学家日历：数学大师的拓荒之路

吴文俊（1919—2017），世界著名数学家，中国科学院院士。他一生勇攀科学高峰，在拓扑学领域取得了“吴示性类”“吴公式”等奠基性成果，又开创了数学机械化研究，提出举世闻名的“吴方法”。他曾与华罗庚、钱学森同获首届国家自然科学奖一等奖，并于2000年荣获首届国家最高科学技术奖，以他的名字命名的“吴文俊人工智能科学技术奖”已成为中国智能科学技术领域的最高荣誉，激励着无数科技工作者开拓奋进！

吴文俊(1919年5月12日-2017年5月7日)， 1940年毕业于上海交通大学数学系。1949 年在法国斯特拉斯堡大学获法国国家科学博士学位，而后在法国国家科学研究中心工作。1951年回国，并先后在北京大学、中国科学院数学所、中国科学院数学与系统科学研究院任职。曾任中国数学会理事长、中国科学院数理学部主任、全国政协常委、2002年国际数学家大会主席、中国科学院系统所名誉所长、中国人工智能学会原名誉理事长。1957年当选为中国科学院院士。1990年创建数学机械化研究中心并任主任。1991年当选为第三世界科学院院士。

吴文俊院士研究工作涉及代数拓扑学、代数几何、博弈论、数学史、数学机械化等众多学术领域。他在拓扑学的示性类和示嵌类，中国古代数学研究、数学机械化等领域中作出了重要贡献。著有《可剖形在欧氏空间中的实现问题》、《几何定理机器证明的基本原理(初等几何部分)》、《A Theory of Imbedding, Immersion, and Isotopy of Polytopes in a Euclidean Space》等。曾获国家自然科学奖一等奖、中国科学院科学奖金(自然科学部分)一等奖、中国科学院科技成果一等奖、第三世界科学院数学奖、陈嘉庚基金会数理科学奖、首届香港求是科技基金会杰出科学家奖、法国厄布朗自动推理杰出成就奖、首届国家最高科学技术奖、邵逸夫数学科学奖。2010 年国际天文学联合会将第7683号小行星永久命名为“吴文俊星”; 2019 年被国家授予“人民科学家”荣誉称号。

吴文俊院士是我国人工智能研究的开拓者和领军人，不仅在自动推理、机器定理证明等领域取得突出成就，他开创的数学机械化是近代数学史上的第一个中国原创的领域，被国际上誉为“吴方法”，在国际机器证明领域产生巨大的影响，有广泛重要的应用价值，当前国际流行的主要符号计算软件都实现了吴文俊院士的算法。他早年提出的数学机械化和脑力劳动机械化研究已经成为我国和世界人工智能研究的重要目标。此后计算机科学、计算机图形学智能CAD、计算机视觉、图像压缩、机器人、并联数控技术、模式识别等诸多领域取得的重大科研成果，背后都有数学机械化的广泛应用，对人工智能时代发展具有深远影响。

日历图片来源：北京科协微信公众号