Maeckes logo

<    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

 


Histoire

Ce problème a été proposé par le mathématicien allemand David Hilbert en 1928.


Deutsch   English   Español   Nederlands   中文