decidable

Pronunciation

This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.024

Pronunciation

- (
*British*) IPA: [dɪˈsaɪdəbəɫ]

**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: P \vee \neg P .

- (
*computer science*) recursive, computable

- Spanish: decidible

- German: entscheidbar

This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.024