< 1 >
Entscheidungsproblem
El Entscheidungsproblem (problema de decisión) pide un algoritmo que decida si un enunciado dado es demostrable a partir de axiomas utilizando las reglas de la lógica.
Explicación
Información adicional
Este problema fue propuesto por el matemático alemán David Hilbert en 1928.