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 を証明することは
簡単
24