Witam
Mam takie oto zadanie:
Za pomocą indukcji matematycznej udowodnij \(\displaystyle{ A\left( 3,y\right)= 2^{y+3}-3}\) (odejmowanie tutaj jest ograniczone) , gdzie A jest funkcją Ackermanna spełniającą warunki:
\(\displaystyle{ A\left( 0,y\right)= S\left( y\right)}\)
\(\displaystyle{ A\left( S\left( x\right),S\left( y\right) \right)= A\left( x, A\left( S\left( x\right) ,y\right) \right)}\)
\(\displaystyle{ A\left( S\left( x\right) ,0\right)= A\left( x,1\right)}\)
Dziękuję za wszelką pomoc