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