哥德尔的直觉主义逻辑思想

• 作者: 马明辉
• 来源期刊: 中国哲学年鉴
• 学科: 哲学
• 关键词: 哥德尔 逻辑思想 直觉主义 《数学原理》 现代逻辑史 公理系统 不完全性 逻辑演算
• 年，卷（期）: 2015,（1）
• 页码范围: 123-132
• 页数: 10页
• 分类号: B81

摘要

哥德尔（Kurt Godel）是现代逻辑史上的巨匠，他在逻辑史上有两大贡献：一是他证明了罗素和怀特海在《数学原理》中提出的一阶逻辑演算的完全性定理（1930），即任何有效的一阶公式都是可证的。二是他证明了著名的不完全性定理（1931），《数学原理》的系统和集合论的ZF公理系统不足以判定能在这些系统中形式化的所有数学问题，有一些句子及其否定在这些系统中是不可证的。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马明辉	西南大学逻辑与智能研究中心	20	10	1.0	2.0