< 1 >
Entscheidungsproblem
Het Entscheidungsproblem (beslissingsprobleem) vraagt om een algoritme dat bepaalt of een gegeven stelling bewijsbaar is op grond van de axioma's volgens de regels van de logica.
Uitleg
GeschiedenisDit probleem werd voorgesteld door de Duitse wiskundige David Hilbert in 1928. |