adj
Meaning 1
capable of being decided.
Definition source: English Wiktionary via Wiktextract
No example sentence was provided for this meaning.
Meaning relationships
Synonyms: none provided
Antonyms: none provided
Standard Lemma guide
decidable
Definitions and examples are grouped by meaning. Pronunciation, history, word forms, translations, descendants, synonyms, antonyms, derived terms, and related words appear whenever the source provides them.
Sound
Pronunciation
Each Play button uses your device's default local English voice, or a natural local fallback. The selected voice name appears after playback. This is synthesized speech, not a source recording.
-
UK: [dɪˈsaɪdəbəɫ]
-
US: Recorded audio is listed in the source snapshot.
adj
Meaning 2
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.
Definition source: English Wiktionary via Wiktextract
Topics: computer, computing, engineering, mathematics, natural-sciences, physical-sciences, science, sciences
Examples
- It is easy to show that the set of even numbers is decidable by creating the relevant Turing machine.
Meaning relationships
Synonyms: none provided
Antonyms: none provided
adj
Meaning 3
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∨¬P.
Definition source: English Wiktionary via Wiktextract
Topics: human-sciences, logic, mathematics, philosophy, sciences
No example sentence was provided for this meaning.
Meaning relationships
Synonyms: none provided
Antonyms: none provided
History
Etymology
Etymology tree English decide Proto-Indo-European *-dhlom Proto-Indo-European *-dhlis Proto-Italic *-ðlis Latin -bilis Latin -ābilis Old French -ablebor. Middle English -able English -able English decidable From decide + -able.
Across languages
Translations
9 source translations are retained for this English entry.
- Czech: rozhodnutelný — capable of being decided
- Finnish: ratkaistavissa oleva — capable of being decided
- German: entscheidbar — capable of being decided
- Russian: разрешимый (razrešimyj) — capable of being decided
- Spanish: decidible — capable of being decided
- Finnish: ratkaistavissa oleva — computer science: describing a set
- German: entscheidbar — computer science: describing a set
- Hebrew: כריע (karí'a) — computer science: describing a set
- Romanian: decidabil — computer science: describing a set