3 ms·
In math, you usually need to prove said simplifications. So just memorizing is not enough. As you get more advanced, you then start swapping out axioms.
by catlifeonmars 1y ago
In math, you usually need to prove said simplifications. So just memorizing is not enough. As you get more advanced, you then start swapping out axioms.
- Jensson 1y agoIn programming the simplifications has to be correct even if you don't prove them, and being correct isn't that easy.
- catlifeonmars 1y agoPedantic: how do you know something is correct without proving it? How do you know you have covered all possible edge cases? /Pedantic In all seriousness, the intersection between correctness and project delivery is where engineering sits. Solutions must be good enough, correct enough, and cheap enough to fit the use case, but ideally no more than that.