接下來的段落中,
Context:在可計算性理論中,停止問題是從任意電腦程式的描述和輸入來決定該程式是否會完成執行,或持續永遠執行. 這項問題在1936年被Alan Turing證實, 對於任何可能決定是否停止程式的程式 f, 一個"病態"程式 g, 沒有人能處理這個案子. 這項證據的關鍵部分是計算機和程式的數學定義, 這也是首次被證明無法解決的決策問題之一. 這項證據對實際計算工作具有重要意義,
這項問題是無法解決的.