The theory and practice of computational errors

This talk offers a taxonomy of computing errors based on the level of control we have over the computing method. Error control can be achieved by theoretical, mathematical means but also by practical engineering means. It is far from clear that theoretical error control is epistemically superior to its pragmatic cousin. To underline this point several successful and widely employed computing methods where only pragmatic error control is achieved are examine