Entscheidungsproblem
WiktionaryText
Noun
- 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
-