Neodlučiv (razdvojba)
Izvor: Wikipedija
Neodlučiv može značiti:
- Problem odluke je zvan (rekurzivno) neodlučivim ako ne postoji algoritam koji ga može odlučiti, poput onoga za problem zaustavljanja Alana Turinga; vidi i pod odlučiv
- "Neodlučiv" se ponekad koristi kao sinonim za "nezavisan", pri čemu je formula matematičke logike nezavisna od logičke teorije ako ni formula niti njena negacija ne mogu biti dokazane unutar teorije.
![]() |
Ovo je razdvojbena stranica. Ona pomaže u orijentaciji tako da popisuje sve stranice koje dijele isti naslov. Ako vas je poveznica iz nekog članka poslala ovamo, možda biste željeli vratiti se i ispraviti je da pokazuje izravno na željenu stranicu. |