书籍介绍
在计算机科学界,这是一本杰出的科学普及名著,它以精心设计的巧妙笔法深入浅出地介绍了数理逻辑、可计算理论、人工智能等学科领域中的许多艰深理论,并将其与艾舍尔构思奇特的名画以及巴赫那些脍炙人口的曲谱结合起来。
AI导读
核心看点
- 以哥德尔、艾舍尔、巴赫为线索,探讨自指与怪圈。
- 深入浅出解析数理逻辑、可计算性及人工智能理论。
- 揭示形式系统与人类意识、艺术创作间的深层联系。
适合谁读
- 对人工智能、认知科学及计算机科学感兴趣的读者。
- 热爱数学逻辑、哲学思辨及跨学科知识探索的读者。
- 欣赏巴赫音乐与艾舍尔画作,追求心智启迪的读者。
读前提醒
- 建议采用双轨制:精读趣味对话,略读艰深章节。
- 内容跨度极大且专业性强,需耐心克服阅读障碍。
- 不必强求全懂,重在感受自指、递归等核心思想。
读者共识
- 公认的神作,结构精妙,翻译精准,极具启发性。
- 阅读门槛高,部分读者因晦涩难懂而中途放弃。
- 打通文理界限,让人惊叹万物相通,震撼心智。
本导读基于书籍简介、目录、原文摘录、短评和书评生成,不等同于全文精读。
精彩摘录
- "禅宗采纳整体论,并且推向逻辑上的极端。如果整体论是断言事物必须作为一个整体被理解,而非其各个部分的总和,那么禅宗走的更远,认为整个世界根本就不能被划分为一个个事物。划分世界就会误入歧途,因而就不能达到顿悟。"
- "一个人永远也不能给出一个最终的、绝对的证明,去阐明在某个系统中的一个证明是正确的。当然,一个人可以给出一个关于证明的证明,或者关于一个证明的证明的证明——但是,最外层的系统有效性总还是一个未经证明的假设,是凭我们的信仰来接收的"
- "丘奇-图灵论题,简化论形式:全部的大脑过程都可以从一个可计算的基质中导出。 这句话大概是能支持“最终可能实现人工智能”这种观点的最强有力的理论基础。 当然,人工智能的研究并不是以模拟神经原网络为目的,因为它建立在另一种信念之上,即:可能有一些意义重大的智能特征是漂浮在一些与生物大脑的基质完全不同种类的基质之上的。"
- "道悟趋禅师问曰:“吾欲求真理,吾应修至何等心境方可求之?” 师曰:“本来无心,故无心境可求;本来无真理,故无由求之。” 道悟:“既无心可修,无真可求,聚这些和尚此处习禅修行何故?” 师曰:“此处并无寸地,这些和尚何以聚得?吾口中无舌,何以集而教之?” 道悟:“师何以言谎?” 师曰:“吾既无舌语人,何能言谎?” 道悟:“吾不了师言。” 师曰:“吾亦不自了。”"
- "公案的目的很可能恰恰在于使人困惑,因为人的心智处于困惑之时就会在某种程度不合逻辑地运转。只有跨出逻辑,摆脱理论,人才能跃入顿悟境地。"
- "不用说,脱稿的日期就因此一拖再拖。这期间我们看到了四川人民出版社出版的一个节译本,书名就是《GEB——一条永恒的金带》。把那本书与本书仔细比较一下,也许可以使读者更能理解上面的这些话。下面三句话就不必读了。这些话不说明什么问题,只是对作者的文字游戏的一种模仿。而这种模仿又是“自指”类型的。斯坦福大学的著名人工智能学者John McCarthy则认为本书作者过分热衷这种自指。"
- "怪圈现象:当我们向上(或向下)穿过某中层次系统中的一些层次的时,会意外发现我们正好回到了我们开始的地方。"
- "在这个层次结构的最底层是对象语言。对象语言只涉及特定的域,而不涉及对象语言本身(比如它们的文法规则,或其中的其体句子)。如要涉及它们,则要有一种元语言。对于语言的两个层次这一经验,所有学习外国语的人都是很熟悉的.然后,就要有一种元元语言来讨论元语言,以此类推。这就要求每一个句子都明确属于层次结构的某一层。那么,如果一个给出的句子找不出它属于哪一层,这个句子就会被认为是无意义的,因而被忘掉。"
作者简介
侯世达,美国当代著名学者、认知科学家。美国印第安纳大学文理学院教授。 2009年成为美国哲学学会会员。 2010年当选为瑞典皇家科学学会会员。