從以下段落中，關於停機問題的主要結論是什麼？
在可計算性理論中，停機問題是指對於任意計算機程式和輸入，判斷該程式是否會停止執行，或者會一直執行下去的問題。阿蘭·圖靈在1936年證明瞭，不存在一種通用演演算法，可以解決所有可能的程式-輸入對的停機問題。對於任何可能確定程式是否停機的程式f，都可以構造一種「病態」程式g，將其自身的原始碼和輸入傳遞給f，然後執行與f預測g將要執行的相反的操作。沒有任何f可以處理這種情況。證明的關鍵部分是計算機和程式的數學定義，即圖靈機；停機問題在圖靈機上是不可判定的。這是被證明無法解決的決策問題中的第一個案例之一。這個證明對於實際的計算機應用非常重要，定義了一類不可能被任何程式設計發明完美執行的應用程式。
停機問題是無法解決的。