Entscheidungsproblem meaning

(mathematics, logic) A decision problem, of finding a way to decide whether a formula is true or provable within a given system.
noun
1
0
Advertisement

Origin of entscheidungsproblem

  • From German, from Entscheidung ‘decision’.

    From Wiktionary