The Entscheidungsproblem, proposed by David Hilbert, asked whether there is an effective procedure to determine which mathematical statements (coded as natural numbers) are true.
Problem rozstrzygalności, sformułowany przez Dawida Hilberta, stawia pytanie czy istnieje efektywna procedura do określenie które wyrażenia matematyczne (zakodowane jako liczby naturalne) są prawdziwe.