Entscheidungsproblem

English

Etymology

Borrowed from German Entscheidungsproblem.

Pronunciation

• IPA^(key): /ɛntˈʃʌɪdʊŋsˌpɹɒbləm/
• IPA^(key): /entˈʃaɪdʊŋsˌpɹɒblɪm/

Noun

Entscheidungsproblem

1. (mathematics, logic) A decision problem of finding a way to decide whether a formula is true or provable within a given system.
   • 1999: Neal Stephenson, Cryptonomicon:

     ‘The Entscheidungsproblem,’ Rudy said. ‘Meaning?’ Alan explained, ‘Hilbert wanted to know whether any given statement could, in principle, be found true or false.’

   • 2012, George Dyson, Turing's Cathedral, Penguin 2013, p. 279:

     Turing was attending Max Newman's lectures on the foundations of mathematics when the Entscheidungsproblem first attracted his attention.

Hypernyms

• problem

References

• Entscheidungsproblem on Wikipedia.Wikipedia

---

German

Etymology

From Entscheidung +‎ Problem.

Pronunciation

• IPA^(key): /ɛntˈʃaidʊŋspʁoˌbleːm/
• Hyphenation: Ent‧schei‧dungs‧prob‧lem

Noun

Entscheidungsproblem n (genitive Entscheidungsproblems, plural Entscheidungsprobleme)

1. (mathematics, logic) Entscheidungsproblem

Hypernyms

• Problem

References

• entscheidbar on the German Wikipedia.Wikipedia ^de