高级
停机问题与计算极限
证明并解释为什么某些算法问题是计算机永远无法解决的。
📝 프롬프트 내용
请解释阿兰·图灵提出的“停机问题”。首先，定义问题本身：给定一个程序和它的输入，判断该程序最终是会停止运行还是永远运行下去。接着，通过对角线论证法或反证法，展示构建一个能够解决所有停机问题的“超级程序”会导致逻辑矛盾（即询问该超级程序关于其自身的运行情况时）。最后，论述这一定理如何界定了计算机能力的理论边界，以及它与哥德尔不完备性定理的同构性。