Entscheidungsproblem

English dictionary entry

Meanings

noun
  1. A decision problem of finding a way to decide whether a formula is true or provable within a given system.

Pronunciation

/ɛntˈʃʌɪ.dʊŋsˌpɹɒ.bləm/ /entˈʃaɪd.ʊŋsˌpɹɒb.lɪm/

Word forms

Entscheidungsproblem

Etymology

Unadapted borrowing from German Entscheidungsproblem.

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.