I think the way arithmetic is being used here is closer in meaning to “dimensional analysis”.
“Type checking” through the use of units is applicable to an extremely broad class of calculations beyond Fermi Estimates.
I think the way arithmetic is being used here is closer in meaning to “dimensional analysis”.
“Type checking” through the use of units is applicable to an extremely broad class of calculations beyond Fermi Estimates.