Una interpretación razonable de la palabra «fórmula» es «una máquina de Turing que se detiene bajo todas las entradas».