Re:1 in 4 Statisticians Say They Were Asked to Commit Scient...
by Fomite on Saturday November 03, 2018 @03:07AM
(#18369104)
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
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.