Category:Definitions/Decidability
Jump to navigation
Jump to search
This category contains definitions related to Decidability.
Related results can be found in Category:Decidability.
A class $\CC$ of statements is decidable if and only if there exists an effective procedure for answering whether each statement in $\CC$ is true or false.
Subcategories
This category has only the following subcategory.
D
Pages in category "Definitions/Decidability"
The following 4 pages are in this category, out of 4 total.