Decidability
 |
Look up decidability in Wiktionary, the free dictionary. |
The word decidable may refer to:
- Decidable language
- Decidability (logic) for the equivalent in mathematical logic
- Gödel's incompleteness theorem, a theorem on the indecidability of languages consisting of "true statements" in mathematical logic.
- Recursive set, a "decidable set" in recursion theory
See also
This article is issued from Wikipedia - version of the 4/20/2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.