decidable

Adjective

 * 1) capable of being decided.
 * 2)  describing a set for which there exists an algorithm that will determine whether any element is or is not within the set in a finite amount of time.
 * It is easy to show that the set of even numbers is decidable by creating the relevant Turing machine.
 * 1)  in intuitionistic logic, a proposition P is decidable in a given theory if it can be proven from the theory that "either P or not P", i.e. in symbols: $$ P \vee \neg P $$.

Translations

 * Czech: rozhodnutelný
 * Finnish: ratkaistavissa oleva
 * German: entscheidbar
 * Spanish: decidible


 * Finnish: ratkaistavissa oleva
 * German: entscheidbar
 * Hebrew: כריע
 * Romanian: decidabil