Neodlučivost
Izvor: Hrvatska internetska enciklopedija
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.
Pogreška pri izradbi sličice: Spremanje smanjene slike ("thumbnail") na ponuđenu mjesto nije moguće. |
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.