English - Turkish
Definition of decidable in English Turkish dictionary
- Üzerinde bir karara varılabilen, karar verilebilen
English - English
Definition of decidable in English English dictionary
- capable of being decided
- 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.
- 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 .http: //plato.stanford.edu/entries/logic-intuitionistic/
- 1. Able to be decided2. (Math. & Logic) Able to be proved within a formal system of axioms
- Capable of being decided; determinable
- {s} able to be decided, concludable
- semi-decidable
- Of a set, such that there is a deterministic algorithm such that (a) if an element is a member of the set, the algorithm halts with the result "positive", and (b) if an element is not a member of the set, (i) the algorithm does not halt, or (ii) if it does, then with the result "negative"