央视采访吴文俊先生

    前天央视的《大家》栏目采访了吴文俊老先生。吴老先生是数学界的泰斗，37岁就因为在拓扑学上的突出贡献而与钱学森、华罗庚一起荣获中华人民共和国第一届自然科学一等奖。而后，他又于50多岁时在定理机器证明和中国古代数学的基础上开创了一个崭新的数学领域——数学机械化。由于吴先生许多重大的原创性贡献，国际上把由他率领的一批中国研究者称为吴学派。后来吴先生又和袁隆平先生一起获得了首届国家最高科学技术奖。

    数学机械化可能是我国为数不多的领先世界的研究领域。相关的还有几何定理机器证明，其中尤以张景中先生和杨路先生率领的团队最为突出。他们的主要成果有平面几何定理机械证明的消点法、可读性证明的生成、不等式的自动证明。

    在采访中还披露了曾经有4位菲尔兹奖获得者大量引用吴先生在拓扑学上的的研究成果。据吴先生自己说，如果当初他没有在建国初期回到祖国而是继续留在国外，那么他自己也很有可能获这个奖。不过吴先生并不遗憾，因为虽然他留在国外也能做出很多成果来，但是如果不回到国内的话，他就根本不可能有今天这种对中国古代数学的彻底认识(中国古代数学机械化、算法化的精髓正是吴老第一个揭示的)，而这正是他最为自豪的研究成果。

    节目中吴先生还讲了一个小故事，说在一次会议上有个数学所的专家质问他：“国外搞定理自动证明都用数理逻辑的方法，你为什么不用？”。他一听就发火了(吴先生自称很少发火)，反驳说：“为什么别人用的方法我就一定要用？我自己就要用和别人不一样的方法！”。后来正是因为采用了与逻辑方法不同的代数法，吴先生在自动推理领域走出了一条新的宽广道路，该方法也被称为吴方法。

    我以前还听说过吴老是60多岁开始学习计算机编程的，那个时候他总是数学所机房最后一个回家的人，甚至连年三十都如此。

    八卦起来的话，我和吴先生的关系路径并不长，具体是这样的：计算机系的一位李志斌老师是973计划中“数学机械化”项目一个子课题的负责人，算是吴派的弟子吧，而我读研的导师则是这位李老师的学生。所以，厚颜一点说，我也算是吴先生的弟子了。嘿嘿，能和大师扯得上这样的关系，真是我的荣幸！