海归论坛 :: 阅读跟帖 - 图林曾经用另一种方式等价地证明过哥德尔定律。对职业程序员来说，图林的证明比较容易理解

会员列表
收藏夹
论坛帮助

论坛首页 | 排行榜 | 在线私聊 | 专题 | 版规 | 搜索 | RSS | 注册 | 活动日历


主题: 西方思想家百人之第九十五：克尔特•哥德尔 Kurt Godel （1906-1978）

作者

西方思想家百人之第九十五：克尔特•哥德尔 Kurt Godel （1906-1978）

所跟贴

你好像看反了。 -- 网客JT - (878 Byte) 2009-7-10 周五, 09:43 (349 reads)

无业游民

头衔: 海归少校
声望: 博导

加入时间: 2009/03/02
文章: 639

海归分: 20947

标题: 图林曾经用另一种方式等价地证明过哥德尔定律。对职业程序员来说，图林的证明比较容易理解 (310 reads) 时间: 2009-7-10 周五, 11:43

(内容为空)

相关主题
西方思想家百人之第七十三：让-保罗•萨特 Jean-Paul Sartre...	海归茶馆	2009-5-04 周一, 07:55
西方思想家百人之第九十六：阿兰•图灵 Alan Turing ( 191...	海归茶馆	2009-12-05 周六, 10:56
西方思想家百人之第九十四：卡尔•波普 Karl Popper ( 190...	海归茶馆	2009-11-26 周四, 10:56
西方思想家百人之第九十三：阿尔伯特•爱因斯坦 Albert Einste...	海归茶馆	2009-11-23 周一, 20:26
西方思想家百人之第四十八: 乔治•黑格尔 George Wilhel...	海归茶馆	2009-7-06 周一, 17:34
西方思想家百人之第四十五：伊曼努尔•康德 Immanuel Kant （1...	海归茶馆	2009-6-08 周一, 11:12
西方思想家百人之第三十七：戈特弗里德•莱布尼茨 Gottfried Wil...	海归茶馆	2009-6-03 周三, 17:47
西方思想家百人之第六十八：约翰•梅纳德•凯恩斯John Maynard K...	海归茶馆	2009-4-15 周三, 09:04

阿兰说的没错，根本没有人能证明智能机器人不能有创造性思维。。。 -- 夏凉 - (462 Byte) 2009-7-10 周五, 09:02 (404 reads)

图林曾经用另一种方式等价地证明过哥德尔定律。对职业程序员来说，图林的证明比较容易理解 -- 无业游民 - (0 Byte) 2009-7-10 周五, 11:43 (310 reads)

显示文章:

所有的时间均为北京时间

您不能在本论坛发表新主题, 不能回复主题, 不能编辑自己的文章, 不能删除自己的文章, 不能发表投票, 您 不可以 发表活动帖子在本论坛, 不能添加附件不能下载文件,

热门标签

论坛精华荟萃

博客热门文章