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

 


Additional information

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

 


Deutsch   Español   Français   Nederland   中文