Remember, programming is a branch of mathematics.
programming is more like communicating to a computer to convince them to do some task. has always been like this, and this will not change
I saw a cryptographer interviewed. She was maybe 20yo and was working onboard a US aircraft carrier. Installing and managing cryptographic systems does not make one a cryptographer. Doing math via computer programing also does not make one a mathematician any more than driving a car makes one a mechanic.
For instance, in mathematics, we have A ⇒ A (every statement implies itself, for instance "if it rains, then it rains"); and analogously, in programming, we have the identity function of type A → A (which reads a value as input and outputs the same value).
This is the tip of an enormous iceberg identifying, in a certain precise sense, proving with programming (and stating mathematical assertions with specifying the desired behavior of a program).
However, programming is a bit more general than proving: Circular proofs are simply of no value, whereas looping programs can still be valuable. For instance, I for sure hope that the main loop of the browser I'm currently using to fill out this textbox does not prematurely stop.
That only exists in theoretical computer science. In real computer programming, you always have some bounds to the value of A.