|
题名:
|
哥德尔不完全性定理 ge de er bu wan quan xing ding li / (美)雷蒙德·M.斯穆里安著 , 余俊伟译 |
|
ISBN:
|
978-7-03-059634-5 价格： CNY78.00 |
|
语种:
|
chi |
|
载体形态:
|
164页 21cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2019 |
|
内容提要:
|
本书介绍了哥德尔不完全性定理的各种证明及相关的塔斯基定理，包括纯抽象的不完全性定理，使用真概念的基于加、乘及幂运算的算术公理化的哥德尔不完全性定理及仅基于加与乘运算的哥德尔不完全性定理，哥德尔当初不使用真概念基于ω-一致性的不完全性证明，罗瑟的基于简单一致性的不完全性证明。 |
|
主题词:
|
哥德尔定理 研究 |
|
中图分类法:
|
O141 版次： 5 |
|
主要责任者:
|
斯穆里安 si mu li an 著 |
|
次要责任者:
|
余俊伟 yu jun wei 译 |
|
附注:
|
本成果受到中国人民大学哲学与认知科学交叉平台及国家社会科学基金(基金项目号：13BZX064)支持 本成果受到中国人民大学2018年度“中央高校建设世界一流大学(学科)和特色发展引导专项资金”支持 |
|
索书号:
|
O141/4290 |