当前位置：哥德尔证明pdf电子书下载 >
- 作 者：（美）欧内斯特·内格尔，詹姆士·R·纽曼著；陈东威，连永君译
- 出 版 社：北京：中国人民大学出版社
- 出版年份：2008
- ISBN：9787300088907
- 标注页数：112 页
- PDF页数：142 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源142 ≥112页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
一 导论 1
二 一致性问题 6
三 一致性的绝对证明 20
四 形式逻辑的系统编码 29
五 一个成功的一致性绝对证明的例子 36
六 映射的概念及其在数学中的应用 46
七 哥德尔证明 55
（一）哥德尔编码 55
（二）元数学的算术化 64
（三）哥德尔论证的核心 72
八 结论性的反思 84
附录 88
简要书目 98
索引 100
译者后记 106