元数学对计算机的一些启示  Some inspiration to computer science from metamathematics
              元数学是一门数理逻辑方面的学科,其主要研究对象是数学本身的矛盾性问题但是,由于元数学的研究空间是在一个形式化的体系中,因此,它所采用的各种研究方法以及考虑问题的思维模式必定会给我们的计算机科学的发展带来一些启示,甚至在某些与形式逻辑相关的领域如计算机语言的设计、人工智能等方面,还会起到一定的指导作用.

            