Etymology

Entscheidungsproblem

Today it means: A decision problem of finding a way to decide whether a formula is true or provable within a given system. Full definition →

German Entscheidungsproblem
Ask AI about its historyChatGPTClaudePerplexityGoogle AIGrok

The story

  1. German · borrowed fromEntscheidungsproblem
  2. English todayEntscheidungsproblem

Unadapted borrowing from German Entscheidungsproblem.

Etymology from Wiktionary, CC BY-SA 4.0.