Part of the problem is that we do empirically make arithmetic mistakes. We’ve all misadded at some point for embarrassingly small numbers. But yes, I agree that formalizing such notions is particularly difficult with math, especially because our probability calculations themselves use arithmetic.
Part of the problem is that we do empirically make arithmetic mistakes. We’ve all misadded at some point for embarrassingly small numbers. But yes, I agree that formalizing such notions is particularly difficult with math, especially because our probability calculations themselves use arithmetic.