Stoppeproblemet er turinggjenkjennelig, men ikke turingavgjørbart. Det betyr altså at man kan lage ei turingmaskin som tar ei turingmaskin N som input og som aksepterer om N stopper. Men det finnes inga turingmaskin som bestemmer om N vil stoppe eller ikke. Da ville det også vært turingavgjørbart.