decidable

English dictionary entry

Meanings

adj

capable of being decided.
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.
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.

[dɪˈsaɪdəbəɫ] en-us-decidable.ogg

decidable more decidable most decidable

From decide + -able.

recursive computable

undecidable

decidability

semi-decidable

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.

Back to search All on D Russian dictionary Dahl dictionary