Good to have explained this explicitly why mathematics is such an essential component of programming. People without an inclination for this kind of abstract mathematical thinking often are poor and chaotic programmers.

https://the-nerve-blog.ghost.io/to-be-a-better-programmer-write-little-proofs-in-your-head