摘要： 图灵完备的机器可以解决所有可解问题，亦即任何图灵完备的机器逻辑上都是等价的。 那么什么属于不可解的问题呢？这里我们引出一个问题：不存在这样的一个程序，它可以判定任意程序是否会结束执行（停机问题）。 停机问题：有一个程序，我们这里叫做上帝程序，它有两个输入：程序A和程序A运行所需要的输入。上帝程序可以 阅读全文