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

¹ Source: wiktionary.com

Definition of Decidable

1. [adj]

Lexicographical Neighbors of Decidable

dechunking
dechunks
deci-
deciamp
deciampere
deciamperes
deciamps
deciare
deciares
deciban
decibans
decibel
decibels
decidabilities
decidability
decidable (current term)
decide
decided
decidedly
decidedness
decidednesses
decidement
decidence
decider
deciders
decides
deciding
deciding(a)
decidua basalis

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:

Search for Decidable on Dictionary.com!Search for Decidable on Thesaurus.com!Search for Decidable on Google!Search for Decidable on Wikipedia!

Search