Ackermann function

Ackermann function 非原始递归函数

威廉·阿克曼（ Wilhelm Ackermann，1896年3月29日－1962年12月24日），德国 数学家，最著名的成果是 计算理论的重要例子 阿克曼函数。

今天在学习复变函数时看到“Ackermann function” ，翻译过来就是阿克曼函数。

纠结于这样的东西有什么用，查了下，发现第一次使用是用来做编译器的基准，协助判断编译器对递归计算的优化，因为其递归实现的递归深度非常高。

扩展阅读：

1. http://en.wikipedia.org/wiki/Ackermann_function

2. http://en.wikipedia.org/wiki/Primitive_recursive_function

那么为什么会有人研究这种“非原始递归函数”，从资料上反映应该是用来研究和验证可计算理论。而可计算理论是计算机的基础。也就是说研究这些可以提高计算机的发展水平。