m=1 のときのAckermann関数
•アッカーマン関数の定義
•Ack(0, n) = n +1
•Ack(m, 0) = Ack(m-1, 1)
•Ack(m, n) = Ack(m-1, Ack(m, n-1))
•m=1 とすると
•Ack(1, 0) = Ack(0, 1) = 1 + 1 = 2
•Ack(1, 1) = Ack(0, Ack(1, 0)) = Ack(0, 2) = 2 + 1 = 3
•Ack(1, 2) = Ack(0, Ack(1, 1)) = Ack(0, 3) = 3 + 1 = 4
数学的帰納法を使って,Ack(1, n) = n + 2 を証明することは
簡単
25