哥德尔不完备定理
逻辑
反馈
谢谢你的反馈
我们的编辑器将检查你提交并决定是否修改这篇文章。
外部网站
了解这个话题在这些文章中:
主要参考
历史的逻辑
-
在算术…,被称为哥德尔不完备定理。这个结果表明希尔伯特证明算法的一致性的项目是注定要失败的。的一致性算法只能通过证明比那些由算法本身提供。
阅读更多
元逻辑
-
更确切的说,哥德尔表明,如果系统是一致的p不是可证明的;如果是ω-consistent,然后∼p不是可证明的。上半年导致哥德尔定理的一致性证明,然后说,如果一个系统是一致的,算术句子表达…
阅读更多