哥德尔不完备定理

逻辑
反馈
修正?更新?遗漏?让我们知道如果你有建议改进这篇文章(需要登录)。
谢谢你的反馈

我们的编辑器将检查你提交并决定是否修改这篇文章。

外部网站
备选标题:哥德尔证明定理的一致性

了解这个话题在这些文章中:

主要参考

  • 不完备定理

    第二个不完备定理之前,作为一个直接后果,或推论,哥德尔。尽管尚不明确,哥德尔意识到,和其他数学家,如匈牙利出生的美国数学家约翰·冯·诺依曼立即意识到它之后…

    阅读更多

历史的逻辑

  • 芝诺悖论
    历史的逻辑:哥德尔不完备定理

    在算术…,被称为哥德尔不完备定理。这个结果表明希尔伯特证明算法的一致性的项目是注定要失败的。的一致性算法只能通过证明比那些由算法本身提供。

    阅读更多

元逻辑

  • 大卫希尔伯特
    元逻辑:两个不完全性定理

    更确切的说,哥德尔表明,如果系统是一致的p不是可证明的;如果是ω-consistent,然后∼p不是可证明的。上半年导致哥德尔定理的一致性证明,然后说,如果一个系统是一致的,算术句子表达…

    阅读更多