We may be talking past each other as your points aren't relevant to Engineering.
I'm going to highlight this-
Engineering is Science and math vs Programming which is optimization.
I'm going to highlight this-
Engineering is Science and math vs Programming which is optimization.
Again, mathematical tools can be used to prove the correctness of programs.