從下面的段落中, 關於停車問題的主要結論是什麼?
Context:在可計算性理論中,停止問題是從任意計算機程式的描述和輸入來確定程式是否會完成執行,或者繼續永遠執行的問題. 艾倫·圖靈在1936年證明,對於所有可能的程式<unk>輸入對來說,解決停止問題的通用演算法是不可能存在的. 對於任何可能決定程式停止的程式f,一個"病態"程式g,用一些輸入呼叫,可以將自己的源和輸入傳遞給f,然後具體地做f預測g將做的事情的相反. 沒有一個能處理這個案子的律師. 證明的關鍵部分是計算機和程式的數學定義,稱為圖靈機;停止問題在圖靈機上是不可決定的. 這是第一個被證明是無法解決的決策問題. 這種證明對實際計算工作具有重要意義,它定義了一類應用程式,沒有任何程式設計發明可以完美執行.
停車問題無法解決.