Category:Definitions/Decision Problems
Jump to navigation
Jump to search
This category contains definitions related to Decision Problems.
Related results can be found in Category:Decision Problems.
Let $\FF$ be a formal system.
The decision problem for $\FF$ is the question as to whether or not there exists an effective procedure for determining whether or not a given well-formed formula of $\FF$ is a theorem of $\FF$.
That is, whether $\FF$ is decidable.
Subcategories
This category has the following 5 subcategories, out of 5 total.
N
- Definitions/NP Problems (1 P)
T
- Definitions/Type P Problems (1 P)
Pages in category "Definitions/Decision Problems"
The following 6 pages are in this category, out of 6 total.