[BurningFrog]

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.

[Fomite]

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