アッカーマン関数 \(A(x,y)\) はヴィルヘルム・アッカーマンが定義してペーターとロビンソンが拡張した再帰関数である。現在はロビンソンの定義が有名となっている。アッカーマン数はアッカーマン関数のオリジナルの定義によって定義できる。 定義[] ロビンソンの定義[] 次の様に定義される[1][2]。 表示をデスクトップ版に切り替えて数式を表示する。 非負整数 \(x,y\) に対して, \[ A(x,y)= \begin{cases} y+1 & \text{if}\ x=0, \\ A(x-1,1) & \text{if}\ x>0, y=0, \\ A(x-1,A(x,y-1)) & \text{otherwise}. \end{cases} \] したがって、例えば次のように計算される。 \begin{align*} A(1,2) \ &=\ A(0,A(1,1))\\ \ &=\
![アッカーマン関数](https://cdn-ak-scissors.b.st-hatena.com/image/square/6048f534817fafc59981c505fd089830d1d27289/height=288;version=1;width=512/https%3A%2F%2Fstatic.wikia.nocookie.net%2Fgoogology%2Fimages%2Fe%2Fe6%2FSite-logo.png%2Frevision%2Flatest%3Fcb%3D20210705103420%26path-prefix%3Dja)