Las palabras «proceso» y «número finito de operaciones» de su enunciado original sugieren claramente que Hilbert pedía un algoritmo.