Maeckes logo

<    1    >


Entscheidungsproblem

Das Entscheidungsproblem fragt nach einem Algorithmus, der entscheidet, ob eine gegebene Aussage aus den Axiomen mit den Regeln der Logik beweisbar ist.

 


Erläuterung

 


Zusätzliche Informationen

Dieses Problem wurde 1928 von dem deutschen Mathematiker David Hilbert vorgeschlagen.

 


English   Español   Français   Nederland   中文