当前位置:哥德尔不完全定理pdf电子书下载 > 数理化

- 作 者:朱水林编著
- 出 版 社:沈阳:辽宁教育出版社
- 出版年份:1987
- ISBN:7538201793
- 标注页数:212 页
- PDF页数:221 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式,该格式图书只能阅读和打印,不能再次编辑。
2、除分上下册或者多册的情况下,一般PDF页数一定要大于标注页数才建议下单购买。【本资源221 ≥212页】
图书下载及付费说明
1、所有的电子图书为PDF格式,支持电脑、手机、平板等各类电子设备阅读;可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
一 引言 1
1.哥德尔的生平 4
2.历史背景 17
二 逻辑演算 37
1.命题逻辑和命题演算 41
2.谓词逻辑 73
3.谓词演算和完备性定理 90
三 不完全性定理 113
1.一阶算术 118
2.哥德尔数 132
3.可表达性 137
4.递归函数和递归关系 149
5.可表达性定理 160
6.不完全性定理的证明 175
四 意义 185
参考文献 207
人名索引 209