【实域论】曾广兴科学.pdf
数学机械化丛书 实 域 论 曾广兴著 北京
《数学机械化丛书》获国家基础研究发展规划项 目“数学机械化与自动推理平台”与“数学机械化 应用推广专项经费”资助
《数学机械化丛书》前言? 16世纪以来,人类历史上经历了一场史无前例的技术革命,出现了各种类 型的机器,取代各种形式的体力劳动,使人类进入一个新时代.几百年后的今天,电子计算机已开始有条件地代替一部分特定的脑力劳动,因而人类已面临另一场 更宏伟的技术革命,处在又一个新时代的前夕.数学是一种典型的脑力劳动,它在 这一场新的技术革命中,无疑将扮演一个重要的角色.为了了解数学在当前这场革 命中所扮演的角色,就应对机器的作用,以及作为数学的脑力劳动的方式,进行一 定的分析,1.