Entscheidungsproblem

Unadapted borrowing from German Entscheidungsproblem.

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

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.

• problem

• Entscheidungsproblem on Wikipedia.Wikipedia

From Entscheidung +‎ -s- +‎ Problem.

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

• Audio (Germany (Berlin)):

  (file)

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

Entscheidungsproblem n (strong, genitive Entscheidungsproblems, plural Entscheidungsprobleme)

1. (mathematics, logic) Entscheidungsproblem

• Problem

• → English: Entscheidungsproblem

• “Entscheidungsproblem”, in Digitales Wörterbuch der deutschen Sprache‎^[1] (in German)
• “Entscheidungsproblem” in Uni Leipzig: Wortschatz-Lexikon
• entscheidbar on the German Wikipedia.Wikipedia ^de