| 查看: 1288 | 回复: 8 | |||
[交流]
关于哥德尔不完备定理
|
|||
|
哥德尔不完备定理谁懂？其中第一不完备定理： 任何相容的形式系统，只要蕴涵皮亚诺算术公理，就可以在其中构造在体系中既不能证明也不能否证的命题（即体系是不完备的）。 谁能举个例子啊。 还有第二定理的相容性是指什么？是不是指无法给出一个固定的程序可以在有限时间内判断出形式系统的任意命题是否属于“在体系中既不能证明也不能否证”，就像停机问题那样。 |
回复此楼» 猜你喜欢
只有每年这种时候来逛逛小木虫
已经有27人回复
-
我面上完蛋了
已经有12人回复
-
售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急
已经有8人回复
-
售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急
已经有3人回复
-
明天应该可查了！？
已经有5人回复
-
如果此刻你正在为国基感到焦虑，不妨来听听这首《基金之外》
已经有7人回复
-
没有任何消息-是不是就凉了
已经有8人回复
-
售SCI-T0P文章，我:8O.5.5.1.O.54,科目齐全,可+急
已经有3人回复
-
人气不行了
已经有10人回复
-
能否退出参与的面上项目解除限项
已经有24人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 【原创】有关高端数学问题的书——每日更新【已搜无重复】
已经有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): 谢谢参与
20