支持3位老师!
真的很好奇吴老师的本职工作是什么?每周日凌晨三点出新节目,开始我还以为吴老师在欧洲工作生活呢
其次,不完备性指的是命题为真,但是不能在形式系统内证明。这里的“命题为真”指的是在任何该形式系统的具体模型中为真。如果命题是因为在一些模型中为真一些模型中为假导致的无法证明或证否,并不是哥德尔命题。
谢波德的自由钟7号 回复 @听友39641344: 淦
几点补充:哥德尔的定理包括完备性定理和不完备性定理。前者谈的是一阶逻辑的完备性,后者谈的是包含皮亚诺公理的形式系统的不完备性。
转到我的《费马大定理》专辑,谢谢!
我是在做实验的时候,听您的节目,很有启发。声音也很动听,而且我觉得发音很标准啦
以前叫吴京平老师,现在叫吴京平啦,膨胀了
姑姑刚刚好 回复 @Jamesyuan_l0: 难道一定要让别人比自己高一点吗
形式逻辑系统等价于图灵机的概念 只听说过许多相互等价的图灵机 没听说一个比另一个更完整 任何认知系统都不是完备的 所以大统一理论很可能没戏
背景音乐太抢了,铜管乐也不太适合做背景
这是我们的蒙太奇