Entscheidungsproblem — English Dictionary

Noun

1. A decision problem of finding a way to decide whether a formula is true or provable within a given system.

   Broader terms

   problem

   Examples

   More examples (1)

   ‘The Entscheidungsproblem,’ Rudy said. ‘Meaning?’ Alan explained, ‘Hilbert wanted to know whether any given statement could, in principle, be found true or false.’

   Turing was attending Max Newman's lectures on the foundations of mathematics when the Entscheidungsproblem first attracted his attention.