Entscheidungsproblem

//ɛntˈʃʌɪ.dʊŋsˌpɹɒ.bləm// noun

noun ·Rare ·Advanced level

Definitions

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

    "‘The Entscheidungsproblem,’ Rudy said. ‘Meaning?’ Alan explained, ‘Hilbert wanted to know whether any given statement could, in principle, be found true or false.’"

Example

More examples

"‘The Entscheidungsproblem,’ Rudy said. ‘Meaning?’ Alan explained, ‘Hilbert wanted to know whether any given statement could, in principle, be found true or false.’"

Etymology

Unadapted borrowing from German Entscheidungsproblem.

More for "entscheidungsproblem"

Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.