计算主义 一种新的世界观PDF电子书下载

第一章 计算主义的兴起 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