section_heading: Problem zaustavljanja
paragraph_text: Drugim riječima, jedini općenit način za znati hoće li dani program stati za pojedini ulaz u svim slučajevima jest izvršiti ga i vidjeti staje li. Ako staje, tada se zna da staje. U drugu ruku, ako ne staje, tada se nikad ne može znati hoće li s vremenom stati. Jezik koji se sastoji od svih opisa Turingovih strojeva uparnih sa svim mogućim ulazima za koje Turingovi strojevi s vremenom staju nije rekurzivan. Problem zaustavljanja se stoga zove neizračunljiv ili neodlučiv.