更改

====主题====

====主题====

这本书包含许多递归和自指的实例，其中的对象和观点都在谈论或回指自己。其中之一就是奎因（Quining），这是侯世达创造旨在向Willard Van Orman Quine致敬，指的是产生自己源代码的程序。另一个是索引中有一个虚构的作家Egbert B. Gebstadter，他的名字的首字母为E，G和B，并且姓与Hofstadter后半部分相同。一个被称为“电唱机X”的电唱机机通过播放名为“我不能在电唱机X上播放”（类似于哥德尔的不完全性定理）的唱片，一个关于卡农的检验，还有一个讨论埃舍尔的版画—两只手相互绘出彼此。为了描述这种自指对象，侯世达创造了“怪圈”一词，这是他在后续书《我是个怪圈》中更深入地研究的概念。为了避免这些自指对象带来的许多逻辑矛盾，侯世达讨论了禅宗公案。他试图向读者展示如何通过跳出经验来感知现实，并通过拒绝假设来接受此类悖论性的问题，这种策略也称为“无门”。GEB中讨论了调用栈之类的计算机科学内容，因为一个对话描述了阿喀琉斯和乌龟的冒险，因为他们利用“推入药水”和“弹出药水”来进入和离开不同层次的现实。随后的部分讨论逻辑的基本原理，自指语句，（“无类型”）系统，甚至编程。 侯世达进一步创建了两种简单的编程语言BlooP和FlooP，以说明他的观点。

这本书包含许多递归和自指的实例，其中的对象和观点都在谈论或回指自己。其中之一就是奎因（Quining），这是侯世达创造旨在向[https://en.wikipedia.org/wiki/Willard_Van_Orman_Quine Willard Van Orman Quine]致敬，指的是产生自己源代码的程序。另一个是索引中有一个虚构的作家Egbert B. Gebstadter，他的名字的首字母为E，G和B，并且姓与Hofstadter后半部分相同。一个被称为“电唱机X”的电唱机机通过播放名为“我不能在电唱机X上播放”（类似于哥德尔的不完全性定理）的唱片，一个关于卡农的检验，还有一个讨论埃舍尔的版画—两只手相互绘出彼此。为了描述这种自指对象，侯世达创造了“怪圈”一词，这是他在后续书《我是个怪圈》中更深入地研究的概念。为了避免这些自指对象带来的许多逻辑矛盾，侯世达讨论了禅宗公案。他试图向读者展示如何通过跳出经验来感知现实，并通过拒绝假设来接受此类悖论性的问题，这种策略也称为“无门”。GEB中讨论了调用栈之类的计算机科学内容，因为一个对话描述了阿基里斯和乌龟的冒险，因为他们利用“推入药水”和“弹出药水”来进入和离开不同层次的现实。随后的部分讨论逻辑的基本原理，自指语句，（“无类型”）系统，甚至编程。 侯世达进一步创建了两种简单的编程语言BlooP和FlooP，以说明他的观点。

 

====谜题====

====谜题====

这本书充满了迷题，包括侯世达著名的MU难题。 另一个例子可以在Contracrostipunctus（对位藏头诗）一章中找到，该名称结合了acrostic（藏头诗）和contrapunctus (counterpoint)。 在阿基里斯与乌龟之间的对话中，作者暗示在提到自己（侯世达）和巴赫的这一章中有一个藏头诗。 可以通过用每个段落的第一个单词来组成以下内容：侯世达的对位藏头诗反向拼写是J.S. 巴赫（中译本：赫赫有名的德国作曲家给了侯世达灵感）。 通过反向阅读单词的第一个字母（粗体），得到“ J S Bach”，这是第二个藏头诗—和第一个藏头诗的描述一致。

这本书充满了迷题，包括侯世达著名的MU难题。 另一个例子可以在Contracrostipunctus（对位藏头诗）一章中找到，该名称结合了acrostic（藏头诗）和contrapunctus (counterpoint)。 在阿基里斯与乌龟之间的对话中，作者暗示在提到自己（侯世达）和巴赫的这一章中有一个藏头诗。 可以通过用每个段落的第一个单词来组成以下内容：侯世达的对位藏头诗反向拼写是J.S. 巴赫（中译本：赫赫有名的德国作曲家给了侯世达灵感）。 通过反向阅读单词的第一个字母（粗体），得到“ J S Bach”，这是第二个藏头诗—和第一个藏头诗的描述一致。