海纳百川

登录 | 登录并检查站内短信 | 个人设置 网站首页 |  论坛首页 |  博客 |  搜索 |  收藏夹 |  帮助 |  团队  | 注册  | RSS
主题: 再吹轱辘笛
回复主题   printer-friendly view    海纳百川首页 -> 驴鸣镇
阅读上一个主题 :: 阅读下一个主题  
作者 再吹轱辘笛   
所跟贴 我不懂数学,不过罗素等一批数学家曾在上世纪想使得数学变成真正自洽的公理系统,不幸没有成功, -- 芦笛 - (26 Byte) 2009-12-05 周六, 上午4:40 (139 reads)
吴耐
[个人文集]






加入时间: 2004/03/06
文章: 1164

经验值: 54086


文章标题: 哥德尔帮助他们做出了解答,那就是哥德尔不完备性定理。就是说 (144 reads)      时间: 2009-12-05 周六, 上午7:07

想用某个数学系统里的公理去证明这个系统本身是否完备,那是不可能的。理发师是否可以给自己理发的难题就是一个简化的例子。这个例子只是凸显这个难题,并没有提示哥德尔是怎么证明的。
返回顶端
阅读会员资料 吴耐离线  发送站内短信
显示文章:     
回复主题   printer-friendly view    海纳百川首页 -> 驴鸣镇 所有的时间均为 北京时间


 
论坛转跳:   
不能在本论坛发表新主题
不能在本论坛回复主题
不能在本论坛编辑自己的文章
不能在本论坛删除自己的文章
不能在本论坛发表投票
不能在这个论坛添加附件
可以在这个论坛下载文件


based on phpbb, All rights reserved.
[ Page generation time: 0.091003 seconds ] :: [ 23 queries excuted ] :: [ GZIP compression enabled ]