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