具體描述
編輯推薦
本書適閤大學生及數學愛好者參考閱讀。
內容簡介
本書從分析悖論的數學結構以及無窮問題入手,證明瞭悖論是邏輯思維領域的不封閉演算(域外項),發現瞭Cantor集閤論的一些矛盾。從而在經典邏輯的基礎上,建立瞭新的超協調邏輯係統S-L,S-K,與新的集閤論S-ZF係統,修正瞭經典集閤論、遞歸論、證明論領域的很多錯誤。
目錄
目錄
上篇悖論與經典邏輯重建
第1章正集與反集
第2章域外項的邏輯性質
第3章超協調邏輯係統
第4章Godel不完全定理證明不能成立
第5章“對角綫方法”的邏輯分析
第6章遞歸論中的一些定理的錯誤證明
第7章不可數、不可判定性、不完全性與不可計算性
下編悖論與經典集閤論重建
第8章重建序數
第9章冪集閤的構造
第10章重構ZF係統
第11章Cantor對角綫數是超實數
第12章一般遞歸集與“停機問題”可判定性
第13章係統PA的完全性
附錄部分符號錶
參考文獻