decidable
Americanadjective
-
capable of being decided.
-
Logic. (of an axiom, proposition, etc.) having the property that its consistency or inconsistency with the axioms of a given logical system is determinable.
adjective
-
able to be decided
-
logic (of a formal theory) having the property that it is possible by a mechanistic procedure to determine whether or not any well-formed formula is a theorem
Other Word Forms
Etymology
Origin of decidable
Example Sentences
Examples are provided to illustrate real-world usage of words in context. Any opinions expressed do not reflect the views of Dictionary.com.
In some ways, it is the only argument worth having, since the specific cases are not decidable in advance in one way or another.
From The New Yorker ● Feb. 25, 2019
If you impose any limit, even the lifetime of the universe, then it is decidable, although in practice, that is not much better than if it were not.
From Scientific American ● Feb. 1, 2019
Part of it was about maximum tax rates, a clear and decidable issue.
From New York Times ● Nov. 3, 2016
This so-called Boolean satisfiability problem is decidable, but it remains an extraordinarily difficult logical problem.
From Slate ● Nov. 17, 2015
Random Word
Spin the wheel and learn a new word!
Get a wordDefinitions and idiom definitions from Dictionary.com Unabridged, based on the Random House Unabridged Dictionary, © Random House, Inc. 2023
Idioms from The American Heritage® Idioms Dictionary copyright © 2002, 2001, 1995 by Houghton Mifflin Harcourt Publishing Company. Published by Houghton Mifflin Harcourt Publishing Company.
