Context: Dalam teori komputasi, masalah hentian adalah masalah menentukan, dari deskripsi program komputer sewenang-wenang dan input, apakah program akan selesai berjalan, atau terus berjalan selamanya. Alan Turing membuktikan pada tahun 1936 bahwa algoritma umum untuk memecahkan masalah hentian untuk semua mungkin program  pasang input tidak dapat ada. Untuk setiap program f yang mungkin menentukan apakah program berhenti, "patologis" program g, disebut dengan beberapa input, dapat melewati sumber sendiri dan masukan ke f dan kemudian secara khusus melakukan kebalikan dari apa f memprediksi g akan melakukan. Tidak ada f dapat ada yang menangani kasus ini. Bagian kunci dari bukti adalah definisi matematis dari komputer dan program, yang dikenal sebagai mesin Turing; masalah hentian tidak dapat diputuskan atas mesin Turing. Ini adalah salah satu kasus pertama dari masalah keputusan terbukti tidak dapat dipecahkan. Ini adalah bukti praktis yang signifikan untuk upaya komputasi, mendefinisikan kelas pemrograman yang mungkin tidak dapat melakukan aplikasi penemuan dengan sempurna.

Dari paragraf berikut, apa kesimpulan utama tentang masalah berhenti?

Masalah berhenti tidak bisa diselesaikan.