Masalah halting naroskeun naha éta mungkin pikeun nangtukeun, dibikeun pedaran ngeunaan program komputer sareng input, naha program komputer anu dipasihkeun bakal eureun (nyaéta, eureun ngajalankeun) atanapi ngajalankeun salamina. Ieu kabuktian henteu tiasa ditangtukeun ku Alan Turing dina 1936. Bukti Turing dianggap hasil seminal dina teori komputasi sareng netepkeun watesan dasar naon anu tiasa dilakukeun sareng teu tiasa dilakukeun ku komputer. Dina buktina, Turing nunjukkeun yén teu aya algoritma anu tiasa nangtukeun, pikeun sadaya input anu mungkin, naha program komputer anu dipasihkeun bakal eureun atanapi ngajalankeun salamina. Anjeunna ngalakukeun ieu ku ngawangun mesin paradoksal, ayeuna katelah mesin Turing, anu bakal eureun upami sareng ngan ukur upami algoritma nyarios yén éta moal. Ieu ngakibatkeun kontradiksi, anu nunjukkeun yén algoritma henteu tiasa aya. yén masalah eureun henteu tiasa ditangtukeun,
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence