《哥德尔不完全定理》求取 ⇩

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

1987《哥德尔不完全定理》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由朱水林编著 1987 沈阳:辽宁教育出版社 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。