他是中国数学机械化研究的开创者,亦是首届国家最高科技奖得主,更是以算法贯通古今的数学巨擘。他,就是享有“人民科学家”美誉的交通大学杰出校友吴文俊。

吴文俊(1919-2017),浙江嘉兴人
求学交大奠根基,数学之思始萌芽
1936年,17岁的吴文俊以交通大学理学院第二名的成绩进入数学系学习。在朱公谨、武崇林等名师的教诲下,他跳出“数学只是计算技艺”的认知,深刻领悟到“数学是讲道理的”核心要义,严谨求实的学术风格自此奠基。“要在交大‘出人头地’,只有不断努力”,他如此自勉,图书馆成为他周日最常驻足之地。他最初对物理满怀热忱,直到大学三年级聆听了武崇林教授讲授的“高等代数”“实变函数论”等课程。武老师讲课不仅形象生动,精彩至极,而且追本溯源、注重本质,善于解答疑难,不仅如此,还常从家中带来数学典籍,为吴文俊“开小灶”,自此点燃了吴文俊对数学的终身热忱,并使他立志成为一个数学家。“在武老师的指导下,我的数学确实有了很大的长进,这些为我今后的成长带来了很大的帮助。”吴文俊曾深情回忆。在西安交大档案馆,如今还珍藏着吴文俊当年求学时的成绩单。1940年他以优异成绩毕业。

吴文俊上学时期成绩单,名列班级第一

吴文俊(前排坐者左一)所在交通大学科学学院全体大一学生合影
创拓扑惊艳世界,溯古算另辟新天
1946年,吴文俊成为中央研究院数学研究所的首批成员,师从陈省身教授步入拓扑学领域。次年赴法留学,期间潜心钻研,提出“吴示性类”与“吴公式”,实现拓扑学领域的重大突破。此后,因拓扑学获菲尔兹奖的五位数学家均引用其研究成果,众多数学家也受其启发,或以他的工作为起点,取得了一系列重要成就。然而在学术巅峰之际,吴文俊于1951年毅然回国,他朴素而坚定地认为:“回国是不需要理由的,学成归国是天经地义。”上世纪70年代,他转向中国古代数学,深耕《九章算术》等典籍,率先揭示其算法化与构造性特点,并洞察到其与现代计算机科学的内在契合性。近花甲之年,他从零开始学习编程,常在机房通宵达旦,最终开创“数学机械化”这一崭新领域,真正走出了中国人自己的学术道路。2001年,吴文俊荣膺首届国家最高科学技术奖。面对荣誉,他幽默坦言:“奖金终于能让我买更多书了!”即便功成名就,他仍每日伏案十余小时,坚守科研一线,并始终关心青年成长,热心数学普及。即便88岁高龄,他仍坚持站着为研究生作长达两小时的学术报告,其热情与奉献精神令人动容。

吴文俊关于“示性类及示嵌类的研究”获1956年度中国科学院科学奖金一等奖
感念母校恩情,勉励薪火相传再创伟业
吴文俊始终深切感念母校培育之恩,长期关心并支持西安交通大学的发展。上世纪70年代,他踏访母校,作“数学机械化”专题报告;1997年,年逾古稀的他专程返校,参加西安交大101周年校庆暨面向21世纪发展战略研讨会,作“机器证明与中国古代数学”系列讲座,并受聘为西安交通大学名誉教授,与数学系师生座谈,分享自己的学术感悟与人生阅历。为助力母校数学学科发展,吴文俊多次倡议、组织数学领域国际会议在西安交大召开:1999年主持“数学教育与传播国际会议”,2000年组织“符号计算和数值算法国际会议”,为母校数学学科搭建了宝贵的国际交流平台,显著提升了学校的学术影响力。他高度认同交大西迁精神,盛赞西迁对西北建设发展的重要贡献,曾指出“一个交通大学变成两个交通大学,是为国家和人民作出双倍的贡献。”2001年,由于未能亲临学校105周年校庆,他特意发来贺信,“祝贺母校105周年校庆!让我们大家一起努力,在不同的领域,把中国的科学、数学搞上去。”2005年,学校110周年校庆之际,他深情祝福母校并题词“饮水思源”,表达对母校的感恩之情。

1997年4月交大101周年校庆之际,吴文俊来校参观


吴文俊为交大110周年校庆题词:饮水思源
为纪念他的卓越贡献,2009年吴文俊被授予“西安交通大学最受崇敬校友”荣誉称号。2010年国际天文学联合会将第7683号小行星命名为“吴文俊星”。吴文俊毕生恪守“将自己献给祖国数学事业”的誓言,用一生践行自主创新理念,他的精神如星光照亮后来者前行之路,激励一代代学人求真探索、勇闯新天。