|
Definition of Decidable
1. a. Capable of being decided; determinable.
Definition of Decidable
1. Adjective. capable of being decided. ¹
2. Adjective. (computer science) 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. ¹
3. Adjective. (logic) 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: . ¹
¹ Source: wiktionary.com
Definition of Decidable
1. [adj]