Entscheidungsproblem

English

Etymology

Borrowed from German Entscheidungsproblem.

Pronunciation
  • IPA(key): /ɛntˈʃʌɪdʊŋsˌpɹɒbləm/
  • (dated RP) 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

References

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

References
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.