悖论、逻辑与非Cantor集合论
出版时间: 2018年版
内容简介
本书从分析悖论的数学结构以及无穷问题入手,证明了悖论是逻辑思维领域的不封闭演算(域外项),发现了Cantor集合论的一些矛盾。从而在经典逻辑的基础上,建立了新的超协调逻辑系统S-L,S-K,与新的集合论S-ZF系统,修正了经典集合论、递归论、证明论领域的很多错误。
目录
上篇悖论与经典逻辑重建
第1章正集与反集
第2章域外项的逻辑性质
第3章超协调逻辑系统
第4章Godel不完全定理证明不能成立
第5章“对角线方法”的逻辑分析
第6章递归论中的一些定理的错误证明
第7章不可数、不可判定性、不完全性与不可计算性
下编悖论与经典集合论重建
第8章重建序数
第9章幂集合的构造
第10章重构ZF系统
第11章Cantor对角线数是超实数
第12章一般递归集与“停机问题”可判定性
第13章系统PA的完全性
附录部分符号表
参考文献