中华网--科技频道

数学机械化：让机器取代部分脑力劳动
　2001-02-21 16:22:09

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

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

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

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

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

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

推荐给朋友

进入BBS

进入聊天室

关闭窗口

﹣相关报道
﹣中国国家最高科学技术奖 (专题)


﹣更多本栏目内容
☉11名华人科学家致信政府质疑“大科学”项目 (2004-08-10 10:05:47) ☉上市前怕遭专利官司 Google忍痛割股给Yahoo (2004-08-10 09:41:48) ☉面对微软SP2补丁包 IBM警告用户不要安装 (2004-08-10 09:48:25) ☉英语是印度在IT外包市场战胜中国的法宝 (2004-08-10 09:59:52) ☉Google曝IPO幕后细节额外有2.6亿股待出售 (2004-08-08 11:48:07) ☉电脑不要保持待机状态每小时消耗电量惊人 (2004-08-10 14:01:38) ☉软件商加强反盗版意识反盗市场前景广阔 (2004-08-09 17:44:35) ☉双模小灵通北京偷卖? 信产部声言决不放行 (2004-08-10 09:31:45) ☉观察：Wintel衰亡史微软和英特尔陷入泥潭 (2004-08-10 10:37:12)

本站检索

科技频道主编信箱