创新火花源自中国先贤吴文俊院士谈中国数学原创之道

　　本报北京9月26日专电(记者许琦敏)掌声、鲜花再次簇拥吴文俊。87岁高龄的他，以独创的“数学机械化”获得了由包括3位菲尔茨奖得主在内的评委评出的邵逸夫数学奖。37岁获国家自然科学一等奖，81岁获国家最高科技奖，也不曾令吴文俊如此激动。他说，因为这代表中国本土数学家的原创性工作，在得到了国际自动推理界认可之后，终于得到了国际数学界的认可。

　　不能数典忘祖

　　如果用一句最通俗的话来表述吴文俊的工作，那就是“把艰深的几何定理证明工作交给计算机来完成，让数学研究告别‘一支笔，一张纸’的‘石器时代’”。邵奖评委认为，他的方法使该领域发生了一次彻底的革命性变化，并导致了研究方法的变革。

　　在接受本报记者专访时，吴先生告诉记者，最初的创新火花来源于对中国古代数学史的研读。文革时期，满目萧条，他却开始研读中国古代数学史，发现这段被西方数学史家忽略的历史中，蕴藏着精深的数学思想精髓——将几何问题代数化的算法思维。它迥异于古希腊几何学的“公理－证明”思维体系，却为利用计算机做几何证明提供了可行之道。

　　源自中国古代数学思想，经中国人在国内30年辛勤开拓，吴文俊终于闯出了引起国际同行关注的“数学机械化”领域。他的经验是，不要妄自菲薄，不能数典忘祖，中国数学至少在16世纪前处于世界领先水平，今后也一定会雄踞世界数学之林。

　　不能亦步亦趋

　　获得邵逸夫奖后，他说：“我的工作是否配得上这个奖，要看十年八年后。”他坚信，获奖不是终点，只有他开创的模式真正广泛深入影响今后数十年，乃至上百年的数学研究，才是真正的成功。

　　吴文俊没得过菲尔茨奖，但他的工作却被5位菲尔茨奖得主在获奖工作中多次引用。在他看来，不要迷信任何奖项。即使获得菲尔茨奖，如果只是解决别的数学家提出的问题，仍然是亦步亦趋地跟着人家走。“应该开创自己的领域，让国外数学家热衷于回答我们提出的问题，这才是真正一流的原创工作。”

　　目前，他开创的数学机械化领域，已引起了国际同行的重视。他希望，随着该领域的不断发展，能成为世界数学的一道中流砥柱。

　　“邵逸夫奖”

　　“邵逸夫奖”2002年设立，旨在表彰在科学研究或应用方面获得突破性成果，并且对人类生活产生深远影响的科学家。目前，该奖在数学科学、天文学、生命科学与医学领域设有3个奖项，每年颁奖一次，每项奖金100万美元。第一届邵逸夫数学奖授予了现代微分几何学的奠基者陈省身教授，第二届邵逸夫数学奖授予了费马大定理的终结者怀尔斯教授。本届邵逸夫数学奖同时授予中国的吴文俊院士和美国的曼福德教授。