decidable

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 ofdecidable, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
See also: décidable

English

Etymology

From decide +‎ -able.

Pronunciation

  • (UK) IPA(key):
  • Audio (US):(file)

Adjective

decidable (comparative more decidable, superlative most decidable)

  1. capable of being decided.
  2. (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.
  3. (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

References

  1. ^ http://plato.stanford.edu/entries/logic-intuitionistic/
Wikious
Boobota
Sagapedia