Comment by shwaj

I think you’re conflating the direction of definition with the direction of evaluation.

Compare the similarity of:

  AI(n) = improve(AI(n-1))

With:

  Fib(n) = Fib(n-1) + Fib(n-2)

The latter is a classic example of recursion. So why isn’t the former?

Edit: formatting