余生趣潭

    （上接第一版）

    这段话字字珠玑、掷地有声，在课堂上引起“中算地震”，令闻者振聋发聩，深思深省。而我的博士生导师、数学史家严敦杰教授也写过这样的诗句：“若把《原本》比《算术》，其中翘楚是《九章》。”他们的观点不谋而合。

    吴文俊院士以花甲之龄，加盟中国数学史研究领域，独具慧眼，深刻认识到中国传统的数学思想方法是机械化的，由此发扬光大，创立了机械化数学。他把刘徽注《九章算术》中的割圆术，用计算机语言翻译过来，形成了一个程序计算圆周率的精确值。他先把初等几何定理的证明机械化，又推广到初等微分几何中的一些主要定理的证明也可以机械化，然后他又把机器定理证明的范围推广到非欧几何、仿射几何、圆几何、线几何、球几何等领域。

    继机器定理证明之后，吴文俊院士把研究重点转移到数学机械化的核心问题——方程求解上来，得出了作为机械化数学基础的整序原理及零点结构原理，它不仅可用于代数方程组，还可以解代数偏微分方程组，从而大大扩充了理论及应用的范围。国际上公认的“吴方法”不仅在机器定理证明、代数系统求解的理论和算法上，而且在物理学、化学、计算机科学、数学和机器人机构学等方面的应用上都取得了国际领先成果。那个时候他已经六七十岁了。他的创新直至耄耋之年，可谓老骥伏枥，壮心不已。

    简单地说，吴文俊院士创立的数学机械化方法，就是用计算机代替了人脑，所以他获得国际人工智能的最高奖（Herbrand自动推理杰出成就奖），也获得了国家最高科学技术奖。

    吴文俊的目标是在数学的各个领域全面推行机械化。这一思想是继承中国传统文化精华和实现中华民族伟大复兴在数学领域的正确途径，是文化自信的典范。

    吴文俊院士是个老顽童，白发童颜，总是胖乎乎、笑眯眯的，十分慈祥。记得1981年首届全国数学史会议后，60多岁的他背着旅行背包，同我们一起去过天池游览，一路讨论数学史问题，十分尽兴。2002年国际数学家大会和2005年国际科学史大会期间，他都到中国科技馆来作学术报告。我说：“您老80多岁了，身体真好。”他有点骄傲地回答说：“前不久我还在香港迪士尼坐过山车呢！”

    吴文俊兴趣爱好广泛，听京剧、看电影，我还在音乐厅碰上过他和他的夫人。所以，我觉得一个科学家是有血有肉的，有事业、也有生活。数学大师高山仰止，风范长存，永远激励着我们在数学科学和数学史研究中奋力前行！

    5月8至12日，12至17日，分别在上海交大和北京中科院数学与系统科学院连续召开了《纪念吴文俊诞辰100周年国际学术研讨会》《第十届中国数学会数学史分会学术年会》和《吴文俊学术思想国际研讨会》，上百名中外学者、两院院士、吴老的同事、学生和亲属济济一堂，以文会友，继承吴老学术遗产，复兴中国传统数学，为实现中华民族的伟大复兴而奋斗！

    （作者系国家教育咨询委员会委员，中国科技馆原馆长、研究员）