Entscheidungsproblem /ɛntˈʃʌɪ.dʊŋsˌpɹɒ.bləm/ noun1 •A decision problem of finding a way to decide whether a formula is true or provable within a given system.‘The Entscheidungsproblem,’ Rudy said. ‘Meaning?’ Alan explained, ‘Hilbert wanted to know whether any given statement could, in principle, be found true or false.’ — 1999
