Entscheidungsproblem

English

Etymology

Unadapted borrowing from German Entscheidungsproblem.

Pronunciation

• IPA^(key): /ɛntˈʃʌɪ.dʊŋsˌpɹɒ.bləm/
• (dated RP) IPA^(key): /entˈʃaɪd.ʊŋsˌpɹɒb.lɪ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, published 2013, page 279:

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

Hypernyms

• problem

Further reading

• Entscheidungsproblem on Wikipedia.Wikipedia

German

Etymology

From Entscheidung +‎ -s- +‎ Problem.

Pronunciation

• IPA^(key): /ɛntˈʃaɪ̯dʊŋspʁoˌbleːm/

• Audio

  (file)

• Hyphenation: Ent‧schei‧dungs‧prob‧lem

Noun

Entscheidungsproblem n (strong, genitive Entscheidungsproblems, plural Entscheidungsprobleme)

1. (mathematics, logic) Entscheidungsproblem

Declension

Declension of Entscheidungsproblem [neuter, strong]

	singular			plural
	indef.	def.	noun	def.	noun
nominative	ein	das	Entscheidungsproblem	die	Entscheidungsprobleme
genitive	eines	des	Entscheidungsproblems	der	Entscheidungsprobleme
dative	einem	dem	Entscheidungsproblem	den	Entscheidungsproblemen
accusative	ein	das	Entscheidungsproblem	die	Entscheidungsprobleme

Hypernyms

• Problem

Descendants

• → English: Entscheidungsproblem

Further reading

• “Entscheidungsproblem” in Digitales Wörterbuch der deutschen Sprache
• “Entscheidungsproblem” in Uni Leipzig: Wortschatz-Lexikon
• entscheidbar on the German Wikipedia.Wikipedia ^de