[Home]History of Ackermann function

HomePage | Recent Changes | Preferences

Revision 3 . . December 16, 2001 3:22 am by AxelBoldt
Revision 2 . . December 16, 2001 3:22 am by AxelBoldt
Revision 1 . . December 16, 2001 3:21 am by AxelBoldt
  

Difference (from prior major revision) (no other diffs)

Changed: 28c28
In 1928, Ackermann? considered a function A(m, n, p) of three variables, the p-fold iterated exponentiation of m with n, and proved that it is a recursive function which is not primitive recursive. This definition was later simplified by Rosza Peter and Raphael Robinson to the two-variable definition given above.
In 1928, [Wilhelm Ackermann]? considered a function A(m, n, p) of three variables, the p-fold iterated exponentiation of m with n, and proved that it is a recursive function which is not primitive recursive. This definition was later simplified by Rosza Peter and Raphael Robinson to the two-variable definition given above.

HomePage | Recent Changes | Preferences
Search: