decidability
Can be determined
Decidability is the property of a question or problem having a definite yes-or-no answer that can be determined by some procedure.
In logic and computer science, a system is decidable if an algorithm exists that will always terminate with a correct answer for any input: The decidability of first-order logic was proven by Gödel.
Undecidable problems have no such algorithm—famously, Turing proved that the halting problem lacks decidability.
Algorithmic solvability of problems
- recursiveDefined in terms of itself
- algorithmFinite problem-solving procedure
- terminationAct of ending something
- oracleAuthoritative wisdom source
Of logical statements
- predicateSentence's non-subject portion
- first-orderSimplest logical level
- modalPertaining to form
- completenessState of being whole
soundness · validity · tautology · axioms · deduction · inference · theorem · proof
State of lacking parts
- consistencyReliable adherence to standards
- formalismPrivileging structure over substance
- provabilityCapacity to be established
- independenceFreedom from external control
arithmetic · foundational · constructivism · Tarski · definability · second-order
Shorthand dismissing thanks
- PSixteenth alphabet character
- polynomialExpression with variable terms
- exponentialIncreasing by constant ratio
- tractableEasily managed or controlled
intractable · reduction · hardness · classification · hierarchy · complete · bounded · resource
Relating to variable mathematics
- EuclideanFlat-space geometry type
- coordinateArrange for unified action
- analyticExamining by decomposition
- constructibleAble to be built
Capacity to be settled
- answerabilityObligation to explain oneself
- definitenessQuality of being exact
- conclusivenessQuality of being final
- certitudeFirm belief, unshakable
computability
Algorithmic solvability of problems
- recursiveDefined in terms of itself
- algorithmFinite problem-solving procedure
- terminationAct of ending something
oracle · reducibility · computable · enumerable · recognizable
propositional
Of logical statements
- predicateSentence's non-subject portion
- first-orderSimplest logical level
- modalPertaining to form
completeness · soundness · validity · tautology · axioms · deduction · inference · theorem · proof · syntax
incompleteness
State of lacking parts
- consistencyReliable adherence to standards
- formalismPrivileging structure over substance
- provabilityCapacity to be established
independence · arithmetic · foundational · constructivism · Tarski · definability · second-order
NP
Shorthand dismissing thanks
- PSixteenth alphabet character
- polynomialExpression with variable terms
- exponentialIncreasing by constant ratio
tractable · intractable · reduction · hardness · classification · hierarchy · complete · bounded · resource
algebraic
Relating to variable mathematics
- EuclideanFlat-space geometry type
- coordinateArrange for unified action
- analyticExamining by decomposition
resolvability
Capacity to be settled
- answerabilityObligation to explain oneself
- definitenessQuality of being exact
- conclusivenessQuality of being final
decidabilityindeterminacy
Lack of fixed outcome
irresolvability · indeterminateness · inconclusiveness · ambiguity · uncertainty
decide, decision, decided, precise, deciding, decisive, precision, indecisive, decider