更改

====主题====

====主题====

这本书包含许多递归和自指的实例，其中的对象和观点都在谈论或回指自己。其中之一就是奎因（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，以说明他的观点。

这本书包含许多递归和自指的实例，其中的对象和观点都在谈论或回指自己。其中之一就是奎因（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，以说明他的观点。