Maeckes logo

<    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

 


History

This problem was proposed by the German mathematician David Hilbert in 1928.


Deutsch   Español   Français   Nederlands   中文   Русский