24小时热门版块排行榜

>论坛更新日志 (3545)
>虫友互识 (1768)
>休闲灌水 (774)
>导师招生 (89)
>文献求助 (68)
>论文投稿 (37)
>基金申请 (35)
>论文道贺祈福 (31)
>考博 (31)
>考研 (29)
>博后之家 (28)
>硕博家园 (28)
>微米和纳米 (27)
>教师之家 (26)
>公派出国 (21)
>找工作 (17)

返回列表

当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

houyunju1

新虫 (初入文坛)

应助: 0 (幼儿园)
金币: 2139
帖子: 34
在线: 13.5小时
虫号: 2267710

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

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

回复此楼

» 猜你喜欢

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

【原创】有关高端数学问题的书——每日更新【已搜无重复】已经有134人回复
【求助】近代三大数学难题探索已经有14人回复

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

查看全部散金贴

1楼 2013-04-10 22:10:47

已阅回复此楼关注TA 给TA发消息送TA红花 TA的回帖

ladywagaga

铁虫 (初入文坛)

应助: 0 (幼儿园)
金币: 67.6
帖子: 24
在线: 34.2小时
虫号: 2398564

引用回帖:

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

无法证明自身的相容性就是指不可能再形式系统的内部构造一些列的证明公式，使得这些公式能够说明该形式系统是无矛盾的，这里面有一个命题现在数理体系中是不能证明的，就是康托连续统假设：是否存在一个数集，使得该数集的势比有理数集的势大，但又比实数集的势小？