计算机时代的脑力劳动机械化与科学技术现代化.pdfVIP

清华大学出版社 中国科学院数学与系统科学研究院　吴文俊 成立二十五周年 计算机时代的脑力劳动机械化与科学技术现代化 　　计算机发明人类进入计算机 家们起了特殊的作用 。计算机的 一个几何定理包含假设与结论两 时代以后 ,脑力劳动的机械化具有 发明与发展过程 中, 数学家如 J . 部分 。为了证明这一定理 , 需要从 了某种程度的现实可行性 。除了 von Neumann , A . Turing , K. 假设这一叙述出发 ,根据某些已给 上面所说的种种成就外 ,另一项有 Godel 等都有着特出的贡献 。对于 公理或是某些已经证明过的定理 , 着重大意义的成就是在上世纪 50 脑力劳动机械化的认识 ,前面已提 得出另一个叙述 。然后再据某些 年代人工智能这一新学科 门类的 到过 Descartes 与 Leibniz 的思想影 已给的公理 ,或是某些已经证明过 诞生 。 响与实际作为 。这两位既是思想 的定理 ,得出又一个新的叙述 。如 所谓人工智能 ,意指人类的各 家又是数学家 。此外在前面提到 此逐次进行 ,如果到某一步所得的 种脑力劳动 , 或智能行为 , 诸如判 过的许多人物 , 大多也是数学家 。 叙述恰好是原来已给的结论 ,定理 断、推理 、证明、识别 、感知 、理解 、 这决不是因为笔者本人是数学工 就算是获得了证 明。在证 明的过 　 通信 、设计 、思考 、规划 、学习和 问 作者对数学情有独钟而有意提到 程中,每一步已给公理或已证定理 　 题求解等思维活动 ,可用某种智能 那些数学家 。事实上此事决非偶 的选择 ,漫无依据可言 。总之定理 　 ( 　 化的机器来予以人工的实现 。 见 然 ,而是有着深层次的原因, 使得 的这种证明方式 ,与机械化毫无共 科 本书页 2 定义 13) 。诸如机器编 数学家们 自然而然地要在脑力劳 同之处 ,而是极端非机械化的。它 技 译 、机器诊断、机器推理 、机器下棋 动机械化的伟大事业中扮演重要 是一种超高强度的脑力劳动 。 之 以及各种专家系统 , 在上世纪 60 的角色 。首先 ,数学研究现实世界 然而 , 笔者在上世纪 70 年代 窗 年代后 , 都不断出现 , 并有相应的 中的数与形 。由于数与形无处不 有幸学习中国古代的数学 ,开始发 　 W 软件与器件 问世 。特别是世界国 在 ,因而数学也就通过数与形渗透 现中国古代的传统数学遵循了一 I N 际象棋冠军卡斯波洛夫与计算机 到形形色色几乎所有的不同领域 , 条与源 自古希腊的现代所谓公理 D