摘要： 过程使用伪码证明停机问题不存在这样一个程序（算法），它能够计算任何程序（算法）在给定输入下是否会结束（停机）。停机问题的证明差不多是这样的先假设存在一个程序（算法），它能够计算任何程序（算法）在任何给定输入下是否会结束（停机）。设这个程序为A（prog,input）bool A(prog,input）{ if(prog结束于input) return true; else returnfalse;}因为它能够计算任何程序（算法）在任何给定输入下是否会结束（停机）。假设有如下程序Bbool B(input){ if(A(input,input)) { whil... 阅读全文