Etymology

Unadapted borrowing from GermanCategory:English terms borrowed from German#ENTSCHEIDUNGSPROBLEMCategory:English unadapted borrowings from German#ENTSCHEIDUNGSPROBLEMCategory:English terms derived from German#ENTSCHEIDUNGSPROBLEM Entscheidungsproblem.

Pronunciation

• IPA^(key): /ɛntˈʃʌɪ.dʊŋsˌpɹɒ.bləm/Category:English 5-syllable words#ENTSCHEIDUNGSPROBLEMCategory:English terms with IPA pronunciation#ENTSCHEIDUNGSPROBLEM
• (dated RP) IPA^(key): /entˈʃaɪd.ʊŋsˌpɹɒb.lɪm/Category:English 5-syllable words#ENTSCHEIDUNGSPROBLEMCategory:English terms with IPA pronunciation#ENTSCHEIDUNGSPROBLEM

Noun

EntscheidungsproblemCategory:English lemmas#ENTSCHEIDUNGSPROBLEMCategory:English nouns#ENTSCHEIDUNGSPROBLEMCategory:English nouns with unknown or uncertain plurals#ENTSCHEIDUNGSPROBLEMCategory:English entries with incorrect language header#ENTSCHEIDUNGSPROBLEMCategory:Pages with entries#ENTSCHEIDUNGSPROBLEMCategory:Pages with 2 entries#ENTSCHEIDUNGSPROBLEM

1. (mathematicsCategory:en:Mathematics#ENTSCHEIDUNGSPROBLEM, logicCategory:en:Logic#ENTSCHEIDUNGSPROBLEM) 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.’

     Category:English terms with quotations#ENTSCHEIDUNGSPROBLEM

     Category:Quotation templates to be cleaned
   • 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.

     Category:English terms with quotations#ENTSCHEIDUNGSPROBLEM

     Category:Quotation templates to be cleaned

Further reading

• Entscheidungsproblem on Wikipedia.Wikipedia

Etymology

From Entscheidung +‎ -s- +‎ ProblemCategory:German compound terms#ENTSCHEIDUNGSPROBLEMCategory:German terms interfixed with -s-#ENTSCHEIDUNGSPROBLEM.

Pronunciation

• IPA^(key): /ɛntˈʃaɪ̯dʊŋspʁoˌbleːm/Category:German 5-syllable words#ENTSCHEIDUNGSPROBLEMCategory:German terms with IPA pronunciation#ENTSCHEIDUNGSPROBLEM

• Audio (Germany (Berlin)):

  (file)

  Category:German terms with audio pronunciation#ENTSCHEIDUNGSPROBLEM
• Hyphenation: Ent‧schei‧dungs‧prob‧lem

Noun

Entscheidungsproblem n (strong, genitive Entscheidungsproblems, plural Entscheidungsprobleme)Category:German lemmas#ENTSCHEIDUNGSPROBLEMCategory:German nouns#ENTSCHEIDUNGSPROBLEMCategory:Long German words#ENTSCHEIDUNGSPROBLEMCategory:German entries with incorrect language header#ENTSCHEIDUNGSPROBLEMCategory:German neuter nouns#ENTSCHEIDUNGSPROBLEMCategory:Pages with entries#ENTSCHEIDUNGSPROBLEMCategory:Pages with 2 entries#ENTSCHEIDUNGSPROBLEM

1. (mathematicsCategory:de:Mathematics#ENTSCHEIDUNGSPROBLEM, logicCategory:de:Logic#ENTSCHEIDUNGSPROBLEM) Entscheidungsproblem

Further reading

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