ON 和 OFF 两个状态的机器，当给定的图灵机停机时，系统状态被置为 ON；当图灵机运行时，系统则被置为 OFF。如此，系统状态将完全取决于图灵机本身。但是并没有算法上可行的方法来确定图灵机是否停机）来说明一个确定性的系统并不需要一定是图灵可计算的（从算法角度讲可进行有效计算的）。潘洛斯相信这种确定性和非算法性共存的计算过程或许在量子力学波动方程的推导中起到作用，甚至可能在智能的产生中具有作用。他认为作为一种算法确定性的系统，当前的电子计算机无法产生智能。他反对认为大脑的推理过程是完全的图灵可计算的观