《算術、真與悖論》是2017年科學出版社出版的圖書，作者是熊明。
《算術、真與悖論》是2017年科學出版社出版的圖書，作者是熊明。內容簡介形式真理論是用數理邏輯的方法研究真與悖論問題的理論，本書分三個部分對這一領域的基本成果與最新進展進行系統的介紹。第一編闡述形式真理論在20世紀30年...
理查茲悖論並不是真正的悖論。在悖論排列定義時一個關鍵的、但是沒有提到的假設被忽略了。我們說到列舉整數得著算術特徵，也就是說設計加法、乘法等的特徵。但是後來我們卻在這些加進去了一個關於算術特徵編號的特徵。一個數字是否理查茲...
§1.1真理論悖論 §1.2塔斯基定理（非形式的表述）§1.3框架與循環 第二章塔斯基定理及其後續 §2.1塔斯基定理 2.1.1 帶T謂詞的形式算術語言 2.1.2塔斯基定理與語言層次理論 §2.2歸納構造理論 2.2.1真值空缺和跳躍運算元 2....
悖論就是邏輯上的自相矛盾。最古老的悖論是兩千多年前的“說謊者悖論”，若你說它是假命題的話，就可推出它是真命題，反之亦然。其最簡形式就是：本命題是假命題 這種悖論屬於語義悖論。悖論的種類還有循環悖論等。此處從略。由來 ...
2． 國家社會科學基金重大項目：邏輯真理論的歷史源流、理論前沿與套用研究，17ZDA025，2017.11-2022.12（子項目負責人，在研）3． 國家哲學社會科學成果文庫：算術、真與悖論，16KZX004，2016.05-2017.05（主持，已結項）4． 國家...
第1章 定義化和公理化的真理論 3 第2章 真之對象 8 第3章 塔斯基 13 第4章 真與集合論 21 4.1 定義與公理化 21 4.2 悖論和分類 22 第5章 技術準備 25 5.1 皮亞諾算術 25 5.2 真與滿足 30 5.3 翻譯和遞歸定理...
全書內容從三個方面進行：第一個方面：以尋求能夠避免說謊者悖論及其變體的“理想真理論”為線索，對以一階邏輯和皮亞諾算術為基礎理論的經典公理化真理論的基本理論和研究架構進行概述。第二個方面：減弱經典公理化真理論的基礎理論，將...
第7章 是真的，但又不能證明——哥德爾定理/98 7.1 哥德爾定理 7.2 說謊者悖論與理察悖論 7.3 算術有多少種 7.4 數學的力量與局限 7.5 數學的局限與加密 7.6 數學的局限與博弈 第8章 數學與結構——布爾巴基學派的觀點...
