The Entscheidungsproblem, proposed by David Hilbert, asked whether there is an effective procedure to determine which mathematical statements (coded as natural numbers) are true.
Το Αναδρομικό πρόβλημα, που προτείνεται από τον David Hilbert, ρώτησε αν υπάρχει μία αποτελεσματική διαδικασία για να προσδιορίσει ποιες μαθηματικές προτάσεις (που κωδικοποιούνται ως φυσικοί αριθμοί) είναι αληθείς.