数学与思维机械化之路.pdfVIP

2006年 9月 太原理工大学学报 (社会科学版) Sept．2006 第 24卷 第 3期 JournalofTaiyuanUniversityofTechnology(SocialSciencesEdition) VoI．24 No．3 数学与思维机械化之路 李文林 (中国科学院 数学与系统科学研究院，北京 100080) 摘 要 ：在人 类 的脑力 劳动 中 ，数 学具有 特殊 的和 典型 的地位 。数 学是 其他 科 学的基 础 。数 学化 ， 正成 为现代 科 学技 术发展 日益 明显 的趋 势 。因此 ，数 学机械 化 对于整 个脑 力 劳动 的机 械化 来说也 具 有特 殊 的甚至是 关键 的 意义 。通 过数 学思 维 的机械 化 来 实现 更 广泛 意义上 的脑 力 劳动机械 化 ，这 是 人类 长期 梦寐 以求 的 目标 。文章 探讨 并 力 图简 明地概 括数 学 思维机械 化 的历 史源 流 。 关键 词 ：数 学；数 学思维机械 化 ；源流 中 图分 类号 ：oll 文献标 识码 ：A 文章编号 ：l009—5837(2006)03—000l一06 17世纪以来，人类经历了一场史无前例的技术 机械化 ，这是人类长期梦寐以求的目标。 革命 ，出现了各种类型的机器，以代替各种形式的体 一 、 笛卡儿的梦 力劳动 ，使人类进入了体力劳动机械化 的时代。20 世纪 电子计算机 的出现，则又将人类带进 了逐步实 大约四百年前一个冬 目的夜晚，德国乌尔姆多 现脑力劳动机械化 的新时代 。 瑙河畔的一座军营里 ，当时正在服兵役的法 国青年 ， 在人类的脑力劳动中，数学具有特殊的和典型 日后 的解析几何发 明人笛卡儿 (Ren6Descartes， 的地位 。马克思曾指出：“一种科学只有在成功地应 1596~1650)做了一连三个奇怪的梦 。在梦 的结尾， 用数学时，才算达到 了真正完善的地步”，这说 明数 一 本书呈现在笛卡儿面前，扉页上写道 ：“我应该走 学是其他科学的基础。数学化，正成为现代科学技术 哪条路?”有一位陌生人向笛卡儿指点迷津。笛卡儿 发展 日益明显的趋势。因此 ，数学机械化对于整个脑 从梦中醒来 ，陷入 了沉思。 力劳动的机械化来说也具有特殊的甚至是关键的意 这就是科学史上有名的笛卡儿之梦。笛卡儿后 义 。 来说正是这三个连贯的梦 向他提示 了 “一 门奇特的 众所周知，数学的脑力劳动有两种重要的形式 ， 科学”和 “一项惊人的发现”。虽然笛卡儿本人从未解 即数值计算和定理证明。几千年来 ，加、减 、乘、除、开 释过这 门奇特 的科学和这项惊人的发现究竟是什 方等计算已经是机械刻板地进行 ，这使得从算盘到 么，但这三个梦后来成为每本介绍解析几何诞生的 机械式计算机乃至电子计算机等计算工具有可能制 著作必提的佳话 。 造出来。另一方面 ，定理证明则长期处于非机械化的 实际上 ，深入考察笛卡儿的全部论著就会明了， 状态，也就是说是需要智巧奇思的脑力劳动。因此 ， 笛卡儿所梦想 的，是一个远 比解析几何更为宏大的 使这种形式的脑力劳动机械化 ，又成为数学脑力劳 目标。众所周知，笛卡儿的 《几何学》是他的哲学著作 动的重要 的甚至是关键的课题。 《方法论 》的附录。这意味着笛卡儿的解析几何只不 通俗而言 ，所谓数学问题的机