|
|
Definition of Decidable
1. a. Capable of being decided; determinable.
Definition of Decidable
1. Adjective. capable of being decided. ¹
2. Adjective. (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. ¹
3. Adjective. (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: . ¹
¹ Source: wiktionary.com
Definition of Decidable
1. [adj]
Lexicographical Neighbors of Decidable
Literary usage of Decidable
Below you will find example usage of this term as found in modern and/or classical literature:
1. Preparing for Graduate School Examinations in Computer Science by Christopher Scaffidi (2005)
"Choices B and C are not decidable because a context-free grammar can be used to
... Consequently, if either of these were decidable, it would be feasible to ..."
2. The Religion of Protestants a Safeway to Salvation. by William Chillingworth (1854)
"Your negative conclusion, therefore, that these " questions touching Scripture
are not decidable by Scripture," you needed not have cited any authorities ..."
3. The Works of Wm. Chillingworth by William Chillingworth (1820)
"... and which not; are not to be determined by Scripture, and therefore that all
controversies of religion are not decidable by Scripture. 27. ..."
Other Resources:
