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