一封珍藏了三十年的推荐信(4)

1994年，张景中与周咸青先生、高小山先生合作撰写的以消点法为主题的英文专著《几何中的机器证明》（Machine Proofs in Geometry），收集了近500条由计算机自动生成可读证明的几何定理。不久后，基于杨路提出的想法，消点法又应用于非欧几何，并在计算机上生成了一批非欧几何新定理的可读证明。紧接着，他们进一步发展了基于前推搜索的逻辑方法，从而使几何定理机器证明的消点法达到了实用阶段。这些工作，获1995年中国科学院自然科学奖一等奖、1997年国家自然科学奖二等奖，张景中均为第一完成人。

恩如山，终身铭记

2009年，在庆贺吴文俊九十华诞的《感谢和学习》一文中，张景中写道：“回顾起来，是吴先生带来的新的研究领域，对科学研究方向的新的认识，使自己的科研生涯进入了新的境界。”“泰山不拒细壤，故能成其高；江海不择细流，故能就其深。吴先生成为大师，成为学界公认的泰斗，不仅是由于极高的天赋，更是来自日积月累的思考和学习，来自实事求是的科学精神，来自谦虚谨慎的学术风格。在踏踏实实的厚实的基础上，才能作出前无古人的大胆创新。”“吴先生对我的帮助，使我永远感谢。吴先生的为人和治学的精神，是我学习的榜样。”

2017年5月7日，吴文俊不幸辞世。张景中在唁电中写道：“早在上世纪 50 年代，我在北大读书时，得知先生在拓扑学领域作出国际领先的工作，获得国家首届自然科学奖一等奖，非常敬仰并深受激励。1978 年，学习了先生有关几何命题机械化判定的论文，大受鼓舞启发，决心追随先生从事数学机械化的研究。吴文俊先生的著作和言谈身教，指引我们的研究工作持续前进；他对从事数学机械化研究的团队，关怀备至。为了帮助我获得出国交流进修的机会，先生曾手书长达 3 页的英文推荐信；为了促进研究工作中理论与实践的结合，先生筹划经费为我们购置了第一台386计算机。为中国数学机械化研究队伍的茁壮成长，先生呕心沥血；他对我们学术晚辈的扶持帮助，令人终生铭记……”