Odlučivost (čvor)

Odlučivost ima formalno značenje u teoriji rekurzije, teoriji formalnih jezika, te matematičkoj logici i može se odnositi na:

 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.
 Rekurzivan skup, u teoriji rekurzije.

 Također pogledajte 
 Spisak neodlučivih problema