【讨论】《费马大定理》和数论

00:00

14:46

主播信息

我们是科学声音联盟，成员有《科学有故事》的汪诘；《科学史评话》的吴京平；《原来是这样》的旭岽，《卓老板聊科技》的卓克；《王木头讲科学》的王木头；《科学部落》U仔；《大老李聊数学》大老李；《托德老师讲儿童心理学》托德老师，欢迎大家关注我们的节目

11.68万

加关注

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