< 1 >
Entscheidungsproblem
The Entscheidungsproblem (decision problem) asks for an algorithm to decide whether a given statement is provable from the axioms using the rules of logic.
Explanation
In 1936, the American logician Alonzo Church and the British mathematician Alan Turing showed that a general solution for the decision problem is impossible.
HistoryThis problem was proposed by the German mathematician David Hilbert in 1928. |