再帰の歴史

誰が再帰のアイデアを導入しましたか？
誰かがそれがどこから来たのか、それがコンピュータサイエンスにどのように影響したのかを説明できますか？

Soareによる計算可能性と再帰。 http://www.people.cs.uchicago.edu/~soare/History/compute.pdf

この論文は、http：//www.people.cs.uchicago.edu/~soare/History/で利用可能な計算論文の歴史の最初のものです 。

初めてではありませんが、実際の応用に関する限り、重要です：「シンボリック式の再帰関数とその機械による計算、パートI」 John McCarthy（彼はLispを紹介しました）

元の質問にわずかに接するかもしれませんが、ブログエントリ「どのように再帰がプログラミングに入ったのか：エラーのコメディ」は、初期のコンピューティングの歴史の興味深い部分を説明しています。

SEPの再帰関数の記事から：

再帰の使用は19世紀に遡ります。Dedekind [1888]はこの概念を使用して、自然数の概念の正式な分析に必要な関数を取得しました。論理的には、Skolem [1923]に再帰が登場し、メソッドの単純なアプリケーションによって多くの基本的な機能を定義できることに注意されています。概念の現代的な形式化と発展は、多くの人々、特にGödel[1931]、Herbrand、RózsaPéter[1951]、Kleene [1936]によるものです。Kleeneは1952年にPéterを「再帰関数の特別な理論への主要な貢献者」と説明しました。彼女は1932年にチューリッヒで開催された国際数学者会議で再帰関数に関する論文を発表しました。

詳細については、以下をお勧めします。

• ロッド・アダムス、「ゲーデルからチューリングまでの再帰関数と計算可能性の初期の歴史」、2011年。

特に、5ページの「最初の再帰的定義」というタイトルのセクションを参照してください。

いつ登場したのかはわかりませんが、ハノイの塔の再帰的なソリューションは入門的な例としてよく使用されます。問題は、計算に関する正式なアプローチの前に発生しました。