全国大中专教材网络采选系统

推荐纸质教材推荐数字资源

哥德尔不完全性定理 / 应用逻辑与逻辑应用研究前沿译丛

￥78.00定价

作者：（美）雷蒙德 M. 斯穆里安著；余俊伟译

出版时间：2021-08

出版社：科学出版社

以下为《哥德尔不完全性定理》的配套数字资源，这些资源在您购买图书后将免费附送给您：

关闭

基本信息评价

出版社：科学出版社
ISBN：9787030596345
版次：31
图书编号：375676
装帧：平装胶订
开本：A5
出版时间：2021-08
页数：176
中图分类编号：O141

内容简介

　　本书主要介绍哥德尔不完全性定理，在用简单例子解说哥德尔的本质思想的基础上，证明了基于加、乘及幂的塔斯基算术定理和基于加与乘的皮亚诺算术系统的不完全性定理，给出了基于—致性的原初证明、基于简单一致性的证明、基于一些基本技术素材和一个不动点原理的证明，结合典型逻辑谜题与证明结果，表明了证明结果与模态逻辑的紧密联系。