书籍简介:

本书介绍了哥德尔不完全性定理的各种证明及相关的塔斯基定理，包括纯抽象的不完全性定理，使用真概念的基于加、乘及幂运算的算术公理化的哥德尔不完全性定理及仅基于加与乘运算的哥德尔不完全性定理，哥德尔当初不使用真概念基于ω-一致性的不完全性证明，罗瑟的基于简单一致性的不完全性证明。本书还介绍了谢颇德森表示与分离定理、不动点定理、第二不完全性定理、与不完全性定理相关的一些逻辑谜题以及不完全性定理和模态逻辑的关联。

书籍规格:

书籍详细信息
书名	哥德尔不完全性定理站内查询相似图书
丛书名	应用逻辑与逻辑应用研究前沿译丛
	9787030596345 如需购买下载《哥德尔不完全性定理》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	科学出版社
版次	1版	印次	1
定价(元)	78.0	语种	简体中文
尺寸	24 × 17	装帧	平装
页数	160	印数

全网搜索试读资源

书籍信息归属:

哥德尔不完全性定理是科学出版社于2018.11出版的中图分类号为 O141 的主题关于哥德尔定理－研究的书籍。