摘要： 最近在读刘未鹏的《暗时间》，读到P180，第三篇 跟波利亚学解题，第六章康托尔、哥德尔、图灵——永恒的金色对角线，第二小节 “停机问题”。 在这里我发现了一些我自己像不太清楚，疑惑不解的地方。 PS：电子版地址http://blog.csdn.net/pongba/article/details/1336028 首先我来描述一下我从阅读到感到困惑的过程。 我卡住的地方的前一章是第六篇第五章（为什么有必要知其所以然）。然后第六章开始要讲一些逻辑或者说一些具体问题的推理过程。于是，我觉得应该顺着第五章的做法走，要知其所以然。 于是我开始顺着作者书写的思路走，试图知道每个我认为应该注意... 阅读全文