Historia rekurencji

Kto wprowadził pomysł rekurencji ?
Czy ktoś może wyjaśnić, skąd się wziął i jak wpłynął na informatykę?

Obliczalność i rekurencja według Soare. http://www.people.cs.uchicago.edu/~soare/History/compute.pdf

Ten artykuł jest pierwszym z historii artykułów obliczeniowych dostępnych tutaj: http://www.people.cs.uchicago.edu/~soare/History/

Nie pierwszy, ale ważny z punktu widzenia praktycznego zastosowania: „Funkcje rekurencyjne wyrażeń symbolicznych i ich obliczanie przez maszynę, część I” John McCarthy (w którym przedstawił Lisp)

Być może nieco styczne do pierwotnego pytania, ale wpis na blogu „ Jak rekurencja weszła w programowanie: komedia błędów ” opisuje interesującą część wczesnej historii komputerów.

Z artykułu o funkcjach rekurencyjnych na temat SEP :

Wykorzystanie rekurencji sięga XIX wieku. Dedekind [1888] użył tego pojęcia do uzyskania funkcji potrzebnych w jego formalnej analizie pojęcia liczby naturalnej. W logice rekurencja pojawia się w Skolem [1923], gdzie należy zauważyć, że wiele podstawowych funkcji można zdefiniować za pomocą prostych zastosowań metody. Współczesna formalizacja i rozwój tego pojęcia zawdzięczają wielu osobom, w szczególności Gödelowi [1931], Herbrandowi, Rózsa Péterowi [1951] i Kleene [1936]. Kleene w 1952 roku opisał Pétera jako „wiodącego twórcę specjalnej teorii funkcji rekurencyjnych”. Przedstawiła artykuł na temat funkcji rekurencyjnych na Międzynarodowym Kongresie Matematyków w Zurychu w 1932 r.

Sugeruje następujące informacje, aby uzyskać więcej informacji:

• Rod Adams, „ Early history of Recursive Functions and Computability from Gödel to Turing ”, 2011.

W szczególności zobacz sekcję „ Pierwsze definicje rekurencyjne ” na stronie 5.

Nie wiem, kiedy to się pojawiło, ale rekursywne rozwiązanie dla Wież Hanoi jest często używane jako przykład wprowadzający. Problem powstał przed formalnym podejściem do obliczeń.