递归历史

谁介绍了递归的想法？
有人可以解释它的来历及其对计算机科学的影响吗？

可计算性和递归，作者：Soare。 http://www.people.cs.uchicago.edu/~soare/History/compute.pdf

本文是可在此处获得计算论文历史的第一篇：http : //www.people.cs.uchicago.edu/~soare/History/

对于实际应用而言，这不是第一个而是重要的：John McCarthy撰写的“符号表达式的递归函数及其机器计算，第一部分”（他介绍了Lisp）

也许与原始问题略有切合，但博客条目“ 如何递归编程：错误喜剧 ”描述了早期计算历史中有趣的一部分。

从SEP上的递归函数文章：

递归的使用可以追溯到19世纪。Dedekind [1888]使用该概念来获得对自然数概念的形式分析所需的功能。在逻辑上，递归出现在Skolem [1923]中，其中指出可以通过该方法的简单应用来定义许多基本功能。这一概念的现代形式化和发展是由于许多人的缘故，最著名的是哥德尔[1931]，赫布兰德，罗兹·佩特[1951]和克莱恩[1936]。1952年，Kleene将Péter描述为“递归函数特殊理论的主要贡献者”。她于1932年在苏黎世举行的国际数学家大会上发表了关于递归函数的论文。

它建议以下以获取更多信息：

• Rod Adams，“ 从Gödel到Turing的递归函数和可计算性的早期历史 ”，2011年。

特别是，请参阅第5页标题为“ 第一个递归定义 ” 的部分。

我不知道什么时候提出的，但是河内塔的递归解决方案经常被用作入门示例。这个问题起源于正式的计算方法。