异圈 commented on I Am a Strange Loop by Douglas R. Hofstadter
这一章讨论的是哥德尔不完备性的证明，介绍了基本的思路：第一步，找个别名；第二步，使用别名和描述来进行自指。 对我来说非常有趣的一章，可惜没有更进一步的讨论。 这一章完全可以单拎出来作为数理逻辑的招生宣传（不比前面一大堆啰嗦的比喻迷人吗（。
这一章讨论的是哥德尔不完备性的证明，介绍了基本的思路：第一步，找个别名；第二步，使用别名和描述来进行自指。 对我来说非常有趣的一章，可惜没有更进一步的讨论。 这一章完全可以单拎出来作为数理逻辑的招生宣传（不比前面一大堆啰嗦的比喻迷人吗（。