View source for Decidable

{{also|décidable}}
==English==

===Etymology===
From {{suffix|en|decide|able}}.

===Pronunciation===
* {{IPA|en|[dɪˈsaɪdəbəɫ]|a=UK}}
* {{audio|en|en-us-decidable.ogg|a=US}}

===Adjective===
{{en-adj}}

# capable of being [[decided]].
# {{lb|en|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.
#: {{ux|en|It is easy to show that the set of even numbers is '''decidable''' by creating the relevant Turing machine.}}
# {{lb|en|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: <math> P \vee \neg P </math>.<ref>http://plato.stanford.edu/entries/logic-intuitionistic/</ref>

====Synonyms====
* {{sense|computer science}} {{l|en|recursive}}, {{l|en|computable}}

====Antonyms====
* {{l|en|undecidable}}

====Derived terms====
* {{l|en|semi-decidable}}

====Related terms====
* {{l|en|decidability}}

====Translations====
{{trans-top|capable of being decided}}
* Czech: {{t|cs|rozhodnutelný|m}}
* Finnish: {{t|fi|[[ratkaistavissa]] [[oleva]]}}
* German: {{t|de|entscheidbar}}
* Spanish: {{t|es|decidible}}
{{trans-bottom}}

{{trans-top|computer science: describing a set}}
* Finnish: {{t|fi|[[ratkaistavissa]] [[oleva]]}}
* German: {{t|de|entscheidbar}}
* Hebrew: {{t|he|כריע|tr=karí'a|sc=Hebr}}
* Romanian: {{t|ro|decidabil}}
{{trans-bottom}}

===References===
<references/>