出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础
| 词条 | 不完全性定理 |
| 释义 | 不完全性定理 不完全性定理 哥德尔1931年发表的形式数论系统的不完全性定理。它包括两个定理:第一定理是形式数论系统或它的任意协调的扩充系统里,都有不含自由变元的公式(即闭公式)A使得A和它的否定式7A都不是定理。第二定理是形式数论系统或它的任意协调的扩充系统的协调性的证明不可能在该形式系统中实现。哥德尔的这个定理否定了希尔伯特方案的某些设想。它对自然数集上递归论的产生和发展有重要影响,并有重要的哲学意义。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。