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

• 作者: 佟晓强
• 来源期刊: 焦作工学院学报(自然科学版)
• 学科: 工学
• 关键词: 元数学 数理逻辑 计算机科学 形式化体系
• 年，卷（期）: 2002,（1）
• 所属期刊栏目: 计算机应用
• 页码范围: 55-58
• 页数: 4页
• 分类号: TP3-05|O141
• 字数: 3872字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-9787.2002.01.014

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	佟晓强	东南大学计算机科学与工程系	3	17	2.0	3.0