《哥德尔不完全定理》

引言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 沈阳:辽宁教育出版社 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。

高度相关资料

不完全竞争经济学(1961 PDF版)
不完全竞争经济学
1961 北京:商务印书馆
不完全竞争经济学(1961年11月第1版 PDF版)
不完全竞争经济学
1961年11月第1版
不完全な魂(1980 PDF版)
不完全な魂
1980 けいせい
哥德对话录(民国26.05 PDF版)
哥德对话录
民国26.05 商务印书馆
伊哥尔王子(1951.04 PDF版)
伊哥尔王子
1951.04 商务印书馆
顺德通  2013  完全顺德商务指南( PDF版)
顺德通 2013 完全顺德商务指南
佛山传媒集团珠江商报社
克利门特·哥特瓦尔德  196-1953(1955 PDF版)
克利门特·哥特瓦尔德 196-1953
1955
哥德尔、艾舍尔、巴赫  集异璧之大成(1996 PDF版)
哥德尔、艾舍尔、巴赫 集异璧之大成
1996 北京:商务印书馆
房中鸟(1995 PDF版)
房中鸟
1995 石家庄:河北教育出版社
哲理的沉思  哲人科学家-哥德尔(1999 PDF版)
哲理的沉思 哲人科学家-哥德尔
1999 福州:福建教育出版社
哥德尔不完全性定理(1997 PDF版)
哥德尔不完全性定理
1997 沈阳:辽宁教育出版社
不受审判的哥尔查科夫(1975 PDF版)
不受审判的哥尔查科夫
1975 上海:上海人民出版社
哥哥你不成材(1992 PDF版)
哥哥你不成材
1992 北京:作家出版社
数理逻辑发展史  从莱布尼茨到哥德尔(1993 PDF版)
数理逻辑发展史 从莱布尼茨到哥德尔
1993 北京:社会科学文献出版社
斯德哥尔摩人(1988 PDF版)
斯德哥尔摩人
1988 工人出版社