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

张景中早在北大数学力学系求学时，就对机器证明这个新领域产生过浓厚兴趣。1955年，丁石孙先生在高等代数课上提到了塔斯基（Tarskii）的成果：一切初等几何和初等代数的命题都是可以判定的，也就是说，可以用机械的方法解决初等几何和初等代数领域的任何命题是否成立的问题。这让张景中感到颇为奇妙：初等几何的问题千变万化，怎么可能用机械的办法一举而解决？！于是他便选择了数理逻辑专门化作为自己的方向。遗憾的是，他只跟着胡世华先生学了半年多，就因错划为右派，被开除学籍、团籍，受到劳动教养的处分。

张景中第一次知道吴文俊的名字是在1956年。那年首届国家自然科学奖出炉，吴文俊是3项一等奖的获得者之一，另两项一等奖的得主是钱学森先生和华罗庚先生。钱学森和华罗庚早已大名鼎鼎，吴文俊又是谁呢？张景中很快得知，吴文俊乃中国科学院数学研究所的青年研究员，时年仅37岁。张景中心中顿生敬仰之情并深受激励，但当时并不知道吴文俊是因在拓扑学领域取得的重要成果而获得一等奖的。

20余年后的1978年底，张景中由新疆调到中国科学技术大学（以下简称中科大）数学系任教。在资料室，他阅读了吴文俊1977年发表在《中国科学》上的《初等几何判定问题与机械化证明》，被论文中透露出的敏锐学术眼光和宏伟设想所深深吸引。这篇文章再次激发了他当年在北大求学时产生过的浓厚兴趣，可以说，这是引他进入这一新研究领域的“导航仪”。

“文革”前的吴文俊专注做拓扑学方面的研究并取得了举足轻重的成果。但“文革”后，吴文俊认为，经过十年的耽误他再做拓扑不行了，因为国外的文章他已经看不懂了，他得寻找一个新的方向集中精力研究。后来他决定做定理机器证明，果然又做出好的成绩——使自上世纪50年代以来进展甚微、局面被动的几何定理自动证明领域有了新突破。

吴文俊在一个时期一个阶段专注做一个方向，甚至是一个问题的研究，并使得这一领域的景象有了根本性改观，张景中觉得这是吴文俊对他的最大启发。

在中科大执教的6年，张景中和杨路等人合作了几十篇（部）著作，除了涉及几何算法（距离几何）和动力系统中的泛函方程外，还涉及数值分析、组合几何、计算几何和非线性振动等多个领域。然而，在张景中看来，虽然不少工作做得很出色，但这些工作并没有对相应领域起决定性作用。

经过深思熟虑，张景中觉得做研究应向吴文俊学习，专注于一个领域，解决能使这一领域得到根本性改观的问题。但做哪个领域、哪些问题呢？张景中经过研究发现，在吴文俊耕耘的机器证明领域仍然还有重要问题需要解决，于是毅然决定转向集中于这一领域的研究。

得鼓励，“好人”相助

1985年，张景中和杨路从中科大调到中科院成都分院直属的数理科学研究室（现已更名）。1986年张、杨评正研究员时，评审材料是送到中科院总院评的。恰好，评审小组是吴文俊主持的，而经常和成都分院有合作的林群院士也在这个评审小组。当吴文俊听林群介绍张、杨等人也在做机器证明方面的研究时，非常高兴。这是吴文俊对张景中等人的最初了解。