次の段落から、停止問題についての主な結論は？
計算可能性理論において、ハルティング問題とは、任意のコンピュータプログラムと入力の記述から、そのプログラムが実行を終了するか、あるいは永遠に実行し続けるかを決定する問題である。アラン・チューリングは1936年、すべての可能なプログラムと入力の組に対して、停止問題を解く一般的なアルゴリズムが存在し得ないことを証明した。プログラムが停止するかどうかを決定する可能性のある任意のプログラムfに対して、ある入力で呼び出された「病的な」プログラムgは、それ自身のソースとその入力をfに渡すことができ、その後、特にfがgが行うと予測することの反対のことを行う。このようなケースを扱うfは存在しえない。この証明の重要な部分は、チューリング機械として知られるコンピュータとプログラムの数学的定義である。これは、決定問題が解けないことが証明された最初のケースのひとつである。この証明は、実用的なコンピューティングの取り組みにとって重要であり、どのようなプログラミング発明も完璧に実行できないようなアプリケーションのクラスを定義している。
ハルティング問題は解けない。