História de recursão

Quem introduziu a ideia de recursão ?
Alguém pode explicar de onde veio e como afetou a ciência da computação?

Computabilidade e Recursão, da Soare. http://www.people.cs.uchicago.edu/~soare/History/compute.pdf

Este artigo é o primeiro da história dos documentos de computação disponíveis aqui: http://www.people.cs.uchicago.edu/~soare/History/

Não é a primeira, mas importante no que diz respeito à aplicação prática: "Funções recursivas de expressões simbólicas e sua computação por máquina, parte I", de John McCarthy (em que ele introduziu Lisp)

Talvez um pouco tangencial à pergunta original, mas a entrada do blog " Como a recursão entrou na programação: uma comédia de erros " descreve uma parte interessante da história inicial da computação.

Do artigo Funções Recursivas no SEP :

O uso da recursão remonta ao século XIX. Dedekind [1888] usou a noção para obter funções necessárias em sua análise formal do conceito de número natural. Na lógica, a recursão aparece em Skolem [1923], onde se observa que muitas funções básicas podem ser definidas por aplicações simples do método. A formalização e o desenvolvimento modernos da noção são devidos a várias pessoas, principalmente Gödel [1931], Herbrand, Rózsa Péter [1951] e Kleene [1936]. Kleene, em 1952, descreveu Péter como "o principal colaborador da teoria especial das funções recursivas". Ela apresentou um artigo sobre as funções recursivas no Congresso Internacional de Matemáticos em Zurique em 1932.

Ele sugere o seguinte para obter mais informações:

• Rod Adams, " Uma História Antiga de Funções Recursivas e Computabilidade de Gödel a Turing ", 2011.

Em particular, consulte a seção intitulada " As primeiras definições recursivas " na página 5.

Não sei quando surgiu, mas a solução recursiva para as Torres de Hanói é freqüentemente usada como exemplo introdutório. O problema se originou antes de abordagens formais em computação.