decision problem

 

noun

Logic
  • the problem of finding a way to decide whether a formula or class of formulas is true or provable within a given system of axioms.

Origin:

1930s: translation of German Entscheidungsproblem