Dictionary

Entscheidungsproblem en · NOUN

Pronunciation

• /entˈʃaɪd.ʊŋsˌpɹɒb.lɪm/ (Received-Pronunciation, dated)
• /ɛntˈʃʌɪ.dʊŋsˌpɹɒ.bləm/

Etymology

Unadapted borrowing from German Entscheidungsproblem.

Meanings

1. 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, Neal Stephenson, Cryptonomicon:
   • Turing was attending Max Newman's lectures on the foundations of mathematics when the Entscheidungsproblem first attracted his attention. 2012, George Dyson, Turing's Cathedral, Penguin, published 2013, page 279:

Hypernyms

problem