Entscheidungsproblem

Definition from Wiktionary, a free dictionary

Contents 1 English 1.1 Etymology 1.2 Pronunciation 1.3 Noun

[edit] English

[edit] Etymology

German, from Entscheidung ‘decision’.

[edit] Pronunciation

• IPA: /ɛnt'ʃʌɪdʊŋsˌpɹɒbləm/

[edit] Noun

Entscheidungsproblem (uncountable)

1. (mathematics, logic) A decision problem, of finding a way to decide whether a formula is true or provable within a given system.

   • 1999: ‘The Entscheidungsproblem,’ Rudy said. ‘Meaning?’ Alan explained, ‘Hilbert wanted to know whether any given statement could, in principle, be found true or false.’ — Neal Stephenson, Cryptonomicon