En mathématiques, le -LRB-, l'allemand pour le problème de décision "-RRB- est un défi posé par David Hilbert en 1928. La demande d'un algorithme qui prendra comme entrée une description d'une langue formelle et une déclaration mathématique dans la langue et produira comme sortie soit 'vrai' ou 'faux' 'selon que la déclaration est vraie ou fausse.
David Hilbert a formulé le problème en 1928 : existe-t-il un algorithme qui prendra un langage formel, et une déclaration logique dans cette langue, et qui produira '' vrai 'ou' faux ', selon la valeur de la vérité de la déclaration.