为什么停机问题是图灵不可计算问题？若人脑是图灵机那么举个例子：你在做一道题时，你想要知道你自己能不能在有限时间内做出这道题但是如果这道题是证明或证伪黎曼猜想那你就不知道你自己能不能在有限时间内做出这道题了因为你有可能一生都做不出来，也有可能某个灵感就做出来了，这个

简单介绍停机问题：是否存在一个通用算法来判断,特定的程序P在遇到输入I后不陷入无限循环,总能停机? 简单分析：似乎很容易,有没有循环不是一眼就能看穿吗?但如果遇到复杂的goto语句群组成的意大利面条式代码,你还能轻而易举判断吗?结论是不存在这样的通用算法。下面是我在

之前备考时无意间看到这篇文章【康托尔、哥德尔、图灵——永恒的金色对角线】，令我惊为天人。刘未鹏从一系列深奥的理论背后找到了一条线，用一个至为简单而又至为深刻的数学方法将其串联起来，然我们看到了最纯粹的数学之美！现在终于有时间能够静下心来重新看一遍，顺便写一篇读书笔记