I would argue that the scientific method isn't as much about using experimental results to prove theorems as much as it is building a model and repeatedly verif

I would argue that the scientific method isn't as much about using experimental results to prove theorems as much as it is building a model and repeatedly verifying/modifying it until it is consistent. In that aspect experiments are not dissimilar from tests in software and examples in mathematics. They serve as a single point that demonstrates a certain behaviour of the final model. Sure in pure mathematics you can derive solutions using pure logic however if a model looks sound but an example shows up that disagrees with the model then there is obviously a flaw somewhere. Similarly in physical sciences, experiments are data-points that constrain a model of the system. As physical sciences unfortunately don't have the luxury of using pure logic to derive models, they are stuck with using just these "tests". As you said computer science is more or less a subset of mathematics. Because of this I would say that they are both true sciences, they just have a few extra tools at their disposal compared to the rest of the sciences.