Chi ha introdotto l'idea della ricorsione ?
Qualcuno può spiegare da dove proviene e come ha influito sull'informatica?
Risposte:
Computabilità e ricorsione, di Soare. http://www.people.cs.uchicago.edu/~soare/History/compute.pdf
Questo documento è il primo della storia dei documenti di calcolo disponibili qui: http://www.people.cs.uchicago.edu/~soare/History/
Non il primo, ma importante per quanto riguarda l'applicazione pratica: "Funzioni ricorsive di espressioni simboliche e loro calcolo per macchina, parte I" di John McCarthy (in cui ha introdotto Lisp)
Forse leggermente tangente alla domanda originale, ma la voce del blog " Come la ricorsione è entrata nella programmazione: una commedia di errori " descrive una parte interessante della prima storia informatica.
Da ricorsiva Funzioni articolo su Settembre :
L'uso della ricorsione risale al XIX secolo. Dedekind [1888] usò l'idea per ottenere le funzioni necessarie nella sua analisi formale del concetto di numero naturale. Nella logica, la ricorsione appare in Skolem [1923], dove si nota che molte funzioni di base possono essere definite da semplici applicazioni del metodo. La moderna formalizzazione e sviluppo della nozione è dovuta a un numero di persone, in particolare Gödel [1931], Herbrand, Rózsa Péter [1951] e Kleene [1936]. Kleene nel 1952 descrisse Péter come "il principale collaboratore della teoria speciale delle funzioni ricorsive". Ha presentato un documento sulle funzioni ricorsive al Congresso internazionale dei matematici di Zurigo nel 1932.
Suggerisce quanto segue per ulteriori informazioni:
In particolare, consultare la sezione " Le prime definizioni ricorsive " a pagina 5.
Non so quando è emerso, ma la soluzione ricorsiva per Towers of Hanoi è spesso usata come esempio introduttivo. Il problema è nato prima degli approcci formali sul calcolo.