Kto wprowadził pomysł rekurencji ?
Czy ktoś może wyjaśnić, skąd się wziął i jak wpłynął na informatykę?
Odpowiedzi:
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:
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ń.