Neodlučivost

Izvor: Wikipedija
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[uredi VE | uredi]