哥德尔不完全性定理

哥德尔不完全性定理

(美) 雷蒙德·M.斯穆里安 (Raymond M.Smullyan) , 著

出版社:科学出版社

年代:2018

定价:78.0

书籍简介:

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

书籍规格:

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

书籍信息归属:

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