视频 | 数学核心的悖论：哥德尔不完备性定理

在数理逻辑中，哥德尔不完备定理是库尔特·哥德尔于1931年证明并发表的两条定理。哥德尔巧妙地利用了命题的“真值为真”和“含义为真”的区别，从而构造出了含义为真而真值不可证的命题。

更具体内容请看由[遇见数学翻译小组]核心成员「山」所译视频。这里欢迎更多朋友加入到[遇见数学]的翻译小组, 一道为传播数学而前行. »加入链接

生肉：https://www.youtube.com/watch?v=I4pQbo5MQOs