元数学对计算机的一些启示
佟晓强
东南大学计算机科学与工程系,江苏南京,210018
摘要：元数学是一门数理逻辑方面的学科,其主要研究对象是数学本身的矛盾性问题但是,由于元数学的研究空间是在一个形式化的体系中,因此,它所采用的各种研究方法以及考虑问题的思维模式必定会给我们的计算机科学的发展带来一些启示,甚至在某些与形式逻辑相关的领域如计算机语言的设计、人工智能等方面,还会起到一定的指导作用.
关键词：元数学数理逻辑计算机科学形式化体系
分类号：TP3-05(计算技术、计算机技术)O141(数理逻辑、数学基础)
论文发表日期：2002-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 55-58 )
英文信息