Decidability
Jump to navigation
Jump to search
Script error: No such module "Side box". The word decidable may refer to:
- Decidable language
- Decidability (logic) for the equivalent in mathematical logic
- Decidable problem and Undecidable problem
- Gödel's incompleteness theorem, a theorem on the undecidability of languages consisting of "true statements" in mathematical logic.
- Recursive set, a "decidable set" in recursion theory
See also
Template:Disambiguation page short description <templatestyles src="Dmbox/styles.css" />
__DISAMBIG__Template:Category handler