These devs don't need to. As long as they get work done, create `value', their skills are sufficient. Admittedly, there are times when people who know better ar

These devs don't need to. As long as they get work done, create `value', their skills are sufficient. Admittedly, there are times when people who know better are needed for specific tasks and that's why we are paid better. Proof by induction is more akin to for-loop than optimized sort algorithms. It's often taught in the first mathematics course that includes proofs which can be Calculus II or even Linear Algebra. I would be surprised if a Math student did not learn it by their first Analysis course.