Definitions
from The Century Dictionary.
- That may be decided.
from the GNU version of the Collaborative International Dictionary of English.
- adjective Capable of being decided; determinable.
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- adjective capable of being
decided . - adjective computer science describing a
set for which there exists analgorithm that willdetermine whether anyelement is or is not within the set in afinite amount of time.
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word decidable.
Examples
-
A final Theory of Everything might have no need of Peano arithmetic, and might well be complete and decidable.
Theories of Everything and Godel's theorem Gordon McCabe 2009
-
A final Theory of Everything might have no need of Peano arithmetic, and might well be complete and decidable.
Archive 2009-06-01 Gordon McCabe 2009
-
A theory T is defined to be decidable if there is an effective procedure of deciding whether any given sentence s belongs to T, (where an 'effective procedure' is generally defined to be a finitely-specifiable sequence of algorithmic steps).
Theories of Everything and Godel's theorem Gordon McCabe 2009
-
OWL ontology is based on Description Logics, which are both expressive and decidable, and provide a foundation for developing precise models about various domains of knowledge.
Steve Hamby: Top Three Technologies to Tame the Big Data Beast Steve Hamby 2011
-
A theory is axiomatizable if there is a decidable set of sentences in the theory, whose closure under logical implication equals the entire theory.
Archive 2009-06-01 Gordon McCabe 2009
-
A theory is axiomatizable if there is a decidable set of sentences in the theory, whose closure under logical implication equals the entire theory.
Theories of Everything and Godel's theorem Gordon McCabe 2009
-
A theory T is defined to be decidable if there is an effective procedure of deciding whether any given sentence s belongs to T, (where an 'effective procedure' is generally defined to be a finitely-specifiable sequence of algorithmic steps).
Archive 2009-06-01 Gordon McCabe 2009
-
It is not an issue of science versus religion, though, but rather decidable propositions (naturally the province of objective scientific investigation) versus undecidable ones (where philosophy rightly governs).
-
Wrong he may well be and I think he is but not for decidable reasons, and the same caveat applies to any religious system whose doctrines avoid leaking over the boundary into decidable questions.
-
Recall my point about decidable/undecidable issues.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.