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
|