Entscheidungsproblem
Z Wikipedie, otevřené encyklopedie
Entscheidungsproblem (německý výraz pro „rozhodovací problém“) je úloha, kterou poprvé předložil německý matematik David Hilbert roku 1928. Ptá se, existuje-li postup (algoritmus), který by uměl rozhodnout, jestli je dané matematické tvrzení v daném formálním jazyce pravdivé nebo nepravdivé.
Alonzo Church (1936) a Alan Turing (1937) nezávisle na sobě dokázali, že takový algoritmus neexistuje.
