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

来源 :湖南社会科学 | 被引量 : 0次 | 上传用户:liongliong439
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
程序,力量从何而来?来自于它反映了事物的发展过程;来自于它抓住了系统的有效信息与整体联系;来自于它引发了系统它组织与自组织协同运行的机制;来自于它对系统的有效控制;来自于它的创新生机;来自于它的模型方法;来自于它对现代工具的利用与运作效率。昊文俊数学机械化的成功实践,极大地冲击了程序化的进程。程序,正以一种不可思议的力量推动着社会的文明与进步。
其他文献
利用埃尔米特变换求出了Wick-类型的随机广义K—P方程的精确解,基本思想是通过埃尔米特变换把Wick-类型的随机广义K—P方程变成广义系数K—P方程.用Ba?cklund变换,找到了广义
"泛长株潭"历史文化遗产十分丰富,但在现代化进程中,古城保护存在保护要素难以把握、保护的过程难以操作、保护机制尚不完善等问题,文化遗产及其生存环境受到严重威胁。应从把
马学为体,西学为用:中国主流经济学的现代转型;构建和谐社会必须提高社会自主治理能力;北京市生态足迹变化和对可持续发展的影响研究;科学发展观的语义分析;民族精神的现代性处
近年来,我国在建筑工程领域引入了西方招投标方式,并取得了较好的效果.但是,由于受计划经济体制惯性及其他因素的影响,目前在工程招投标中仍存在不少问题.本文从经济学角度分
采用线性组合算符和Line-Low-Pines(LLP)幺正变换方法研究了RbC1量子点中强耦合磁极化子基态能量的温度效应。并对RbCl晶体进行数值计算,结果表明:基态能量随有效受限强度、磁场
社会主义初级阶段的"基本经济制度"的提出,为我国私营经济生存和发展创造了必要的理论环境.而这一理论形成于我国社会主义初级阶段的基本国情.论证"私营企业主"的管理是创造
论文研究了InAs量子点的生长条件,通过实验得到了生长温度、沉积厚度不同下的量子点生长情况。引入Sb表面活化剂进行实验,优化了制备尺寸不同、密度相近的两种量子点的生长条件
对上市公司而言,慎选独立董事有着特殊的重要性,错选独立董事可能引发更为严重的代理问题;保护全体股东尤其是中小股东的利益是独立董事的基本工作目标,独立董事就应该由全体股东
中国石化上海石油化工股份有限公司(简称上海石化),座落上海西南部金山卫,占地7.2平方公里,是中国最大的石油化工联合企业之一,前身为1972年创建的上海石油化工总厂,隶属中国
审计署指出,"当前和今后一个时期,经济责任审计要在逐步深化规范和提高上下功夫",因此,今后一个时期经济责任审计工作必须坚持"积极稳妥、量力而行、提高质量、防范风险"的原