Хто ввів ідею рекурсії ?
Чи може хтось пояснити, звідки він походить і як це вплинуло на інформатику?
Відповіді:
Обчислюваність та рекурсії, Соаре. http://www.people.cs.uchicago.edu/~soare/History/compute.pdf
Ця стаття є першою в історії обчислювальних робіт, доступних тут: http://www.people.cs.uchicago.edu/~soare/History/
Не перше, але важливе, що стосується практичного застосування: "Рекурсивні функції символічних виразів та їх обчислення машиною, частина I" Джона Маккарті (в якій він представив Лісп)
Може бути трохи дотичним до початкового питання, але запис у блозі " Як рекурсія потрапила в програмування: комедія помилок " описує цікаву частину ранньої історії обчислень.
З статті про рекурсивні функції про SEP :
Використання рекурсії сходить до 19 століття. Дедекінд [1888] використовував це поняття для отримання функцій, необхідних при його формальному аналізі поняття натурального числа. За логікою рекурсія з'являється у Сколемі [1923], де зазначається, що багато основних функцій можна визначити за допомогою простих застосувань методу. Сучасна формалізація та розвиток поняття обумовлена низкою людей, особливо Гедель [1931], Гербранд, Росса Петер [1951] та Кліне [1936]. Клін у 1952 році описав Петера як "провідного учасника спеціальної теорії рекурсивних функцій". Вона представила документ про рекурсивні функції на Міжнародному конгресі математиків у Цюріху в 1932 році.
Для отримання додаткової інформації пропонується наступне:
Зокрема, дивіться розділ під назвою " Перші рекурсивні визначення " на сторінці 5.
Я не знаю, коли воно з’явилося, але рекурсивне рішення для Баштових веж часто використовується як вступний приклад. Проблема виникла перед формальними підходами до обчислення.