应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 关于哥德尔不完备定理
北京石油化工学院2026年研究生招生接收调剂公告
51/1返回列表
查看: 1128  |  回复: 8
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看
当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖

houyunju1

新虫 (初入文坛)

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

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

» 猜你喜欢

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

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

查看全部散金贴
1楼 2013-04-10 22:10:47
已阅   回复此楼   关注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的回帖
查看全部 9 个回答

Pchief

铁杆木虫 (正式写手)
★ ★
houyunju1(金币+1): 谢谢参与
houyunju1: 金币+1 2013-04-11 22:28:23
例子有如“我在本系统中不能被证明”这个命题
赞一下 回复此楼
2楼2013-04-11 13:23:44
已阅   回复此楼   关注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
那第二定理的相容性指什么？...

相容性是指系统内部命题之间没有矛盾，哥德尔第二定理说不能用理论体系自己来说明自己的无矛盾性
赞一下(1人) 回复此楼
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的回帖
查看全部 9 个回答
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 一志愿武汉理工，总分321，英一数二，求老师收留。 +4 nnnnnnn5 2026-03-25 4/200 2026-03-27 01:04 by fmesaito
[考研] 化学308分求调剂 +5 你好明天你好 2026-03-23 5/250 2026-03-26 23:43 by 催化大白
[考研] 08工学调剂 +13 用户573181 2026-03-20 20/1000 2026-03-26 21:22 by 用户573181
[考研] 286求调剂 +13 Faune 2026-03-21 13/650 2026-03-26 19:52 by peike
[考研] 一志愿 西北大学 ，070300化学学硕，总分287，双非一本，求调剂。 +6 晨昏线与星海 2026-03-20 6/300 2026-03-26 19:20 by macy2011
[考研] 生物学学硕，一志愿湖南大学，初试成绩338 +4 YYYYYNNNNN 2026-03-26 4/200 2026-03-26 19:00 by macy2011
[考研] 材料与化工304求B区调剂 +3 邱gl 2026-03-26 6/300 2026-03-26 18:03 by 邱gl
[考研] 271求调剂 +6 生如夏花… 2026-03-22 6/300 2026-03-26 16:48 by 张凯十八号
[考研] 085601求调剂总分293英一数二 +4 钢铁大炮 2026-03-24 4/200 2026-03-26 16:28 by dick_runner
[考研] 一志愿河工大 081700 276求调剂 +4 地球绕着太阳转 2026-03-23 4/200 2026-03-26 14:27 by zzll406
[考研] 0854人工智能方向招收调剂 +4 章小鱼567 2026-03-24 4/200 2026-03-25 13:29 by 2177681040
[考研] 085600材料与化工调剂 +9 A-哆啦Z梦 2026-03-23 15/750 2026-03-25 11:18 by Ainin_
[考研] 一志愿北化315 求调剂 +3 akrrain 2026-03-24 3/150 2026-03-24 19:35 by 了了了了。。
[考研] 求调剂一志愿武汉理工大学材料工程（085601） +5 WW.' 2026-03-23 7/350 2026-03-24 14:50 by sprinining
[基金申请] 请教下大家 2026年国家基金申请是双盲审吗？ +3 lishucheng1 2026-03-22 5/250 2026-03-24 08:22 by gltch
[考研] 361求调剂 +3 Glack 2026-03-22 3/150 2026-03-23 22:03 by fuyu_
[考研] 336求调剂 +4 收到VS 2026-03-20 4/200 2026-03-23 19:02 by macy2011
[考研] 一志愿东华大学化学070300，求调剂 +7 2117205181 2026-03-21 8/400 2026-03-22 22:55 by chixmc
[考研] 275求调剂 +6 shansx 2026-03-22 8/400 2026-03-22 15:27 by barlinike
[考研] A区线材料学调剂 +5 周周无极 2026-03-20 5/250 2026-03-20 21:33 by laoshidan
信息提示
关闭
请填处理意见
关闭