24小时热门版块排行榜    

北京石油化工学院2026年研究生招生接收调剂公告
查看: 1130  |  回复: 8
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

houyunju1

新虫 (初入文坛)


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

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

» 猜你喜欢

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

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

查看全部散金贴

已阅   回复此楼   关注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的回帖
查看全部 9 个回答
★ ★
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的回帖
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 复试调剂,一志愿南农083200食品科学与工程 +4 XQTJZ 2026-03-26 4/200 2026-03-27 01:23 by dgnhs
[考研] 343求调剂 +4 赠我一本书 2026-03-23 4/200 2026-03-27 00:40 by wxiongid
[考研] 0703化学338求调剂! +5 Zuhui0306 2026-03-26 6/300 2026-03-26 23:42 by 381988266
[考研] 085701环境工程,267求调剂 +4 minht 2026-03-26 4/200 2026-03-26 20:14 by barlinike
[考研] 一志愿厦门大学化学学硕307求调剂 +8 y7czhao 2026-03-26 8/400 2026-03-26 19:51 by 不吃魚的貓
[考研] 材料科学与工程 317求调剂 +4 JKSOIID 2026-03-26 4/200 2026-03-26 15:58 by 不吃魚的貓
[考研] 一志愿 南京邮电大学 288分 材料考研 求调剂 +3 jl0720 2026-03-26 3/150 2026-03-26 13:39 by zzll406
[考研] 机械学硕总分317求调剂!!!! +4 Acaciad 2026-03-25 4/200 2026-03-25 19:59 by hanserlol
[考研] 考研一志愿苏州大学初始315(英一)求调剂 +3 sbdksD 2026-03-24 4/200 2026-03-25 18:16 by xcjcqu
[考研] 求调剂323材料与化工 +4 1124361 2026-03-24 4/200 2026-03-25 11:19 by shulmg
[考研] 一志愿武理085500机械专业总分300求调剂 +3 an10101 2026-03-24 7/350 2026-03-25 00:00 by 山鬼0-
[考研] 311求调剂 +3 冬十三 2026-03-24 3/150 2026-03-24 21:31 by peike
[考研] 一志愿重庆大学085700资源与环境,总分308求调剂 +7 墨墨漠 2026-03-23 8/400 2026-03-23 20:36 by Creta
[考研] 070300,一志愿北航320求调剂 +3 Jerry0216 2026-03-22 5/250 2026-03-23 09:16 by 。。堂堂
[考研] 求助 +5 梦里的无言 2026-03-21 6/300 2026-03-21 17:51 by 学员8dgXkO
[考研] 266求调剂 +3 哇呼哼呼哼 2026-03-20 3/150 2026-03-21 16:46 by barlinike
[考研] 一志愿重庆大学085700资源与环境总分308求调剂 +7 墨墨漠 2026-03-20 7/350 2026-03-21 16:36 by barlinike
[考研] 南昌大学材料专硕311分求调剂 +6 77chaselx 2026-03-20 6/300 2026-03-21 07:24 by JourneyLucky
[考研] A区线材料学调剂 +5 周周无极 2026-03-20 5/250 2026-03-20 21:33 by laoshidan
[考研] 求调剂 +3 @taotao 2026-03-20 3/150 2026-03-20 19:35 by JourneyLucky
信息提示
请填处理意见