Are you also saying computing isn't science? Formal logic and reasoning about what programs "are" means there are formal means to prove programs run correctly, because the proof is mathematical and you can prove things, along the way proving that 'properly encoded' programs which satisfy all their loop invariants (and any others) are mathematical in nature. But of course they are, one of the founders of modern digital computers, Alan Turing, knew this better than most people. So what are you looking for? Bearing in mind that modern digital computers are doing a lot of science right now. Look at the LHC, say. Or climate science. What impact would you say the advent of 'correct' software has had on them?