人工智能之不能

前 言 VII

第一章 知無不言
語言是可以理解的嗎？ 006
語言是可靠的嗎？ 009
 
第二章 基本的邏輯
同一律 024
矛盾律 025
排中律 027
充足理由律 029
邏輯和佛性 033
邏輯的自洽和完備 040
構建一個知識體系 044
 
第三章 理性的終極理想
直覺？ 051
時間 057
算術系統 063
集合定義自然數 069
 
第四章 偉大的聊天
話題之一：量子力學 087
話題二：時間和相對論 091
話題三：關於理性主義真理 094
哥德爾的一生 098
 
第五章 哥德爾不完備定理
理性的知識系統 103
終極理性的夢想 105
理性的典範：算術 109
語義和語法 115
哥德爾不完備定理的證明 125
對角線證明法 135
 
第六章 哥德爾問題的延伸
真理不能被語言描述 147
真理不能夠自證其真 153
哥德爾不完備定理是理性的邊界嗎？ 162
哥德爾的理性主義 172
意識和夢境 184
 
第七章 人工智慧的不能
深度學習 189
超越有限系統 194
圖靈機 202
圖靈機所不能夠 217
常識？ 238
學習 245
 
第八章 沿著不完備而生長的物理學
落體悖論 258
光速問題 260
孿生子悖論 263
品質問題 266
夜空為什麼是暗的？ 274
麥克斯韋妖的悖論 279
紫外災難 281
量子糾纏的悖論 283
 
第九章 量子力學的完備性
量子力學和哥德爾：經典邏輯之外？ 289
海森堡不確定性原理 292
什麼是量子電腦？ 294
量子演算法 305
量子計算的複雜性 308
更高一級的邏輯？ 312
 
第十章 物理和數學：自然與認知的邊界
數學的不能 317
樂觀主義者和悲觀主義者 322
世界觀和認知習慣的改變 335
 
第十一章 創新和突破
貼了標籤的人生 349
問題導向的學習 354
新工程教育 356
 
第十二章 不是結尾的結尾
後 記 387