哥德尔不完全性定理
作 者: （美）雷蒙德 M. 斯穆里安著；余俊伟译 著 余俊伟 译
定 价: 78
出 版 社: 科学出版社
出版日期: 2019年01月01日
页 数: 176
装 帧: 平装
ISBN: 9787030596345
●前言
●章 哥德尔证明背后的一般思路
● 1.1 哥德尔定理和塔斯基定理的抽象形式
● 1.2 ￡的不可判定的句子
●第2章 塔斯基算术定理
● 2.1 语言￡E
● 2.2 并置与哥德尔编码
● 2.3 塔斯基定理
●第3章 含幕运算的皮亚诺算术的不完全性
● 3.1 公理系统P.E.
● 3.2 公理系统的算术化
●第4章 不含有幂运算的算术
● 4.1 P.A.的不完全性
● 4.2 更多关于∑1-关系的讨论
●附录
●第5章 哥德尔基于致性的证明
● 5.1 一些抽象的不完全性定理
● 5.2 ∑0-完全性
●第6章 罗瑟系统
● 6.1 源自罗瑟的一些抽象的不完全性定理......
内容简介
本书介绍了哥德尔不接近性定理的各种证明及相关的塔斯基定理，包括纯抽象的不接近性定理，使用真概念的基于加、乘及幂运算的算术公理化的哥德尔不接近性定理及仅基于加与乘运算的哥德尔不接近性定理，哥德尔当初不使用真概念基于ω-一致性的不接近性证明，罗瑟的基于简单一致性的不接近性证明。本书还介绍了谢颇德森表示与分离定理、不动点定理、第二不接近性定理、与不接近性定理相关的一些逻辑谜题以及不接近性定理和模态逻辑的关联。
（美）雷蒙德 M. 斯穆里安著；余俊伟译 著 余俊伟 译
余俊伟，1974年生，江西安义人。1995年于华东师范大学获学士学位，2001年于中国社会科学院获博士学位。此后一直任职于中国人民大学，现为哲学院教授。研究方向为逻辑与形而上学。学术成果有专著《道义逻辑研究》（2005）、《否定词研究》（2014），论文《理解弗雷格的专名涵义》（2014)、《关于模态形而上学的几点思考》（2016）、《三种逻辑理论的哲学背景分析》（2018），等等。
评论晒单