1928年

资 源 简 介

1928年，Wilhelm Ackermann (1896 - 1962，David Hilbert的学生) 发现x的y次幂的z-重积分 A(x,y,z)是递归的但不是原始递归的。Rosza Peter将A(x,y,z)简化到二元函数，初始条件由Raphael Robinson简化。

您 可 能 感 兴 趣 的