Back مسألة القرار (رياضيات) Arabic Праблема вырашальнасці Byelorussian Entscheidungsproblem Catalan Entscheidungsproblem Czech Entscheidungsproblem English Entscheidungsproblem Spanish Problème de la décision French Entscheidungsproblem Croatian Entscheidungsproblem Italian Entscheidungsproblem Dutch
Entscheidungsproblem (Lingua Theodisca, 'quaestio diiudicationis') in mathematica et informatica est quaestiuncula a David Hilbert posita anno 1928.
Anno 1936 Alphonso Church, et anno 1937 A. M. Turing, libere laborantes, commentarios divulgaverunt qui monstraverunt diiudicare num sententiae algorismi in arithmetica sint verae vel falsae nullo modo fieri potest, et simile solutio generalis quaestionis diiudicationis. Hic eventus nunc appellatur Theorema Church vel Theorema Church-Turing (non Thesis Church–Turing).