Hello, you have come here looking for the meaning of the word
decidable. In DICTIOUS you will not only get to know all the dictionary meanings for the word
decidable, but we will also tell you about its etymology, its characteristics and you will know how to say
decidable in singular and plural. Everything you need to know about the word
decidable you have here. The definition of the word
decidable will help you to be more precise and correct when speaking or writing your texts. Knowing the definition of
decidable, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Etymology
From decide + -able.
Pronunciation
Adjective
decidable (comparative more decidable, superlative most decidable)
- capable of being decided.
- (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.
It is easy to show that the set of even numbers is decidable by creating the relevant Turing machine.
- (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:
.
Synonyms
Antonyms
Derived terms
Translations
computer science: describing a set
References