新华网　2001.02.21   10:45:31

新华网北京2月21日电数学机械化是首届国家最高科技奖得主吴文俊得奖的主要因素之一，那么究竟什么是数学机械化？我国数学机械化目前的现状如何？

十六、七世纪以来，人类历史上经历了一场史无前例的技术革命，出现了各种类型的机器，取代各种形式的体力劳动，使人类进入一个新时代。几百年后的今天，电子计算机已开始有条件地代替一部分特定的体力劳动，因而人类已面临另一场更宏伟的技术革命，处在又一个新时代的前夕。数学是一种典型的脑力劳动，它在这场新的技术革命中，无疑将扮演一个重要的角色。

所谓机械化，就是刻板化和规格化。机械化的动作，由于简单刻板，因而可以让机器来实现，又由于往往需要反复千百万次，超出了人力的可能，因而又不能不让机器来实现。因而，机械化为机器化，进而自动化铺平了道路，是必不可少的前奏。

实际上，在中小学课程里，人们已经进行不少机械化的训练。比如，加减乘除四则运算就完全是机械化的，正因为如此才可能在十七世纪出现加法机器，继而又出现乘法机器。数学机械化使大量繁复的工作交给计算机去做，人脑将仍然从事富有创造性的活动。

中国科学院袁文俊院士自70年代末起，受中国古代数学算法化思想和计算机技术的启发，开始进行几何定理机器证明研究，从而开拓出一条数学机械化的道路。数十年间，不仅建立了“吴中心”，而且形成了“吴学派”，建立了有中国特色的数学机械化理论，在这一领域处于世界领先地位。

吴文俊说：“数学机械化的研究目前仅仅处于起步阶段，主要局限于代数几何、微分几何等领域，如何扩大数学机械化的范围，将是今后需要长期探索的问题。”（完）