Odlučivost
(Preusmjereno s Odlučiv)
Riječ odlučiv ima formalno značenje u teoriji rekurzije, teoriji formalnih jezika, te matematičkoj logici.
- rekurzivan skup (odlučiv skup), u teoriji rekurzije
- odlučiv jezik, u formalnim jezicima.
- odlučivost (logika), u matematičkoj logici.
- Gödelov teorem nepotpunosti, teorem o neodlučivosti jezika koji se sastoje od "istinitosnih iskaza" u matematičkoj logici
 |
| Ovo je razdvojbena stranica. Pomaže u orijentaciji tako da popisuje sve stranice koje dijele isti naslov. Ako Vas je poveznica iz nekoga članka poslala ovamo, možda biste željeli vratiti se i ispraviti ju da pokazuje izravno na željenu stranicu. |