昨晚惊闻吴文俊先生去世，不禁回想起吴先生的数学成就，加以本人读研究生时的一些听闻，以此悼念。


吴文俊先生早年在中研院数学所受陈省身先生指导进行拓扑学研究。后赴法求学，获博士学位，51年回中科院。在文革前一直从事拓扑学的研究，为其做了奠基性的工作。在1956年获首届国家自然科学一等奖，1957年增选为学部委员。这对绝大多数科学工作者而言，已经是难以企及的高度了。


在文革期间，吴先生虽没有受到冲击，但一度只能接触到中国古代数学文献。据说他从中获得启发，创立了将多元多项式方程组简化然后可用计算机求解的机械化算法，这是数学机械化的基础。他转而将之应用于几何定理的机器证明。


吴先生的数学机械化研究算是顺应计算机潮流，属符号计算领域。此中著名的软件比如Maple 和Mathematica。相比于另一方式即数值计算，符号计算应用较小，也没有解决什么世界级的的难题，所以学术方面的影响相对较小。相比之下，冯康先生在六十年代独立于西方开创了偏微分方程数值解的有限元方法，在数学史占一席之地。但随着计算机的发展而带来的更大的计算能力，符号计算潜力还是很大的。


本人虽未曾与吴先生有直接接触，但从他人口中听说吴先生热爱数学专业，不喜行政管理。他虽挂名许多领导头衔，却是虚职居多。他对生活要求不高。文革中，他与青年学者分享他的住处。偶尔街边吃的烤羊肉串都能让他津津乐道。也许这是因为这样，吴先生才能保持超过半个世纪的研究生涯，而且硕果累累。