|
|||||
|
|
| 哥德尔的直觉主义逻辑思想 | |
| 作者姓名： | 马明辉 |
| 摘 要： | 哥德尔（Kurt Godel）是现代逻辑史上的巨匠，他在逻辑史上有两大贡献：一是他证明了罗素和怀特海在《数学原理》中提出的一阶逻辑演算的完全性定理（1930），即任何有效的一阶公式都是可证的。二是他证明了著名的不完全性定理（1931），《数学原理》的系统和集合论的ZF公理系统不足以判定能在这些系统中形式化的所有数学问题... |
| 关 键 词： | 哥德尔 逻辑思想 直觉主义 《数学原理》 现代逻辑史 公理系统 不完全性 逻辑演算 |
|
||||||||||||||
|
||||||||||||||
|
||||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |