English
Entscheidungsproblem
Entscheidungsproblem comes from German Entscheidungsproblem.
- Germanc. 1650–presentEntscheidungsproblem
- Englishearliest quotation 1999same form
attested reconstructed ? uncertain or disputed
Lineage
- Germanc. 1650–presentEntscheidungsproblem
- Englishearliest quotation 1999same form
Earliest quotation: 1999, Neal Stephenson: “‘The Entscheidungsproblem,’ Rudy said. ‘Meaning?’ Alan explained, ‘Hilbert wanted…”
Every English word from German Entscheidungsproblem
Today it means
noun A decision problem of finding a way to decide whether a formula is true or provable within a given system.
Language periods are conventional ranges, not dates for this word.
Etymograph / German Entscheidungsproblem / Entscheidungsproblem