Entscheidungsproblem
/ɛntˈʃʌɪ.dʊŋsˌpɹɒ.bləm/ · noun
Meaning
- A decision problem of finding a way to decide whether a formula is true or provable within a given system.
Etymology / origin
Unadapted borrowing from German Entscheidungsproblem.
Sources
No citations have been attached yet.