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

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