元数学对计算机科学的启示

The Revelation to the Computer Science of Meta-Mathematics

文章提出了元数学对计算机科学的几点启示,这几个方面分别是传统程序设计的概念、机制、要素,数据库技术中的数据模型和函数依赖,面向对象分析和设计方法。文中一方面分析了元数学所提供的理论基础,另一方面说明了在应用方面是如何体现这些理论基础的,并提出了在计算机技术领域中应从数学基础问题、数理逻辑等的相关理论着手寻找突破的思想。

This paper put forward some revelatio n of meta-mathematics to the computer science as the following aspects,the conc epts,mechanisms and factors of traditional programming,data model and functio n dependency in the database technology,and analyze s and design of object-ori ented method.First the authors analyze the theoretic bases provided by meta-ma thematics,then illustrate how these bases in applied,and bring the idea of loo king for solution to some complex computer problems from the theory on mathema tics fundaments and symbolic logic.