Neodlučivost

Izvor: Hrvatska internetska enciklopedija
Inačica 47608 od 22. kolovoza 2021. u 05:46 koju je unio WikiSysop (razgovor | doprinosi) (Bot: Automatski unos stranica)
(razl) ←Starija inačica | vidi trenutačnu inačicu (razl) | Novija inačica→ (razl)
Skoči na:orijentacija, traži

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