Meaning of Entscheidungsproblem | Babel Free
/ɛntˈʃʌɪ.dʊŋsˌpɹɒ.bləm/Definitions
A decision problem of finding a way to decide whether a formula is true or provable within a given system.
Examples
“‘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.”
CEFR level
C2
Mastery
This word is part of the CEFR C2 vocabulary — mastery level.
This word is part of the CEFR C2 vocabulary — mastery level.