English
Etymology
German, from Entscheidung ‘decision’.
Pronunciation
IPA|/ɛnt'ʃʌɪdʊŋsˌpɹɒbləm/
Noun
en-noun|-
- context|maths|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
vi:Entscheidungsproblem
|
