Meses más tarde Kleene llegó a la misma conclusión que Church pero sus ejemplos de problemas irresolubles tenían su base en el concepto de función recursiva.