哥德尔、艾舍尔、巴赫《太精彩了，包括翻译》

早在另外的书上看过对《蚂蚁赋格》的介绍，却没有亲眼见过。当时是03年或是04年，我还在上海闲逛。在福州路的一家小书店──卖的全部是商务印书馆的书，偶然看到这一本，当时随便拿下来乱翻，突然发现就是久闻大名的这本书，立即拿下。看了一年又一年，越看越觉得精彩绝伦，包括翻译质量在内。

这本书不是玩弄文字游戏，而是在深入地思考有关逻辑的问题。形式逻辑的机械化，形式逻辑的有效范围，语言的结构，语言的意义，语言的可翻译性，悖论──自指称──层次──哥德尔定理，全都是对逻辑，算法，语言，意义和智能等问题的探讨。里面的故事可以说足以让人一读再读，文本层面的内容，意义层面的内容，从作者给读者在一个虚拟层面上讲解层次的问题，到作者自己的文本本来就具有同样的层次问题，到作者跳出故事外给读者继续讲解层次的问题，可以说全都是层次套层次，俨然一部复杂的赋格曲。从结构的角度去解读，从意义的角度去分析，一脸严肃地依据逻辑探究各种各样的事情，从分子生物学到佛祖禅宗，在自己每步都很清晰的足迹已经缠绕成一团乱麻时，回头一看，发现恐怕整个结局都是恶搞。从这种有趣的寓言故事，到严肃的理论分析，无一不带给人阅读的***。

已经六年了，这本书还会继续陪我。许多值得深思的东西，书里并没有答案，我也没有。许多值得体会的东西，书里好像已经指点了方向，但还是要自己体会。思考的过程，当然是无穷尽的。

最近作者又出了一本书叫做《I am a strange loop》，强烈期待。不知谁有，分享一下？