在计算机科学界，这是一本杰出的科学普及名著，它以精心设计的巧妙笔法深入浅出地介绍了数理逻辑、可计算理论、人工智能等学科领域中的许多艰深理论，并将其与艾舍尔构思奇特的名画以及巴赫那些脍炙人口的曲谱结合起来。

侯世达，美国当代著名学者、认知科学家。美国印第安纳大学文理学院教授。 2009年成为美国哲学学会会员。 2010年当选为瑞典皇家科学学会会员。

目录：

作者为中文版所写的前言

译校者的话

概览

插图目录

鸣谢

上篇：集异璧GEB

导言  一首音乐-逻辑的奉献

三部创意曲

第一章  WU谜题

二部创意曲

第二章  数学中的意义与形式

无伴奏阿基里斯奏鸣曲

第三章  图形与衬底

对位藏头诗

第四章  一致性、完全性与几何学

和声小迷宫

第五章  递归结构和递归过程

音程增值的卡农

第六章  意义位于何处

半音阶幻想曲，及互格

第七章  命题演算

螃蟹卡农

第八章  印符数论

一首无的奉献

第九章  无门与哥德尔

下篇： 异集璧EGB

前奏曲

第十章  描述的层次和计算机系统

蚂蚁赋格

第十一章  大脑和思维

英、法、德、中组曲

第十二章  心智和思维

咏叹调及其种种变奏

第十三章  BlooP和FlooP和Gl00P

G弦上的咏叹调

第十四章  论TNT及有关系统中形式上不可判定的命题

生日大合唱哇哇哇乌阿乌阿乌阿

第十五章  跳出系统

一位烟民富于启发性的思想

第十六章  自指和自复制

的确该赞美螃蟹

第十七章  丘奇、图灵、塔斯基及别的人

施德鲁，人设计的玩具

第十八章  人工智能：回顾

对实

第十九章  人工智能：展望

树懒卡农

第二十章  怪圈，或缠结的层次结构

六部无插入赋格

注释

文献目录

索引