商品参数 哥德尔不wan全性定理             定价 78.00 出版社 科学出版社 版次 出版时间 2019年08月 开本 16开 作者 （美）雷蒙德 M. 斯穆里安著；余俊伟译 装帧 平装胶订 页数 字数 ISBN编码 9787030596345 重量 218 内容介绍 　　本书主要介绍哥德尔不wan全性定理，在用简单例子解说哥德尔的本质思想的基础上，证明了基于加、乘及幂的塔斯基算术定理和基于加与乘的皮亚诺算术系统的不wan全性定理，给出了基于—致性的原初证明、基于简单一致性的证明、基于一些基本技术素材和一个不动点原理的证明，结合典型逻辑谜题与证明结果，表明了证明结果与模态逻辑的紧密联系。 暂时没有目录