Estos estudios son fundamentales para la demostración del teorema del punto fijo y el teorema de recursión de Kleene de 1952.