应用逻辑与逻辑应用研究前沿译丛 哥德尔不完全性定理作者: (美)雷蒙德M.斯穆里安著 余俊伟译出版时间: 2019年版丛编项: 应用逻辑与逻辑应用研究前沿译丛内容简介 《哥德尔不完全性定理》主要介绍哥德尔不完全性定理,在用简单例子解说哥德尔的本质思想的基础上,证明了基于加、乘及幂的塔斯基算术定理和基于加与乘的皮亚诺算术系统的不完全性定理,给出了基于—致性的原初证明、基于简单一致性的证明、基于一些基本技术素材和一个不动点原理的证明,结合典型逻辑谜题与证明结果,表明了证明结果与模态逻辑的紧密联系。目录目录前言第1章 哥德尔证明背后的一般思路 11.1 哥德尔定理和塔斯基定理的抽象形式 51.2 £的不可判定的句子 11第2章 塔斯基算术定理 152.1 语言£E 152.2 并置与哥德尔编码 222.3 塔斯基定理 27第3章 含幕运算的皮亚诺算术的不完全性 313.1 公理系统P.E. 313.2 公理系统的算术化 34第4章 不含有幂运算的算术 464.1 P.A.的不完全性 464.2 更多关于*关系的讨论 58附录 61第5章 哥德尔基于致性的证明 645.1 一些抽象的不完全性定理 665.2 *完全性 75第6章 罗瑟系统 876.1 源自罗瑟的一些抽象的不完全性定理 886.2 一个一般的分离原理 906.3 罗瑟的不可判定的句子 946.4 比较哥德尔句子与罗瑟句子 956.5 更多关于分离的介绍 98第7章 谢泼德森表示定理 1007.1 谢泼德森表示定理 1007.2 恰好的罗瑟系统 1057.3 罗瑟不可判定的句子的变体 1097.4 谢泼德森定理的一种加强 112第8章 可定义性与对角线化 1138.1 可定义性与完全可表示性 1138.2 S中函数的强可定义性 1158.3 (R)中递归函数的强可定义性 1178.4 不动点与哥德尔句子 1208.5 真谓词 122第9章 一致性的不可证性 1249.1 可证性谓词 1249.2 一致性的不可证性 1269.3 亨金句子与洛伯定理 128第10章 关于可证性与真的一般评论 131第11章 自指系统 13611.1 关于自身推理的逻辑学家 13611.2 一个一般背景下的不完全性的证明 14711.3 类型G系统 15111.4 模态系统 155参考文献 159索引 161 上一篇: 基于不确定寿命的可靠性理论 下一篇: 幻想数学大战 17 数学的语法集合 2014年版