> That said, I think when people speak of math, they speak of its application to the real-world, not the proofs. I think it very much depends on who the people

> That said, I think when people speak of math, they speak of its application to the real-world, not the proofs. I think it very much depends on who the people are. I'm a math teacher, and, when I speak of math, I definitely don't just mean its applications to the real world. I definitely think programming—in the sense of thinking about the craft, not just cudgelling the computer into doing what one wants—is good preparation for learning the proof-theoretic arts of mathematics.