《哥德爾不完全性定理》是2019年科學出版社出版的圖書，作者是（美）雷蒙德·M.斯穆瑞安（Raymond M.Smullyan）。
基本介紹
- 中文名：哥德爾不完全性定理
- 作者：（美）雷蒙德·M.斯穆瑞安（Raymond M.Smullyan）
- 出版社：科學出版社
- 出版時間：2019年1月
- ISBN：9787030596345
內容簡介,圖書目錄,
內容簡介
《哥德爾不完全性定理》主要介紹哥德爾不完全性定理，在用簡單例子解說哥德爾的本質思想的基礎上，證明了基於加、乘及冪的塔斯基算術定理和基於加與乘的皮亞諾算術系統的不完全性定理，給出了基於—致性的原初證明、基於簡單一致性的證明、基於一些基本技術素材和一個不動點原理的證明，結合典型邏輯謎題與證明結果，表明了證明結果與模態邏輯的緊密聯繫。
圖書目錄
- 前言
- 第1章哥德爾證明背後的一般思路
- 第2章塔斯基算術定理
- 第3章含冪運算的皮亞諾算術的不完全性
- 第4章不含有冪運算的算術
- 第5章哥德爾基於ω－一致性的證明
- 第6章羅瑟系統
- 第7章謝潑德森表示定理
- 第8章可定義性與對角線化
- 第9章一致性的不可證性
- 第10章關於可證性與真的一般評論
- 第11章自指系統
- 參考文獻
- 索引
