I don't disagree with you, but I think your statement is roughly like: all ordinary composers are writing music theory, or all ordinary language users are doing linguistics.
Math is a way to add structure and understand the activity that programmers are engaged in. A lot of programming languages and computer architectures have been developed without the math in mind. There is still a lot of mathematical structure to be discovered in what an ordinary programmer does, I think. But yes, much of computer science, programming, etc feels very close to math, even compared to physics, linguistics, music theory, etc.
The difference is that programming languages are formal languages. They simply have a different syntax and semantics from traditional mathematics. The mapping between them is isomorphic.
> A lot of programming languages and computer architectures have been developed without the math in mind.
They're still formal systems. In a broad definition, they're mathematics themselves. In a narrower definition, they map isomorphically to more rigorous mathematics.
Some mainstream programming languages do not even a formal grammar for their syntax. Valid syntax is whatever is accepted by the parsing program. Much more commonly there isn't a formal specification of the semantics. The semantics are similarly defined by the implementation.
I think you might be arguing that the implementation is itself part of a formal system, involving the processor. I don't think I feel the same way. The CPUs operation can be described precisely in terms of rules, in the same way that Newtonian physics can, with the difference that digital systems are more robust to modeling errors. This is what the Strawberry picker example above, I believe, was meant to touch on. Just because math is used to model something doesn't mean the thing is math.
Some aspects of computational sciences feel like they are math. Other aspects seem like they're just modeled by math.
Math is a way to add structure and understand the activity that programmers are engaged in. A lot of programming languages and computer architectures have been developed without the math in mind. There is still a lot of mathematical structure to be discovered in what an ordinary programmer does, I think. But yes, much of computer science, programming, etc feels very close to math, even compared to physics, linguistics, music theory, etc.