Recursion is exactly the same (as induction) because it also requires specifying what to do in a base case. I guess I think recursion is a more instructive term

Recursion is exactly the same (as induction) because it also requires specifying what to do in a base case. I guess I think recursion is a more instructive term than "working backwards" because it speaks to a rigorous programmatic approach.