Wer hat die Idee der Rekursion eingeführt ?
Kann jemand erklären, woher es kommt und wie es sich auf die Informatik auswirkt?
Wer hat die Idee der Rekursion eingeführt ?
Kann jemand erklären, woher es kommt und wie es sich auf die Informatik auswirkt?
Antworten:
Berechenbarkeit und Rekursion von Soare. http://www.people.cs.uchicago.edu/~soare/History/compute.pdf
Dieses Papier ist das erste in der Geschichte der Berechnungspapiere, das hier verfügbar ist: http://www.people.cs.uchicago.edu/~soare/History/
Nicht die erste, aber für die praktische Anwendung wichtig: "Rekursive Funktionen symbolischer Ausdrücke und ihre maschinelle Berechnung, Teil I" von John McCarthy (in dem er Lisp vorstellte)
Vielleicht etwas tangential zur ursprünglichen Frage, aber der Blogeintrag " Wie die Rekursion in die Programmierung kam: eine Komödie der Fehler " beschreibt einen interessanten Teil der frühen Computergeschichte.
Aus dem Artikel über rekursive Funktionen zu SEP :
Die Verwendung der Rekursion geht auf das 19. Jahrhundert zurück. Dedekind [1888] verwendete den Begriff, um Funktionen zu erhalten, die für seine formale Analyse des Konzepts der natürlichen Zahl benötigt wurden. In der Logik erscheint die Rekursion in Skolem [1923], wo angemerkt wird, dass viele Grundfunktionen durch einfache Anwendungen der Methode definiert werden können. Die moderne Formalisierung und Entwicklung des Begriffs geht auf eine Reihe von Personen zurück, insbesondere auf Gödel [1931], Herbrand, Rózsa Péter [1951] und Kleene [1936]. 1952 beschrieb Kleene Péter als "den führenden Verfasser der speziellen Theorie der rekursiven Funktionen". Sie präsentierte 1932 auf dem Internationalen Mathematikerkongress in Zürich eine Arbeit über die rekursiven Funktionen.
Es wird Folgendes empfohlen, um weitere Informationen zu erhalten:
Siehe insbesondere den Abschnitt " Die ersten rekursiven Definitionen " auf Seite 5.
Ich weiß nicht, wann es dazu kam, aber die rekursive Lösung für Türme von Hanoi wird häufig als Einführungsbeispiel verwendet. Das Problem entstand vor formalen Herangehensweisen an die Berechnung.