书目详细信息
： 哥德尔不完全性定理
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-03-059634-5:CNY78.00 |
|---|---|
| 作品语种： | chi eng |
| 出版国别： | CN 110000 |
| 题名责任者项： | 哥德尔不完全性定理/.(美) 雷蒙德·M. 斯穆里安著/.余俊伟译 |
| 出版发行项： | 北京:,科学出版社:,2019 |
| 载体形态项： | 164页:;+21cm |
| 一般附注： | 本成果受到中国人民大学哲学与认知科学交叉平台及国家社会科学基金支持 本成果受到中国人民大学2018年度“中央高校建设世界一流大学（学科）和特色发展引导专项资金”支持 |
| 提要文摘： | 本书介绍了哥德尔不完全性定理的各种证明及相关的塔斯基定理，包括纯抽象的不完全性定理，使用真概念的基于加、乘及幂运算的算术公理化的哥德尔不完全性定理及仅基于加与乘运算的哥德尔不完全性定理，哥德尔当初不使用真概念基于ω-一致性的不完全性证明，罗瑟的基于简单一致性的不完全性证明。本书还介绍了谢颇德森表示与分离定理、不动点定理、第二不完全性定理、与不完全性定理相关的一些逻辑谜题以及不完全性定理和模态逻辑的关联。 |
| 题名主题： | 哥德尔定理 研究 |
| 索书号： | O141/S82 |
| 中图分类： | O141 |
| 个人名称等同： | 斯穆里安 雷蒙德·M. 著 |
| 个人名称次要： | 余俊伟, 译 |
| 记录来源： | CN 北京新华书店首都发行所有限公司 20190225 |