停機問題的概念

通俗的說，停機問題就是判斷任意壹個程序是否會在有限的時間之內結束運行的問題。如果這個問題可以在有限的時間之內解決，則有壹個程序判斷其本身是否會停機並做出相反的行為，這時候顯然不管停機問題的結果是什麽都不會符合要求。所以這是壹個不可解的問題。

停機問題本質是壹階邏輯的不自恰性和不完備性。類似的命題有理發師悖論、全能悖論等。