24小时热门版块排行榜    

查看: 1317  |  回复: 8

houyunju1

新虫 (初入文坛)


[交流] 关于哥德尔不完备定理

哥德尔不完备定理谁懂?其中第一不完备定理:
任何相容的形式系统,只要蕴涵皮亚诺算术公理,就可以在其中构造在体系中既不能证明也不能否证的命题(即体系是不完备的)。
谁能举个例子啊。
还有第二定理的相容性是指什么?是不是指无法给出一个固定的程序可以在有限时间内判断出形式系统的任意命题是否属于“在体系中既不能证明也不能否证”,就像停机问题那样。
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐,对您同样有帮助:

» 抢金币啦!回帖就可以得到:

查看全部散金贴

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
★ ★
houyunju1(金币+1): 谢谢参与
houyunju1: 金币+1 2013-04-11 22:28:23
例子有如“我在本系统中不能被证明”这个命题
2楼2013-04-11 13:23:44
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

houyunju1

新虫 (初入文坛)


引用回帖:
2楼: Originally posted by Pchief at 2013-04-11 13:23:44
例子有如“我在本系统中不能被证明”这个命题

那第二定理的相容性指什么?
3楼2013-04-11 22:26:28
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

ladywagaga

铁虫 (初入文坛)


★ ★
houyunju1(金币+1): 谢谢参与
houyunju1: 金币+1 2013-04-17 11:03:15
引用回帖:
3楼: Originally posted by houyunju1 at 2013-04-11 22:26:28
那第二定理的相容性指什么?...

相容性是指系统内部命题之间没有矛盾,哥德尔第二定理说不能用理论体系自己来说明自己的无矛盾性
4楼2013-04-12 17:08:34
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

houyunju1

新虫 (初入文坛)


引用回帖:
4楼: Originally posted by ladywagaga at 2013-04-12 17:08:34
相容性是指系统内部命题之间没有矛盾,哥德尔第二定理说不能用理论体系自己来说明自己的无矛盾性...

任何相容的形式系统,只要蕴涵皮亚诺算术公理,它就不能用于证明它本身的相容性
不相容就是存在矛盾的命题,相容就是不存在。那无法证明自身相容性就是不知道是否存在矛盾的命题?也就是说有可能有一天有人发现皮亚诺算术公理体系可以证明一个命题的正反两面?
6楼2013-04-26 21:20:47
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

ladywagaga

铁虫 (初入文坛)


引用回帖:
6楼: Originally posted by houyunju1 at 2013-04-26 21:20:47
任何相容的形式系统,只要蕴涵皮亚诺算术公理,它就不能用于证明它本身的相容性
不相容就是存在矛盾的命题,相容就是不存在。那无法证明自身相容性就是不知道是否存在矛盾的命题?也就是说有可能有一天有人发现皮 ...

无法证明自身的相容性就是指不可能再形式系统的内部构造一些列的证明公式,使得这些公式能够说明该形式系统是无矛盾的,这里面有一个命题现在数理体系中是不能证明的,就是康托连续统假设:是否存在一个数集,使得该数集的势比有理数集的势大,但又比实数集的势小?
7楼2013-04-28 11:10:07
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
简单回复
haixiawu5楼
2013-04-13 09:36   回复  
houyunju1(金币+1): 谢谢参与
jevonszou8楼
2013-04-29 22:00   回复  
houyunju1(金币+1): 谢谢参与
2013-05-01 23:02   回复  
houyunju1(金币+1): 谢谢参与
相关版块跳转 我要订阅楼主 houyunju1 的主题更新
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[找工作] 售SCI一区T0P文章,我:8.O.55.1.O.54,科目齐全,可+急 +3 Aj1rhIDL5ixY 2026-09-14 3/150 2026-09-16 07:12 by LH5NkK5Ud4bh
[找工作] 售SCI一区文章,我:8.O.551.O.5.4,科目全,可伽急 +3 6F5UbRU2I5hL 2026-09-14 3/150 2026-09-16 05:15 by LH5NkK5Ud4bh
[博后之家] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +4 s3fFTmArrBt6 2026-09-14 4/200 2026-09-16 04:27 by DgNGHc3h5tPl
[硕博家园] 售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急 +5 s3fFTmArrBt6 2026-09-13 7/350 2026-09-16 03:26 by DgNGHc3h5tPl
[找工作] 售SCI一区T0P文章,我:8.O.55.1.O.54,科目齐全,可+急 +4 LwdutQ8HoqWP 2026-09-13 4/200 2026-09-16 03:23 by DgNGHc3h5tPl
[找工作] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +4 3n8v2C8RimXI 2026-09-13 5/250 2026-09-16 03:02 by DgNGHc3h5tPl
[考博] 申博发邮件 +4 Lmengk 2026-09-15 4/200 2026-09-16 00:05 by 木心想继续深造
[找工作] 售SCI一区文章,我:8.O.55.1.O.54,科目齐全,可伽急 +3 23jxep3nCNZb 2026-09-14 3/150 2026-09-15 18:47 by CgyNCDVNhGVg
[考研] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +5 s3fFTmArrBt6 2026-09-14 5/250 2026-09-15 16:59 by CgyNCDVNhGVg
[考博] 售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急 +7 s3fFTmArrBt6 2026-09-14 7/350 2026-09-15 16:23 by CgyNCDVNhGVg
[找工作] 售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急 +6 3n8v2C8RimXI 2026-09-13 6/300 2026-09-15 15:02 by CgyNCDVNhGVg
[考研] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +6 3n8v2C8RimXI 2026-09-13 7/350 2026-09-15 14:49 by VMDqgnlKimtZ
[硕博家园] 售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急 +4 3n8v2C8RimXI 2026-09-13 4/200 2026-09-15 14:34 by VMDqgnlKimtZ
[公派出国] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +7 QUjhNVAcOSff 2026-09-13 9/450 2026-09-15 14:10 by VMDqgnlKimtZ
[硕博家园] 售SCI一区T0P文章,我:8.O.55.1.O54,科目全,可伽急 +3 23jxep3nCNZb 2026-09-14 3/150 2026-09-15 09:38 by VMDqgnlKimtZ
[教师之家] 售SCI一区T0P文章,我:8O.55.1.O.54,科目全,可伽急 +4 6F5UbRU2I5hL 2026-09-14 4/200 2026-09-15 07:50 by C79jjtjAKjEn
[考研] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +3 s3fFTmArrBt6 2026-09-13 5/250 2026-09-15 06:49 by 5BDX0d0WFp7t
[博后之家] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +6 3n8v2C8RimXI 2026-09-13 6/300 2026-09-15 05:50 by 5BDX0d0WFp7t
[基金申请] 求教各位大神:2026教育部人文社科青年基金项目何时公示呀? +5 云宴山人 2026-09-10 7/350 2026-09-14 12:11 by ecnu2013
[找工作] 浙江师范大学是怎么坑我的 +6 recruit123 2026-09-09 6/300 2026-09-14 12:00 by 萨仁其其格
信息提示
请填处理意见