Wir betrachten die aus der Vorlesung bekannte Ackermann-Funktion:
ack : N×N→Nack(n,m)=⎩⎪⎨⎪⎧m+1ack(n−1,1)ack(n−1,ack(n,m−1)) if n=0 if n>0,m=0 if n>0,m>0
Beweisen Sie durch Noethersche Induktion über die lexikographische Ordnung der Argumente:
∀n,m∈N.m<ack(n,m)
Problem/Ansatz: