ack(m,n) = n+1            if m = 0
       ack(m-1, 1)       if n = 0
       ack(m-1, ack(m,n-1))  otherwise