| 释义 |
decision problem The decision problem, or Entscheidungsproblem, was posed by Hilbert in 1928, asking whether there is an algorithm that can determine whether a given statement is true using given axioms. A negative answer was given independently to the problem by Church and Turing in 1936.
|