The Entscheidungsproblem, proposed by David Hilbert, asked whether there is an effective procedure to determine which mathematical statements (coded as natural numbers) are true.
Entscheidungsproblem, предложен од стране Дејвида Хилберта, питао је ли је ефикасна процедура да се одреди која математичка изјава (кодирана као природни број) је истинита.