science can never prove anything as a matter of principle. it can only disprove all the alternatives. math and logic can prove, but only within the model it has built up, which has been shown to contain unprovable axioms that one must simply accept.

Yeah, I'm aware of the strict theory.

Little of what I do, even with the most rigorous methods available and the best practices from both software development and computational science, proves anything.

I know. And I think it's a problem for science...

Logical proofs will never happen for software development, but surely standards for scientific programming can be tightened up a few levels!

I think I heard of some reform proposals from the Reproducibility Crisis reformers.

I more mean there are whole aspects of science that aren't provable without being able to actually obtain counterfactuals, and that means time machines