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