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

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 关于哥德尔不完备定理
91/1返回列表
查看: 1289  |  回复: 8
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

houyunju1

新虫 (初入文坛)

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

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

» 猜你喜欢

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

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

查看全部散金贴
1楼 2013-04-10 22:10:47
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Pchief

铁杆木虫 (正式写手)
★ ★
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
那第二定理的相容性指什么？...

相容性是指系统内部命题之间没有矛盾，哥德尔第二定理说不能用理论体系自己来说明自己的无矛盾性
赞一下(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的回帖

ladywagaga

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

无法证明自身的相容性就是指不可能再形式系统的内部构造一些列的证明公式，使得这些公式能够说明该形式系统是无矛盾的，这里面有一个命题现在数理体系中是不能证明的，就是康托连续统假设：是否存在一个数集，使得该数集的势比有理数集的势大，但又比实数集的势小？
赞一下 回复此楼
7楼2013-04-28 11:10:07
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
简单回复
haixiawu5楼
2013-04-13 09:36   回复  
houyunju1(金币+1): 谢谢参与
jevonszou8楼
2013-04-29 22:00   回复  
houyunju1(金币+1): 谢谢参与
yingying15889楼
2013-05-01 23:02   回复  
houyunju1(金币+1): 谢谢参与
相关版块跳转 我要订阅楼主 houyunju1 的主题更新
91/1返回列表
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 在坚冰还盖着北海的时候，我看到了怒放的梅花。 +3 ziyangfang 2026-08-25 3/150 2026-08-25 13:14 by huagongfeihu
[基金申请] 没有任何消息-是不是就凉了 +9 图啦图啦 2026-08-24 10/500 2026-08-25 11:59 by 南海小哥
[基金申请] 人气不行了 +11 fansofjerry 2026-08-21 11/550 2026-08-25 11:04 by 孤独的英雄6
[教师之家] 导师吐槽：我怎么摊上了这么个极品研究生！ +3 苏东坡二世 2026-08-23 3/150 2026-08-25 10:35 by shisan1313
[基金申请] 2026年的国家社科基金项目通讯评审的新规则与新动向、新挑战 +5 process2012 2026-08-23 7/350 2026-08-25 09:42 by huixian257
[基金申请] 我面上完蛋了 +13 且听虎啸 2026-08-20 14/700 2026-08-25 09:10 by mrkang
[基金申请] 只有每年这种时候来逛逛小木虫 +25 yaoyewhu2008 2026-08-20 27/1350 2026-08-25 08:01 by Equinoxhua
[基金申请] 明天应该可查了！？ +5 chengyan1220 2026-08-23 5/250 2026-08-24 23:28 by 我4大白菜
[基金申请] 建议基金发布提前给出明确的时间点 +13 kulium 2026-08-21 16/800 2026-08-24 16:27 by superceng
[基金申请] 今日不放榜？网传国自然预计 8 月 27 日可查结果 +17 医学老男孩 2026-08-20 21/1050 2026-08-24 14:21 by refreshing11
[基金申请] 让我中一个面上吧！ +13 大萍1987 2026-08-20 16/800 2026-08-24 10:23 by 太傻了
[基金申请] 放榜前的不淡定 20+4 snowwithsea 2026-08-19 17/850 2026-08-24 10:20 by echo8914667
[基金申请] 什么时候开奖？ +10 CrisMessi 2026-08-18 11/550 2026-08-24 06:50 by 开心的小狮子
[教师之家] 跳槽后在研项目怎么办？ +5 简单化xn 2026-08-22 10/500 2026-08-23 12:38 by 简单化xn
[基金申请] 时间戳今天，20号变了 +5 archvillain 2026-08-20 5/250 2026-08-22 06:12 by hui_daxiao
[基金申请] 看来今天不会放榜了？ +8 chengyan1220 2026-08-21 11/550 2026-08-21 17:52 by dcqxinyang
[基金申请] 时间戳又变了 +13 wuchongjun 2026-08-20 19/950 2026-08-21 17:21 by 紫杉醇
[基金申请] 今天放榜没戏了吧 +9 yuleib84 2026-08-19 11/550 2026-08-21 10:06 by gltch
[基金申请] 基金啊基金 +4 longfie172 2026-08-20 4/200 2026-08-21 08:58 by mark mao
[基金申请] 重要消息，中午系统在维护 +11 yuleib84 2026-08-18 12/600 2026-08-20 11:09 by xskun
信息提示
关闭
请填处理意见
关闭