| 查看: 1343 | 回复: 8 | |||
[交流]
关于哥德尔不完备定理
|
|||
|
哥德尔不完备定理谁懂？其中第一不完备定理： 任何相容的形式系统，只要蕴涵皮亚诺算术公理，就可以在其中构造在体系中既不能证明也不能否证的命题（即体系是不完备的）。 谁能举个例子啊。 还有第二定理的相容性是指什么？是不是指无法给出一个固定的程序可以在有限时间内判断出形式系统的任意命题是否属于“在体系中既不能证明也不能否证”，就像停机问题那样。 |
回复此楼» 猜你喜欢
申博求助
已经有4人回复
-
27年申博自荐-能源/环境方向
已经有3人回复
-
闲聊
已经有3人回复
-
亲密关系
已经有13人回复
-
27秋申博自荐
已经有4人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 【原创】有关高端数学问题的书——每日更新【已搜无重复】
已经有134人回复
- 【求助】近代三大数学难题探索
已经有14人回复
2楼2013-04-11 13:23:44
3楼2013-04-11 22:26:28
4楼2013-04-12 17:08:34
6楼2013-04-26 21:20:47
7楼2013-04-28 11:10:07
简单回复
haixiawu5楼
2013-04-13 09:36
回复
houyunju1(金币+1): 谢谢参与
2013-04-29 22:00
回复
houyunju1(金币+1): 谢谢参与
2013-05-01 23:02
回复
houyunju1(金币+1): 谢谢参与