- (context, maths, logic) A decision problem, of finding a way to decide whether a formula is true or provable within a given system.
Etymology: German, from Entscheidung "decision".
- 1999: "The ," Rudy said. "Meaning?" Alan explained, "Hilbert wanted to know whether any given statement could, in principle, be found true or false." " Neal Stephenson, Cryptonomicon
Supplemental Details:Sponsor an extended definition for Entscheidungsproblem for as little as $10 per month. Click here to contact us.