第一章 计算主义的兴起 1
一 对世界的抽象化理解 2
二 心灵的物质属性问题 6
1．笛卡尔：机械的身体和自由的心灵 7
2．拉·梅特里：人是机器 8
三 心灵的可计算性 9
1．霍布斯：推理即计算 10
2．莱布尼兹：普遍语言 12
3．早期心灵观点的主要问题 14
四 逻辑主义的兴起 15
1．心灵可计算思想的边缘化 15
2．逻辑主义的诞生 17
3．维特根斯坦：用逻辑改造哲学 18
4．硬件主题的进展 19
第二章 计算及其结构 20
一 图灵之前人们对算法的认识 20
1．计算与算法 20
2．递归函数与λ可定义函数 22
二 图灵机可计算函数的概念 23
1．机械过程的六条规则 23
2．图灵机的基本思想 24
3．通用图灵机 26
4．几点说明 28
三 丘奇—图灵论题 29
第三章 认知的计算理论 32
一 经典人工智能研究及其遇到的问题 32
二 基于行为的自主机器人研究 36
1．行为主义学派的兴起 36
2．行为主义学派的理论 40
3．行为主义学派的实践 42
三 基于神经网络的联结主义研究 48
1．联结主义研究的兴起 48
2．联结主义研究的突破 51
3．联结主义的新发展 53
第四章 心灵的计算理论 57
一 计算功能主义：普特南的早期论证及其后来的反驳 57
1．普特南对计算功能主义的论证 57
2．普特南对计算功能主义的反驳 64
3．关于认知科学 71
二 思想语言假说：福多的心灵计算理论 72
1．表征实在论 73
2．心灵的计算理论 80
3．“思想语言假说”的形式描述 91
4．“思想语言假说”与神秘之物 94
第五章 生命的计算理论 99
一 生命的计算理论的提出 99
1．机械过程的本质 99
2．自我繁殖的逻辑 100
3．细胞自动机模型 104
4．生命游戏与“生命”计算机 107
5．信息动力学与混沌边缘的生命 113
二 计算机中的生命 132
1．磁芯大战 133
2．计算机病毒和蠕虫 138
3．Tierra：人扮演“上帝” 144
4．“阿米巴世界” 157
三 计算人工生命的实在性 165
1．虚拟的真实性 165
2．人工生命实在性的理论论证 167
3．哥德尔定理与强人工生命 172
第六章 世界与计算 180
一 方格宇宙 180
二 NKS：一种新科学 183
1．图灵机 185
2．替代系统（Substitution systems） 187
3．自然数 188
三 聆听计算的声音 189
1．细胞自动机的分类 189
2．复杂性的极限 192
四 CA模拟股市 193
五 关于“黑客帝国”的物理学 197
1．离散的格子 197
2．因果网络 200
六 计算宇宙之间的纽带 204
七 从复杂性走向通用性 212
1．通用计算 212
2．最小的通用计算系统 215
3．计算等价性原理 218
八 计算宇宙中的黑洞 220
1．虚拟层级 220
2．自指黑洞 223
九 走向现实 224
第七章 一种新的世界观 227
一 宇宙是巨大的细胞自动机 227
二 数字物理学 229
三 万物源于比特 233
四 可计算的宇宙和万物的算法理论 238
五 作为量子计算的宇宙 240
第八章 批评与回应 244
一 物理学的反驳与回应 244
1．物理理论需要连续性 244
2．量子世界是非决定论的，而计算主义是决定论的 246
二 哲学的反驳与回应 248
1．只有人才计算吗？ 248
2．没有语义就没有计算吗？ 249
3．计算是纯粹的句法操作吗？ 252
三 计算主义的价值 254
1．哲学价值 254
2．科学意义 257
四 计算：不可思议的有效性和不可或缺性 259
参考文献 267
后记 283