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

摘要：

程序,力量从何而来?来自于它反映了事物的发展过程;来自于它抓住了系统的有效信息与整体联系;来自于它引发了系统它组织与自组织协同运行的机制;来自于它对系统的有效控制;来自于它的创新生机;来自于它的模型方法;来自于它对现代工具的利用与运作效率.吴文俊数学机械化的成功实践,极大地冲击了程序化的进程.程序,正以一种不可思议的力量推动着社会的文明与进步.

关键词：数学机械化、程序、过程集合体

分类号：B8005(思维科学)

在线出版日期：2011-03-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：59-63