[gmuslera]

Mathematical proofs are in some way algorithms put in practice. And another useful thing they have is not leaving possibilities out.

I think that those two things are useful mental models to have when learning programming, things that would be useful to have more as built in patterns than thinking step by step. And in that sense is useful to have a background in math. Maybe it doesn’t need to be too advanced, but at least at the level of thinking naturally in that way.