Uno de los mayores problemas de Hilbert y Ackermann era determinar si su inferencia era válida utilizando un algoritmo.