上传
创作中心
有声出版
客户端
听友195378008
卓老板聊科技
这是我们的蒙太奇
皇家礼炮_cB
支持3位老师!
马可思维
真的很好奇吴老师的本职工作是什么?每周日凌晨三点出新节目,开始我还以为吴老师在欧洲工作生活呢
听友39641344
其次,不完备性指的是命题为真,但是不能在形式系统内证明。这里的“命题为真”指的是在任何该形式系统的具体模型中为真。如果命题是因为在一些模型中为真一些模型中为假导致的无法证明或证否,并不是哥德尔命题。
谢波德的自由钟7号 回复 @听友39641344:
淦
听友31896678 回复 @听友39641344:
c
几点补充:哥德尔的定理包括完备性定理和不完备性定理。前者谈的是一阶逻辑的完备性,后者谈的是包含皮亚诺公理的形式系统的不完备性。
0045
查看
,, 查看
听友195378008
卓老板聊科技
这是我们的蒙太奇
皇家礼炮_cB
支持3位老师!
马可思维
真的很好奇吴老师的本职工作是什么?每周日凌晨三点出新节目,开始我还以为吴老师在欧洲工作生活呢
听友39641344
其次,不完备性指的是命题为真,但是不能在形式系统内证明。这里的“命题为真”指的是在任何该形式系统的具体模型中为真。如果命题是因为在一些模型中为真一些模型中为假导致的无法证明或证否,并不是哥德尔命题。
谢波德的自由钟7号 回复 @听友39641344:
淦
听友31896678 回复 @听友39641344:
c
听友39641344
几点补充:哥德尔的定理包括完备性定理和不完备性定理。前者谈的是一阶逻辑的完备性,后者谈的是包含皮亚诺公理的形式系统的不完备性。