Entscheidungsproblem

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

English[edit]

Etymology[edit]

From German Entscheidungsproblem.

Pronunciation[edit]

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

Noun[edit]

Entscheidungsproblem (uncountable)

  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.

German[edit]

Etymology[edit]

From Entscheidung +‎ Problem.

Pronunciation[edit]

  • IPA(key): /ɛntˈʃaidʊŋspʁoˌbleːm/

Noun[edit]

Entscheidungsproblem n (genitive Entscheidungsproblems, plural Entscheidungsprobleme)

  1. (mathematics, logic) Entscheidungsproblem