Meaning of Entscheidungsproblem | Babel Free
ɛntˈʃʌɪ.dʊŋsˌpɹɒ.bləmDefinitions
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.
Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free