LinuxSir.cn,穿越时空的Linuxsir!

 找回密码
 注册
搜索
热搜: shell linux mysql
查看: 4093|回复: 3

请问哪位数学大牛有“哥德尔完全定理”的证明过程给个链接

[复制链接]
发表于 2009-6-9 08:27:05 | 显示全部楼层 |阅读模式
我在网上找啊找,全都是哥德尔不完全定理的内容。
发表于 2009-6-12 11:01:09 | 显示全部楼层
得找本课本
法文的课本我有一摞,英文的找半天只找的到这个:
http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf
但是很简略,只有中间步骤的标题,过程请自行work out
回复 支持 反对

使用道具 举报

发表于 2009-6-15 11:56:48 | 显示全部楼层
很久以前老师给我证明过,后来归还他了

谢谢minus273的资料!
回复 支持 反对

使用道具 举报

发表于 2009-10-15 09:35:08 | 显示全部楼层
我有,中文的。电子版。
不 过。我不是数学大牛。但电子版的数学书,有数G。
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

快速回复 返回顶部 返回列表