< 1 >
Entscheidungsproblem
Le Entscheidungsproblem (problème de décision) demande un algorithme qui décide si un énoncé donné est prouvable à partir d'axiomes en utilisant les règles de la logique.
Explication
HistoireCe problème a été proposé par le mathématicien allemand David Hilbert en 1928. |