halting problem 纠错

• 停机问题：计算机科学中的一个著名问题，用于判断一个程序是否会在有限时间内停止运行。这个问题被证明是无法解决的，因为没有一个通用算法可以预测所有程序的运行结果。