Neodlučiv (razdvojba)

Izvor: Wikipedija

Neodlučiv može značiti:

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; 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.
Drugi jezici