哥德尔不完全性定理

作者：朱水林编著
出版社：沈阳：辽宁教育出版社
出版年份：1997
ISBN：7538201793
注意：在使用云解压之前，请认真核对实际PDF页数与内容!

在线云解压
价格(点数)
购买连接
说明

转为PDF格式
9
立即购买
（在线云解压服务）

云解压服务说明

1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。

云解压下载及付费说明

1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

一引言 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