rozhodnutelná teorie

Rozhodnutelnost je matematický pojem z oblasti matematické logiky. Vyjadruje, zda existuje konecný algoritmus, který pro každou formuli urcí, zda je v dané teorii dokazatelná nebo není. Teorie, pro níž takový algoritmus existuje, se nazývá rozhodnutelná, v opacném prípade pak nerozhodnutelná. Problematika rozhodnutelnosti úzce souvisí s Gödelovými vetami o neúplnosti.