Qui a introduit l'idée de récursivité ?
Quelqu'un peut-il expliquer d'où il vient et comment cela a eu un impact sur l'informatique?
Réponses:
Calculabilité et récursivité, par Soare. http://www.people.cs.uchicago.edu/~soare/History/compute.pdf
Ce document est le premier de l'histoire des documents de calcul disponible ici: http://www.people.cs.uchicago.edu/~soare/History/
Pas le premier, mais important en ce qui concerne l'application pratique: "Fonctions récursives des expressions symboliques et leur calcul par la machine, partie I" par John McCarthy (dans lequel il a introduit Lisp)
Peut-être légèrement tangentielle à la question d'origine, mais l'entrée de blog " Comment la récursivité est entrée dans la programmation: une comédie d'erreurs " décrit une partie intéressante de l'histoire de l'informatique.
De l' article sur les fonctions récursives sur SEP :
L'utilisation de la récursion remonte au 19ème siècle. Dedekind [1888] a utilisé la notion pour obtenir les fonctions nécessaires à son analyse formelle du concept de nombre naturel. En logique, la récursivité apparaît dans Skolem [1923], où il est noté que de nombreuses fonctions de base peuvent être définies par de simples applications de la méthode. La formalisation et le développement modernes de la notion sont dus à un certain nombre de personnes, notamment Gödel [1931], Herbrand, Rózsa Péter [1951] et Kleene [1936]. Kleene en 1952 a décrit Péter comme «le principal contributeur à la théorie spéciale des fonctions récursives». Elle a présenté un article sur les fonctions récursives au Congrès international des mathématiciens à Zurich en 1932.
Il suggère ce qui suit pour plus d'informations:
Voir en particulier la section intitulée « Les premières définitions récursives » à la page 5.
Je ne sais pas quand elle est apparue, mais la solution récursive pour Towers of Hanoi est fréquemment utilisée comme exemple d'introduction. Le problème est apparu avant les approches formelles du calcul.