Maeckes logo

<    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

 


Extra informatie

Dit probleem werd voorgesteld door de Duitse wiskundige David Hilbert in 1928.

 


Deutsch   English   Español   Français   中文