Neodlučivost

Pogreška pri izradbi sličice: Neodlučivost

Predloženo je da se ovaj članak spoji s člankom Popis neodlučivih problema. (Rasprava)

U matematičkoj logici, problem odluke je zvan (rekurzivno) neodlučivim ako ne postoji algoritam koji ga može odlučiti, poput onoga za problem zaustavljanja Alana Turinga.

Poveznice

• Popis neodlučivih problema
• odlučivost