24小时热门版块排行榜    

查看: 1066  |  回复: 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 的主题更新
普通表情 高级回复 (可上传附件)
信息提示
请填处理意见