Mathematics
Comparing the Main Approaches to Mathematics, Proof, and Scientific Computation
Peer-reviewed proof, machine-checked formal verification, and numerical simulation each buy certainty a different way — and none of them can be swapped in for the others.