Historia de recursividad.

¿Quién introdujo la idea de recursión ?
¿Alguien puede explicar de dónde vino y cómo impactó la informática?

Computabilidad y recursividad, por Soare. http://www.people.cs.uchicago.edu/~soare/History/compute.pdf

Este documento es el primero de la historia de los documentos de computación disponibles aquí: http://www.people.cs.uchicago.edu/~soare/History/

No es el primero, pero es importante en lo que respecta a la aplicación práctica: "Funciones recursivas de las expresiones simbólicas y su cálculo por máquina, parte I" de John McCarthy (en el que presentó a Lisp)

Tal vez un poco tangencial a la pregunta original, pero la entrada del blog " Cómo la recursión entró en la programación: una comedia de errores " describe una parte interesante de la historia de la computación temprana.

Del artículo de Funciones recursivas en SEP :

El uso de la recursión se remonta al siglo XIX. Dedekind [1888] utilizó la noción para obtener las funciones necesarias en su análisis formal del concepto de número natural. En lógica, la recursividad aparece en Skolem [1923], donde se observa que muchas funciones básicas se pueden definir mediante aplicaciones simples del método. La formalización moderna y el desarrollo de la noción se deben a varias personas, especialmente a Gödel [1931], Herbrand, Rózsa Péter [1951] y Kleene [1936]. Kleene en 1952 describió a Péter como "el principal contribuyente a la teoría especial de las funciones recursivas". Presentó un documento sobre las funciones recursivas en el Congreso Internacional de Matemáticos en Zurich en 1932.

Sugiere lo siguiente para obtener más información:

• Rod Adams, " Una historia temprana de funciones recursivas y computabilidad desde Gödel hasta Turing ", 2011.

En particular, vea la sección titulada " Las primeras definiciones recursivas " en la página 5.

No sé cuándo surgió, pero la solución recursiva para Towers of Hanoi se usa con frecuencia como ejemplo introductorio. El problema se originó antes de los enfoques formales sobre computación.