Chinaunix

标题: Godel于1931年博士毕业的著名论文 [打印本页]

作者: cjaizss 时间: 2009-08-20 00:30
标题: Godel于1931年博士毕业的著名论文
有兴趣的可以看看，就是这个家伙粉碎了人们的梦想。

327.27 KB, 下载次数: 453

作者: albcamus 时间: 2009-08-20 10:50
最牛x的是，丫当时才25岁。

作者: emmoblin 时间: 2009-08-20 22:32
粉碎了什么梦想？

作者: cby 时间: 2009-09-04 01:39
标题: 回复 #1 cjaizss 的帖子
Goedel 只是為德浯系數、哲學界再次將英語系數、哲學界踩在腳底下，特別是針對羅素的PM。樓主何以說成是"人们的梦想。" 難道樓主是英國人?

作者: malloc66 时间: 2009-09-04 09:08
标题: 回复 #3 emmoblin 的帖子
歌德尔不完备定理：每一个公理体系中都有其无法证明的命题。

作者: prolj 时间: 2009-09-04 21:51
记住了

作者: cjaizss 时间: 2009-09-06 18:45

原帖由 malloc66 于 2009-9-4 09:08 发表
歌德尔不完备定理：每一个公理体系中都有其无法证明的命题。

这是对歌德尔不完备定理的误解，存在完备且自恰的形式系统，一阶逻辑就是这样的形式系统

作者: albcamus 时间: 2009-09-07 11:04
这种事也能扯到政治上，爱国青年真是无敌了。。

作者: sep 时间: 2009-09-07 11:44

原帖由 albcamus 于 2009-8-20 10:50 发表
最牛x的是，丫当时才25岁。

世上总有一些人是天眷的

作者: jg122 时间: 2009-09-08 01:26
baidu

作者: tfyt1234 时间: 2009-09-25 22:55

原帖由 malloc66 于 2009-9-4 09:08 发表
歌德尔不完备定理：每一个公理体系中都有其无法证明的命题。

存在完备的形式系统，在这个系统中存在的所有正确命题都可以被这个系统所证明，例如一阶逻辑。
歌德尔不完备定理是说：
1. 任何一个形式系统，不能同时具有相容性、完备性、Peano自然数公理
2. 任何一个形式系统，不能证明自身的相容性

欢迎光临 Chinaunix (http://bbs.chinaunix.net/)