ISBN/价格: | 978-7-03-059634-5:CNY78.00 |
作品语种: | chi eng |
出版国别: | CN 110000 |
题名责任者项: | 哥德尔不完全性定理/.(美) 雷蒙德·M. 斯穆里安著/.余俊伟译 |
出版发行项: | 北京:,科学出版社:,2019.1 |
载体形态项: | 164页:;+21cm |
一般附注: | 本成果受到中国人民大学哲学与认知科学交叉平台及国家社会科学基金 (基金项目号: 13BZX064) 支持 本成果得到中国人民大学2018年度“中央高校建设世界一流大学 (学科) 和特色发展引导专项资金”支持 |
提要文摘: | 本书主要介绍哥德尔不完全性定理, 在用简单例子解说哥德尔的本质思想的基础上, 证明了基于加、乘及幂的塔斯基算术定理和基于加与乘的皮亚诺算术系统的不完全性定理, 给出了基于-致性的原初证明、基于简单一致性的证明、基于一些基本技术素材和一个不动点原理的证明, 结合典型逻辑谜题与证明结果, 表明了证明结果与模态逻辑的紧密联系。 |
并列题名: | Godel's incompleteness theorems eng |
题名主题: | 哥德尔定理 研究 |
中图分类: | O141 |
个人名称等同: | 斯穆里安 著 |
个人名称次要: | 余俊伟 译 |
记录来源: | CN 湖北三新 20190722 |