Entscheidungsproblem

English

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

noun
Definitions
  • (mathematics) A decision problem of finding a way to decide whether a formula is true or provable within a given system.

Etymology

Borrowed from German Entscheidungsproblem.

Origin

German (Berlin)

Entscheidungsproblem

Gloss

Timeline

Distribution of cognates by language

Geogrpahic distribution of cognates

Cognates and derived terms