Los ejemplos de la lógica son las famosas funciones de parada de Turing (descritos en la entrada de la máquina de Turing) y la función D, cuyo dominio se encuadró en las fórmulas bien formadas del cálculo de los predicados y cuyos valores, D(x), son 1 o 0 en función de que X es, o no es, deducible del axioma de los predicados lógicos de Bernays-Hilbert-Ackermann.