Maeckes logo

<    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.

 


Deutsch   English   Français   Nederland   中文