点此搜书

哥德尔不完全定理
  • 作 者:朱水林编著
  • 出 版 社:沈阳:辽宁教育出版社
  • 出版年份:1987
  • ISBN:7538201793
  • 标注页数:212 页
  • PDF页数:221 页
  • 请阅读订购服务说明与试读!

文档类型

价格(积分)

购买连接

试读

PDF格式

9

立即购买

点击试读

订购服务说明

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

购买PDF格式(9分)
返回顶部