24小时热门版块排行榜    

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

houyunju1

新虫 (初入文坛)


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

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

» 猜你喜欢

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

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

查看全部散金贴

已阅   回复此楼   关注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的回帖
查看全部 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的回帖

houyunju1

新虫 (初入文坛)


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

任何相容的形式系统,只要蕴涵皮亚诺算术公理,它就不能用于证明它本身的相容性
不相容就是存在矛盾的命题,相容就是不存在。那无法证明自身相容性就是不知道是否存在矛盾的命题?也就是说有可能有一天有人发现皮亚诺算术公理体系可以证明一个命题的正反两面?
6楼2013-04-26 21:20:47
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 一志愿武汉理工,总分321,英一数二,求老师收留。 +4 nnnnnnn5 2026-03-25 4/200 2026-03-27 01:04 by fmesaito
[考研] 329求调剂 +5 1() 2026-03-22 5/250 2026-03-26 20:40 by fmesaito
[考研] 303求调剂 +7 元夕元 2026-03-20 8/400 2026-03-26 20:38 by 不吃魚的貓
[考研] 求调剂 +8 Auroracx 2026-03-22 8/400 2026-03-26 19:55 by 不吃魚的貓
[考研] 总分322求生物学/生化与分子/生物信息学相关调剂 +5 星沉uu 2026-03-26 6/300 2026-03-26 19:02 by macy2011
[考研] 中国科学院深圳先进技术研究院-光纤传感课题组招生-中国科学院大学、深圳理工大学联培 +5 YangTyu1 2026-03-26 5/250 2026-03-26 18:27 by 猫咪猫咪呀
[考研] 274求调剂 +14 顾九笙要谦虚 2026-03-24 20/1000 2026-03-26 18:15 by 乐呵呵的追梦人
[考研] 22 350 本科985求调剂,求老登收留 +4 李轶男003 2026-03-20 4/200 2026-03-26 16:05 by 哇啦啦啦xtj
[考研] 275求调剂 +9 Micky11223 2026-03-25 11/550 2026-03-26 15:54 by 不吃魚的貓
[考研] 一志愿河工大 081700 276求调剂 +4 地球绕着太阳转 2026-03-23 4/200 2026-03-26 14:27 by zzll406
[考研] 309求调剂 +4 gajsj 2026-03-25 5/250 2026-03-26 00:27 by Dyhoer
[考研] 一志愿中南大学化学学硕0703总分337求调剂 +7 niko- 2026-03-22 7/350 2026-03-25 20:14 by qingfeng258
[考研] 网络空间安全0839招调剂 +4 w320357296 2026-03-25 6/300 2026-03-25 17:59 by 255671
[考研] 0854电子信息求调剂 +7 α____ 2026-03-22 9/450 2026-03-25 13:37 by α____
[考研] 086003食品工程求调剂 +6 淼淼111 2026-03-24 6/300 2026-03-25 10:29 by 3Strings
[考研] 化学调剂 +6 yzysaa 2026-03-21 6/300 2026-03-25 09:27 by aa331100
[考研] 070300化学求调剂 +9 苑豆豆 2026-03-20 9/450 2026-03-24 17:15 by licg0208
[考研] 求老师收我 +3 zzh16938784 2026-03-23 3/150 2026-03-23 12:56 by ztnimte
[考研] 260求调剂 +3 朱芷琳 2026-03-20 4/200 2026-03-22 15:12 by 朱芷琳
[考研] 269专硕求调剂 +6 金恩贝 2026-03-21 6/300 2026-03-22 14:31 by ColorlessPI
信息提示
请填处理意见