不完全性
  1. 首页
  2. 不完全性

列表

逻辑——从三段论到不完全性定理

逻辑——从三段论到不完全性定理

《逻辑——从三段论到不完全性定理》,作者:熊明 出版社:科学出版社 ISBN:9787030477026。本书以公理化思想为主导，从亚里士多德的三段论到哥德尔的不完全性定理，阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线，分别展开三段沦的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统，并介绍了哥德尔完伞性定理与不完全性定理及相关的重要成果。本
壹号书单 2016年03月01日
哥德尔不完全性定理

哥德尔不完全性定理

《哥德尔不完全性定理》,作者:（美）雷蒙德·M.斯穆瑞安（Raymond M.Smullyan）著;余俊伟译 出版社:科学出版社 ISBN:9787030596345。　　《哥德尔不完全性定理》主要介绍哥德尔不完全性定理，在用简单例子解说哥德尔的本质思想的基础上，证明了基于加、乘及幂的塔斯基算术定理和基于加与乘的皮亚诺算术系统的不完全性定理，给出了基于—致性的原初证明、基于简单一致性的证明、基于一
壹号书单 2019年01月01日