Riječ odlučiv ima formalno značenje u teoriji izračunljivosti, teoriji formalnih jezika, te matematičkoj logici.
- rekurzivan skup (odlučiv skup), u teoriji izračunljivosti (povijesno zvanoj teorija 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.
Vidi još
|
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. |