entscheidungsproblem

English - English

Definition of entscheidungsproblem in English English dictionary

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.’.

Etymology

() German, from Entscheidung ‘decision’.