< 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
GeschichteDieses Problem wurde 1928 von dem deutschen Mathematiker David Hilbert vorgeschlagen. |