| 查看: 1301 | 回复: 8 | |||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||
[交流]
关于哥德尔不完备定理
|
|||
|
哥德尔不完备定理谁懂？其中第一不完备定理： 任何相容的形式系统，只要蕴涵皮亚诺算术公理，就可以在其中构造在体系中既不能证明也不能否证的命题（即体系是不完备的）。 谁能举个例子啊。 还有第二定理的相容性是指什么？是不是指无法给出一个固定的程序可以在有限时间内判断出形式系统的任意命题是否属于“在体系中既不能证明也不能否证”，就像停机问题那样。 |
回复此楼» 猜你喜欢
初秋的晨风
已经有3人回复
-
售SCI一区T0P文章，我:8.O.55.1.O54,科目全,可伽急
已经有4人回复
-
面上没中，邀请各位路过的虫友分析一下分数
已经有11人回复
-
Ei源刊怎么投
已经有4人回复
-
售SCI一区T0P文章，我:8O.55.1.O.54,科目全,可伽急
已经有10人回复
-
广西大学-广州大学招聘博士后 欢迎广大优秀人才！！！
已经有6人回复
-
两块石头
已经有5人回复
-
哈尔滨工业大学韩晓军教授课题组招收2027年硕士推免生及博士研究生
已经有3人回复
-
找导师
已经有8人回复
-
国社科又开始会评了，不知道这次命运如何
已经有14人回复
» 本主题相关价值贴推荐，对您同样有帮助:
- 【原创】有关高端数学问题的书——每日更新【已搜无重复】
已经有134人回复
- 【求助】近代三大数学难题探索
已经有14人回复
3楼2013-04-11 22:26:28
2楼2013-04-11 13:23:44
4楼2013-04-12 17:08:34
6楼2013-04-26 21:20:47