I beregnelighedsteori og beregnings kompleksitetsteori er et ubestrideligt problem et beslutningsproblem, som det vides at være umuligt at konstruere en enkelt algoritme, som altid fører til et korrekt ja-eller-nej svar. Stoppeproblemet er et eksempel: Der er ingen algoritme, der korrekt bestemmer om vilkårlige programmer til sidst stopper, når de kører. [Algoritme] |