3 ms·
Yes, I entirely agree. I'm just saying that despite having a pure branch, mathematics also has an applied branch which is used in engineering, and formally-pro
by tome 7y ago
Yes, I entirely agree. I'm just saying that despite having a pure branch, mathematics also has an applied branch which is used in engineering, and formally-proven applied mathematics suffers from the exact same risks of misuse as formally-verified software.
- ncmncm 7y agoOK, yes. Applied mathematics has the same sort of gap between model (axioms) and reality as between specification and actual requirements. In both places people confuse the two, and sometimes make unjustified claims for the second from justified confidence in only the first.