设为首页
收藏本站
用户名
Email
自动登录
找回密码
密码
登录
注册
快捷导航
平台
Portal
论坛
BBS
文库
项目
群组
Group
我的博客
Space
搜索
搜索
热搜:
shell
linux
mysql
本版
用户
LinuxSir.cn,穿越时空的Linuxsir!
»
论坛
›
智能计算—— LinuxSir.cn
›
Linux及计算机学科基础理论版
›
请问哪位数学大牛有“哥德尔完全定理”的证明过程给个链 ...
返回列表
查看:
4127
|
回复:
3
请问哪位数学大牛有“哥德尔完全定理”的证明过程给个链接
[复制链接]
fpemud
fpemud
当前离线
积分
153
IP卡
狗仔卡
发表于 2009-6-9 08:27:05
|
显示全部楼层
|
阅读模式
我在网上找啊找,全都是哥德尔不完全定理的内容。
回复
使用道具
举报
提升卡
置顶卡
沉默卡
喧嚣卡
变色卡
显身卡
minus273
minus273
当前离线
积分
1395
IP卡
狗仔卡
发表于 2009-6-12 11:01:09
|
显示全部楼层
得找本课本
法文的课本我有一摞,英文的找半天只找的到这个:
http://euclid.trentu.ca/math/sb/pcml/pcml-16.pdf
但是很简略,只有中间步骤的标题,过程请自行work out
回复
支持
反对
使用道具
举报
显身卡
soloforce
soloforce
当前离线
积分
2280
IP卡
狗仔卡
发表于 2009-6-15 11:56:48
|
显示全部楼层
很久以前老师给我证明过,后来归还他了
谢谢minus273的资料!
回复
支持
反对
使用道具
举报
显身卡
zswlb9999
zswlb9999
当前离线
积分
878
IP卡
狗仔卡
发表于 2009-10-15 09:35:08
|
显示全部楼层
我有,中文的。电子版。
不 过。我不是数学大牛。但电子版的数学书,有数G。
回复
支持
反对
使用道具
举报
显身卡
返回列表
高级模式
B
Color
Image
Link
Quote
Code
Smilies
您需要登录后才可以回帖
登录
|
注册
本版积分规则
发表回复
回帖后跳转到最后一页
Copyright © 2002-2023
LinuxSir.cn
(http://www.linuxsir.cn/) 版权所有 All Rights Reserved.
Powered by
RedflagLinux!
技术支持:
中科红旗
|
京ICP备19024520号
快速回复
返回顶部
返回列表