"To a first approximation the method of science is 'find an explanation and test it thoroughly', while modern core mathematics is 'find an explanation withou

"To a first approximation the method of science is 'find an explanation and test it thoroughly', while modern core mathematics is 'find an explanation without rule violations'." This kind of rings a bell for me here concerning Formal Verification methods (i.e. proofs), possibly more popular with functional programming techniques.