逻辑、信息和互动.pdf 本书是关于当今模态逻辑所研究的主要问题的一个论文集。全书展示了模态逻辑的发展历程，阐述了模态逻辑的数学理论。 叁号仓库 2022年07月17日 0 点赞 0 评论 1342 浏览
哥德尔不完全性定理.pdf 《哥德尔不完全性定理》主要介绍哥德尔不完全性定理，在用简单例子解说哥德尔的本质思想的基础上，证明了基于加、乘及幂的塔斯基算术定理和基于加与乘的皮亚诺算术系统的不完全性定理，给出了基于—致性的原初证明、基于简单一致性的证明、基于一些基本技术素材和一个不动点原理的证明，结合典型逻 叁号仓库 2022年07月18日 0 点赞 0 评论 3749 浏览
