柏拉圖與技術呆子

第一部分
1. 牆上的影子
1.1 技術呆子 / 003
1.2 人工的與自然的 / 009
1.3 設計和發現 / 014
1.4 工程和科學 / 022
2. 發明自然法則
2.1 未知的已知 / 037
2.2 自然的模型 / 044
2.3 模型是錯誤的 / 056
3. 事物之模型之模型之模型
3.1 技術的分層 / 065
3.2 簡化的複雜性 / 068
3.3 模型的傳遞性 / 074
3.4 還原論 / 080
4. 硬體快速演化
4.1 硬和軟 / 085
4.2 半導體 / 088
4.3 數位開關 / 092
4.4 邏輯門 / 093
4.5 邏輯圖 / 097
4.6 數位機器 / 100
5. 軟體的持久力
5.1 自我支撐 / 105
5.2 指令集體系架構 / 109
5.3 程式設計語言 / 114
5.4 作業系統 / 127
5.5 庫、語言和方言 / 129
5.6 雲 / 136
6. 進化與革命
6.1 常態工程 / 141
6.2 危機與失敗 / 145
6.3 危機與機遇 / 158
6.4 危機中的模型 / 162

第二部分
7. 資訊
7.1 悲觀主義變成樂觀主義 / 175
7.2 資訊處理機 / 178
7.3 度量資訊 / 181
7.4 連續資訊 / 190
8. 軟體的局限性
8.1 通用機器? / 201
8.2 不可判定性 / 207
8.3 勢 / 219
8.4 數字物理學? / 227
9. 共生關係
9.1 連續統的概念 / 239
9.2 不可能成為可能 / 244
9.3 數位靈魂? / 250
9.4 共生的夥伴關係 / 258
9.5 不完備性 / 261
10. 決定論
10.1 拉普拉斯妖 / 273
10.2 蝴蝶效應 / 285
10.3 決定論的不完備性 / 292
10.4 決定論的硬和軟 / 302
11. 概率與可能性
11.1 貝葉斯學派和頻率學派 / 307
11.2 再論連續統 / 322
11.3 不可能與不大可能 / 326
12. 最終的想法
12.1 二元論 / 335
12.2 障礙 / 341
12.3 自主與智能 / 350