Definition of Entschiedungsproblem
- (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
- The Nuttall Encyclopedia
You arrived at this page by searching for Entschiedungsproblem
The correct Spelling of this word is: Entscheidungsproblem
Thank you for visiting FreeFactFinder. On our home page you will find extensive articles covering
a wide range of topics.
|