译者序 1
感谢 1
序言 1
第一章 电脑能有精神吗？ 1
引论 1
图灵检验 4
人工智能 10
用人工智能得到“快乐”和“痛苦” 13
强人工智能和西尔勒中文屋子 17
硬件和软件 24
第二章 算法和图灵机 32
算法概念的背景 32
图灵概念 38
数据的二进位码 47
撤屈——图灵主题 51
不同于自然数的数 54
普适图灵机 56
希尔伯特问题的不可解性 64
如何超过算法 72
撤屈拉姆达计算法 74
第三章 数学和实在 86
托伯列南国 86
实数 92
有多少个实数? 96
实数的“实在性” 99
复数 101
孟德勒伯洛特集的构成 106
数学概念的柏拉图实在? 109
第四章 真理、证明和洞察 114
数学的希尔伯特规划 114
形式数学系统 118
哥德尔定理 122
数学洞察 124
柏拉图主义或直觉主义? 129
从图灵结果到类哥德尔定理 133
递归可列集 136
孟德勒伯洛特集是递归的吗? 143
一些非递归数学的例子 148
孟德勒伯洛特集像非递归数学吗? 158
复杂性理论 161
物理事物中的复杂性和可计算性 166
第五章 经典世界 171
物理理论的现状 171
欧几里德几何 179
伽利略——牛顿动力学 186
牛顿动力学的机械论世界 192
撞球世界中的生活是可计算的吗? 195
哈密顿力学 200
相空间 202
马克斯韦电磁理论 211
可计算性和波动方程 215
洛伦兹运动方程；逃逸粒子 216
爱因斯坦和彭加莱狭义相对论 219
爱因斯坦广义相对论 231
相对论因果性和决定论 243
经典物理的可计算性：我们的立场如何? 248
质量、物质和实在 249
第六章 量子魔术和量子神秘 259
哲学家需要量子理论吗? 259
经典理论的问题 262
量子理论的开端 265
双缝实验 267
概率幅度 272
粒子的量子态 279
不确定性原理 285
U和R演化步骤 287
粒子同时在两处? 289
希尔伯特空间 295
测量 299
自旋和态的黎曼球面 303
客观性和量子态的可测量性 309
复制量子态 310
光子自旋 311
大自旋物体 314
多粒子系统 317
爱因斯坦——玻多尔斯基——罗逊“矛盾” 322
光子实验：相对论的一个问题? 330
薛定谔方程；狄拉克方程 332
量子场论 334
薛定谔猫 335
现存量子理论的不同看法 338
何处出了差错? 342
第七章 宇宙论和时间箭头 350
时间的流逝 350
熵的无情增加 353
什么是熵? 358
第二定律在起作用 364
宇宙中低熵的起源 368
宇宙论和大爆炸 373
太初火球 379
大爆炸能解释第二定律吗? 381
黑洞 382
空间——时间奇点的结构 389
大爆炸是何等特殊? 394
第八章 量子引力的寻求 403
为什么需要量子引力? 403
魏尔曲率假设的背后是什么? 406
态矢量缩减的时间不对称 410
霍金盒子：和魏尔曲率假设的一个关联? 416
态矢量何时缩减 425
第九章 真实头脑和模型头脑 432
头脑实际上是什么样子的? 432
意识栖息在何处? 440
头脑分裂实验 443
盲视 446
视觉皮层的信息加工 447
神经讯号如何工作? 448
电脑模型 453
头脑可塑性 457
并行电脑和意识的“一性” 459
量子力学在头脑活动中有作用吗? 461
量子电脑 463
超越量子理论? 464
第十章 精神物理的寻求 467
精神是做什么的? 467
意识究竟是做什么的? 472
算法的自然选择? 476
数学洞察的非算法性质 479
灵感、洞察和创造性 482
思维的非言语性 487
动物意识? 489
和柏拉图世界的接触 491
物理实在的一个观点 494
宿命论和强宿命论 496
人择原理 498
镶嵌和准晶体 499
和头脑可塑性可能的关联 503
意识的时间延迟 505
时间在意识知觉中的奇怪作用 509
结论：孩子的观点 514
跋 518
索引 519