罗伯特·格雷 计算机程序和数学证明。 （英语） Zbl 0790.68024号 数学。智力。 13，第4号，45-48（1991）. 摘要：在他的《数学智能报》文章[Math.Intell.8，No.1，48-52（1986；Zbl 0586.68025号)关于计算机科学和数学，E.W.迪克斯特拉声明“程序设计技术……已成功应用于验证设计”。本文提供了Dijkstra声明的示例。 引用于1文件 MSC公司： 68N99型 软件理论 00年3月35日 数学方法论 26-04 与实际功能有关的问题的软件、源代码等 关键词：海涅-博雷尔定理；程序设计；验证设计 引文：Zbl 0586.68025号 PDF格式BibTeX公司 XML格式引用 \textit{R.Gray}，数学。智力。13，第4号，45-48（1991；Zbl 0790.68024） 全文： 内政部 参考文献： [1] A.V.Aho、J.E.Hopcroft和J.D.Ullman，数据结构和算法，Addison-Wesley，Reading，马萨诸塞州，1983年·Zbl 0487.68005号 [2] E.W.Dijkstra，《论文化鸿沟》，《数学智能者》第8期（1986年），第48–52页·兹伯利0586.68025 ·doi:10.1007/BF03023921 [3] R.Gray，程序员对初等分析的看法，未发表。 [4] M.F.Hallett，《走向数学研究计划的理论》，《英国科学哲学杂志》30（1979），1-25和135-159·Zbl 0438.03004号 ·doi:10.1093/bjps/30.1.1 [5] S.G.Simpson，《逆向数学》，《纯粹数学研讨会论文集》，第42卷，Amer。数学。Soc（1985），461-471·Zbl 0578.03005号 [6] C.斯莫林斯基，《树木体验的多样性》，《数学智能4》（1982），182-189·Zbl 0521.03041号 ·doi:10.1007/BF03023553 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。