Home
•
Search
•
Translate
From Wikipedia, the free encyclopedia
(Redirected from
Decidable (disambiguation)
)
Look up
decidability
in Wiktionary, the free dictionary.
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
Decision problem
List of undecidable problems
Decision (disambiguation)
Decide (disambiguation)
Topics referred to by the same term
This
disambiguation
page lists articles associated with the title
Decidability
.
If an
internal link
led you here, you may wish to change the link to point directly to the intended article.
Category
:
Disambiguation pages
Hidden categories:
Short description is different from Wikidata
All article disambiguation pages
All disambiguation pages
Top Of Page
Home
•
Search
•
Translate
©
CSE