|
|||||
|
|
| 哥德尔的直觉主义逻辑思想 | |
| 引用本文： | 马明辉.哥德尔的直觉主义逻辑思想[J].中国哲学年鉴,2015(1):123-132. |
| 作者姓名： | 马明辉 |
| 摘 要： | 哥德尔（Kurt Godel）是现代逻辑史上的巨匠，他在逻辑史上有两大贡献：一是他证明了罗素和怀特海在《数学原理》中提出的一阶逻辑演算的完全性定理（1930），即任何有效的一阶公式都是可证的。二是他证明了著名的不完全性定理（1931），《数学原理》的系统和集合论的ZF公理系统不足以判定能在这些系统中形式化的所有数学问题... |
| 关 键 词： | 哥德尔 逻辑思想 直觉主义 《数学原理》 现代逻辑史 公理系统 不完全性 逻辑演算 |