Entscheidungsproblem

Definition from Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Etymology[edit]

Unadapted borrowing from German Entscheidungsproblem.

Pronunciation[edit]

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

Noun[edit]

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[edit]

Further reading[edit]


German[edit]

Etymology[edit]

From Entscheidung +‎ -s- +‎ Problem.

Pronunciation[edit]

  • IPA(key): /ɛntˈʃaɪ̯dʊŋspʁoˌbleːm/
  • (file)
  • Hyphenation: Ent‧schei‧dungs‧prob‧lem

Noun[edit]

Entscheidungsproblem n (strong, genitive Entscheidungsproblems, plural Entscheidungsprobleme)

  1. (mathematics, logic) Entscheidungsproblem

Declension[edit]

Hypernyms[edit]

Descendants[edit]
  • English: Entscheidungsproblem

Further reading[edit]