注册 登录 进入教材巡展
#
  • #

出版时间:2021-08

出版社:科学出版社

以下为《哥德尔不完全性定理》的配套数字资源,这些资源在您购买图书后将免费附送给您:
  • 科学出版社
  • 9787030596345
  • 31
  • 375676
  • 平装胶订
  • A5
  • 2021-08
  • 176
  • O141
内容简介
  本书主要介绍哥德尔不完全性定理,在用简单例子解说哥德尔的本质思想的基础上,证明了基于加、乘及幂的塔斯基算术定理和基于加与乘的皮亚诺算术系统的不完全性定理,给出了基于—致性的原初证明、基于简单一致性的证明、基于一些基本技术素材和一个不动点原理的证明,结合典型逻辑谜题与证明结果,表明了证明结果与模态逻辑的紧密联系。