アッカーマン関数（アッカーマンかんすう、英: Ackermann function、独: Ackermannfunktion）とは、非負整数 m と n に対し、 A = { n + 1, if m = 0 A, if n = 0 A, otherwise {\displaystyle A={\begin{cases}n+1,&{\text{ if }}m=0\\A,&{\text{ if }}n=0\\A,&{\text{ otherwise}}\\\end{cases}}} によって定義される関数のことである。 Wikipedia