entscheidungsproblem

Englisch - Englisch

Definition von entscheidungsproblem im Englisch Englisch wörterbuch

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

Etymologie

() German, from Entscheidung ‘decision’.