让数学回归中国

1951 年，以振兴中国数学为己任的吴文俊放弃法国优裕的研究条件，到中国科学院数学研究所工作，和张素诚、孙以丰成立拓扑组。此时拓扑学研究的中坚力量在欧美，在法国吴文俊可以随时和老师、朋友交流，随时了解世界拓扑学的最新动态，回国后的吴文俊站在拓扑学前沿，没有人能给予吴文俊帮助和指导，只能独自摸索。在拓扑学研究中，拓扑不变量是基本的研究对象，但从一般的拓扑不变研究入手很难，于是很多人都退而求其次，研究易算的同伦不变量，但吴文俊没有跟随潮流，而是集中精力专攻非同伦性安抚运算拓扑不变量。经过反复探索，他引入示嵌类，开展复合形嵌入、浸入与同胚的研究，被国际数学界称为“吴示嵌类”，吴文俊获得我国第一届自然科学奖，成为中国科学院最年轻的学部委员。后来，许多新大学生加入拓扑组，在吴文俊的指导下，新一代学者李培信、岳景中、江嘉禾、熊金成等成长起来。

二战之后，一个重要的数学分支——代数几何得到了发展，但它的研究在国内几乎是空白。50年代中期，法国数学家韦伊建立了严整的代数几何学体系，随后，法国数学家格罗登迪克又以此为基础，建立概型理论，创立了一整套现代代数几何学抽象理论体系，代数几何的研究走上抽象化的道路。但吴文俊没有沿着他们的道路走，他阅读大量相关著作，开设代数几何课，从20世纪初的古典代数几何入手，特别是荷兰数学家范德瓦尔的《代数几何引论》，很快掌握了代数几何的基础，取得了重要的成果：用奇异代数簇定义陈省身示性类。这为日后的数学机械化的研究打下良好的基础。

自进入数学殿堂直到1975年，吴文俊接受的都是西式数学教育。此前，中国古代数学不入吴文俊的眼，此后，中国古代数学成了吴文俊心血汇聚之点。开始看不懂全是古文的原始资料，他凭着一股子钻劲，废寝忘食地啃资料。慢慢地，看出了门道：西方数学是公理化数学，重因果关系；中国数学主要解决问题。吴文俊提出：“近代数学之所以能发展到今天，主要是靠中国数学，而非希腊数学；决定数学发展进程主要是靠中国数学，而非希腊数学。”1976年，吴文俊开始数学机械化的研究。数学机械化就是把数学和计算机结合，吴文俊认为计算机科学在很早就出现在中国古代数学之中，他提出了根据传统数学思想推出的几何定理证明的有效算法，1984年，出版了专著《几何定理机器证明的基本原理》，吴文俊的学生周成青在美国定理机器学术会议上，提交了论文《吴方法证明几何定理》，在现场用电脑演示，在十几分钟里证明了几百条几何定理，与会的100多位国际数学届精英一致赞叹。后来，中国科学院成立数学机械化研究中心，吴文俊任中心主任，他带领研究人员使数学机械化的研究取得蓬勃发展。

吴文俊的学生——数学机械化与自动推理平台首席科学家高小山这样评价：“吴先生的研究有他自己的特点，就是创新性，另外就是他能抓住事物的本质。做拓扑研究时，拓扑学刚刚艰难迟缓地发展，他抓住核心问题，为拓扑学作出了影响深远的贡献，以后从事的机器定理证明也是这样。”1994年，吴文俊获香港求是科技基金会颁发的杰出科学家奖，会上，著名数学家、吴文俊的恩师陈省身这样评价：“近20年来，吴文俊从事机器证明的研究，把计算机应用到纯粹数学。他利用代数几何，对方程式求解的问题做了系统的研究。吴文俊的工作总是独出蹊径，富有创造性。历史上许多大数学家，对纯粹数学与应用数学都有贡献，吴文俊保持了这个传统。”

2000年，吴文俊荣获首届国家最高科学技术奖，2006年，吴文俊在获得邵逸夫数学奖时说：“对我个人而言，每次获奖都是高兴的事。但对一个国家的科学发展而言，稍作出成绩就被大家捧成英雄，这不是好事，这说明我们的科研还在一个相对落后的阶段。”在吴文俊看来，评价一个国家的科学发展，不能只看某一个人的成绩，要看群体的高度。一个大国的科研领域，特别是数学领域，最好是没有英雄，大家都处于同一个高水平，共同形成一个高峰。

(摘编自柯琳娟《吴文俊传》)