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

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

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

高度相关资料

不完全竞争经济学(1961 PDF版)
不完全竞争经济学
1961 北京:商务印书馆
不完全竞争经济学(1961年11月第1版 PDF版)
不完全竞争经济学
1961年11月第1版
量子の不思議:不確定性原理の世界(1985.01 PDF版)
量子の不思議:不確定性原理の世界
1985.01 中央公論社
不確定性原理(1982.05 PDF版)
不確定性原理
1982.05 共立
不完全な魂(1980 PDF版)
不完全な魂
1980 けいせい
克利门特·哥特瓦尔德  196-1953(1955 PDF版)
克利门特·哥特瓦尔德 196-1953
1955
哥德尔、艾舍尔、巴赫  集异璧之大成(1996 PDF版)
哥德尔、艾舍尔、巴赫 集异璧之大成
1996 北京:商务印书馆
房中鸟(1995 PDF版)
房中鸟
1995 石家庄:河北教育出版社
哲理的沉思  哲人科学家-哥德尔(1999 PDF版)
哲理的沉思 哲人科学家-哥德尔
1999 福州:福建教育出版社
结构完整性原理(1983 PDF版)
结构完整性原理
1983 北京:国防工业出版社
不完整结构的可靠性分析(1997 PDF版)
不完整结构的可靠性分析
1997 北京:国防工业出版社
不受审判的哥尔查科夫(1975 PDF版)
不受审判的哥尔查科夫
1975 上海:上海人民出版社
哥哥你不成材(1992 PDF版)
哥哥你不成材
1992 北京:作家出版社
斯德哥尔摩人(1988 PDF版)
斯德哥尔摩人
1988 工人出版社
计算机和难解性 NP完全性理论导引(1987 PDF版)
计算机和难解性 NP完全性理论导引
1987 北京:科学出版社