在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。哥德尔巧妙地利用了命题的“真值为真”和“含义为真”的区别，从而构造出了含义为真而真值不可证的命题。
更具体内容请看由[遇见数学翻译小组]核心成员「山」所译视频。这里欢迎更多朋友加入到[遇见数学]的翻译小组, 一道为传播数学而前行. »加入链接http://t.cn/A654jA6h http://t.cn/A6I1iEUa
遇见数学
在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。哥德尔巧妙地利用了命题的“真值为真”和“含义为真”的区别，从而构造出了含义为真而真值不可证的命题。
更具体内容请看由[遇见数学翻译小组]核心成员「山」所译视频。这里欢迎更多朋友加入到[遇见数学]的翻译小组, 一道为传播数学而前行. »加入链接http://t.cn/A654jA6h http://t.cn/A6I1iEUa