皇帝新脑

第一章 电脑能有精神吗？ 引论 图灵检验 人工智能 用人工智能得到“快乐”和“痛苦” 强人工智能和西尔勒中文屋子 硬件和软件

第二章 算法和图灵机 算法概念的背景 图灵概念 数据的二进位码 撤屈——图灵主题 不同于自然数的数 普适图灵机 希尔伯特问题的不可解性 如何超过算法 撤屈的拉姆达计算法

第三章 数学和实在 托伯列南国 实数 有多少个实数？ 实数的“实在性” 复数 孟德勒伯洛特集的构成 数学概念的柏拉图实在？

第四章 真理、证明和洞察 数学的希尔伯特规划 形式数学系统 哥德尔定理 数学洞察 柏拉图主义或直觉主义？ 从图灵结果到类哥德尔定理 递归可列集 孟德勒伯洛特集是递归的吗？ 一些非递归数学的例子 孟德勒伯洛特集像非递归数学吗？ 复杂性理论 物理事物中的复杂性和可计算性

第五章 经典世界 物理理论的状况 欧几里得几何 伽利略——牛顿动力学 牛顿动力学的机械论世界 撞球世界中的生活是可计算的吗？ 哈密顿力学 相空间 马克斯韦电磁理论 可计算性和波动方程 洛伦兹运动方程；逃逸粒子 爱因斯坦和彭加莱狭义相对论 爱因斯坦广义相对论 相对论因果性和决定论 经典物理的可计算性：我们的立场如何？ 质量、物质和实在

第六章 量子魔术和量子神秘 哲学家需要量子理论吗？ 经典理论的问题 量子理论的开端 双缝实验 概率幅度 粒子的量子态 不确定性原理 U和R演化步骤 粒子同时在两处 希尔伯特空间 测量 自旋和态的黎曼球面 客观性和量子态的可测量性 复制量子态 光子自旋 大自旋物体 多粒子系统 爱因斯坦——玻多尔斯基——罗逊“矛盾” 光子实验：相对论的一个问题？ 薛定谔方程；狄拉克方程 量子场论 薛定谔猫 现存量子理论的不同看法 何处出了差错？

第七章 字宙论和时间箭头 时间的流逝 熵的无情增加 什么是熵？ 第二定律在起作用 宇宙中低熵的起源 宇宙论和大爆炸 太初火球 大爆炸能解释第二定律吗？ 黑洞 空间——时间奇点的结构 大爆炸是何等特殊？

第八章 量子引力的寻求 为什么需要量子引力？ 魏尔曲率假设的背后是什么？ 态矢量缩减的时间不对称 霍金盒子：和魏尔曲率假设的一个关联？ 态矢量何时缩减

第九章 真实头脑和模型头脑 头脑实际上是什么样子的？ 意识栖息在何处？ 头脑分裂实验 盲视 视觉皮层的信息加工 神经信号如何工作？ 电脑模型 头脑可塑性 并行电脑和意识的“一性” 量子力学在头脑活动中有作用吗？ 量子电脑 超越量子理论？

第十章 精神物理的寻求 精神是做什么的？ 意识究竟是做什么的？ 算法的自然选择？ 数学洞察的非算法性质 灵感、洞察和创造性 思维的非言语性 动物意识？ 与柏拉图世界的接触 物理实在的一个观点 宿命论和强宿命论 人择原理 镶嵌和准晶体 与头脑可塑性可能的关联 意识的时间延迟 时间在意识知觉中的奇怪作用 结论：孩子的观点 跋

1 有一种称作强人工智能的观点在这些问题上采取相当极端的态度7。根据强AI，不仅刚才提到的仪器的确是智慧的并且有精神等等，而且任何计算仪器，甚至最简单的机械的，诸如恒温器的逻辑功能都具有某种精神的品质。这种观点认为精神活动只不过是进行某种定义得很好的、经常称作算法的运算。

2 关于图灵“机”有一件事必须记在心里，就是说它是一段“抽象数学”，而不是一个物理对象。

1 人工智能宣称为理解精神品质，譬如快乐、痛苦、饥渴等提供了途径。让我们举格雷·瓦尔特的乌龟为例子。它的行为模式在电池快用完时就要改变，然后它以被设计好的行为方式补充自己的能量存储。这和人类或任何动物感到饥饿时的行为非常类似。当格雷·瓦尔特乌龟以这种方式行为时，说它饥饿了并没十分歪曲语言。其中的某些机制对它电池的状态很敏感，低到一定点时就会让乌龟转换到不同的行为模式。在动物饥饿时，除了其行为模式的改变更复杂、更微妙之外，无疑存在某些类似的动作。它不是简单地从一种行为模式改变到另一种行为模式，而是存在一种以确定方式行为的倾向的变化，当补充能量供应的需求增加时，这些变化就会更强烈（达到某一点）。罚

现在，假设我们的仪器按照所有这一切已被成功地造出。我们有什么权利去宣称它的苦乐值为正时它确实感到快乐，而苦乐值为负时感到痛苦呢？AI（或行为主义）的观点是，我们简单地从仪器行为的方式来判断。由于它以一种尽可能增加其正值的（并且尽可能久的）以及相应地尽量避免负值的方式行为，那么我们可以合理地把它的值的正的程度定义为快乐的感觉，而相应地把负值定义为痛苦的感觉。人们会说，此定义的“合理性”正是来自于人类对于快乐和痛苦以目标方式反应的这一事实。当然，正如我们都知道的，人类的事情实际上并不像这么简单：我们有时似乎特地招惹痛苦，故意回避某种快乐。很清楚，我们的行为实在是由比这些更复杂得多的判据所导引的（参阅Dennett 1978）。但是作为一个非常粗糙的近似，我们的行为的确是避免痛苦和追求快乐。对于一个行为主义者来说，这已经足够在类似的近似水平上，为我们的仪器的苦乐度和它的痛苦快乐评价的相认同提供正当的理由。这种认同仿佛也是AI理论的一个目的。