元数学对计算机的一些启示

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

Some inspiration to computer science from metamathematics

Metamathematics is a subject on symbolic logic,which focuses on the mathematics discrepancy.Because its research space is a formal system,the research methods and thinking model must bring our computer science some illustration,even in the fields relating to programming language design,and AI Metamathematics can also show us the direction to some extent.After all,the computer science is a highly abstract formal system.