程序的力量_吴文俊数学机械化带给我们的思考.pdfVIP

程序的力量 ＊ ——— 吴文俊数学机械化带给我们的思考 □ 曾定凡 ： ， ？ ； ； 摘 要 程序 力量从何而来 来自于它反映了事物的发展过程 来自于它抓住了系统的有效信息与整体联系 来自 　 ； ； ； 于它引发了系统它组织与自组织协同运行的机制 来自于它对系统的有效控制 来自于它的创新生机 来自于它的 ； 。 ， 。 模型方法 来自于它对现代工具的利用与运作效率 吴文俊数学机械化的成功实践 极大地冲击了程序化的进程 ， 。 程序 正以一种不可思议的力量推动着社会的文明与进步 ： 关键词 数学机械化 程序 过程集合体 　 　 中图分类号： 文献标识码： 文章编号： （ ） Ｂ８００５ Ａ １００９－５６７５２０１００５－０５９－０５ 　 　 ， ， 、 ， 化 以尽量减少聪明才智的要求 并由此减轻艰难的重脑力 一 程序 从附庸到主导的嬗变 　　 ［ ］ ”。 １ 。 ， 劳动 这是吴文俊给数学机械化下的定义 通俗地说 ？ ， 什么是程序 据专家考证 程序二字成词时间不过百余 ， 就是将以往学者们手工完成的数学推理过程 找到一种方式 ， 。 年左右 历史上表达类似的意思主要依附于程式这一概念 （ ） ， 。 算法 进行程序化处理 然后交给计算机来完成 反过来 ， 由于现代社会对程序方法越来越依赖 使得程序的内涵与外 ， ， 、 说 如果没有程序 这种数学推理过程的机械化 自动化是无 ， 延迅速膨胀 以至于要对程序概念进行准确定义并不是一件 以实现的。我们以前的计算机程序能完成很多领域的工作， 。 ， 容易的事 在当下的汉语体系中 很难找到一个在控制和过 ，