这是一本空前的奇书，也是一本杰出的科学普及名著，它以精心设计的巧妙笔法深入浅出地介绍了数理逻辑、可计算理论、人工智能等学科领域中的许多艰深理论，轻松、幽默、流畅的文字隐藏着大量的潜台词，它们前后照应、互相联系，交织成一个复杂、无形的网络，读者看不见它，但可以嗅出它的气味，并觉察到这是作者有意喷洒的。作者希望借此引起读者的兴趣，从而在反复玩味中体会出那些潜台词来，真正触及本书的精华。
该下载内容仅限于个人测试学习之用，不得用于商业用途，并且请在下载后24小时内删除。版权归原作者所有，如果你喜欢，请购买正版。
目录:
作者为中文版所写的前言
译校者的话
概览
上篇：集异璧geb
导言 一首音乐--逻辑的奉献:三部创意曲
第一章 wu谜题:二部创意曲
第二章 数学中的意义与形式:无伴奏阿基里斯奏鸣曲
第三章 图形与衬底:对位藏头诗
第四章 一致性、完全性与几何学:和声小迷宫
第五章 递归结构和递归过程:音程增值的卡农
第六章 意义位于何处:半音阶幻想曲，及互格
第七章 命题演算:螃蟹卡农
第八章 印符数论:一首无的奉献
第九章 无门与歌德尔
下篇：异集璧egb
前奏曲
第十章 描述的层次和计算机系统:蚂蚁赋格
第十一章 大脑和思维:英、法、德、中组曲
第十二章 心智和思维:咏叹调及其种种变奏
第十三章 bloop和floop和gloop:g弦上的咏叹调
第十四章 论tnt及有关系统中形式上不可判定的命题:生日大合唱哇哇哇乌阿乌阿乌阿
第十五章 跳出系统:一位烟民富于启发性的思想
第十六章 自指和自复制:的确该赞美螃蟹
第十七章 丘奇、图灵、塔斯基及别的人:施德鲁，人设计的玩具
第十八章 人工智能：回顾:对实
第十九章 人工智能：展望:树懒卡农
第二十章 怪圈，或缠结的层次结构:六部无插入赋格
文献目录
索引
