In mathematical training you learn how to prove the other proofs yourself.
It's not an #include <proof> kind of thing, someone else wrote the proof already and you should believe the proof is right. No, you need to understand the other proofs and be able to write them yourself.
I agree with you the mindsets should be closer, and in an ideal sense, CS is a part of Mathematics.
I mention this strong contrast, because I studied pure mathematics and I studied software engineering, and the mindsets are very different. Engineering is about results with a focus on not reinventing the wheel.
It's not an #include <proof> kind of thing, someone else wrote the proof already and you should believe the proof is right. No, you need to understand the other proofs and be able to write them yourself.
I agree with you the mindsets should be closer, and in an ideal sense, CS is a part of Mathematics.
I mention this strong contrast, because I studied pure mathematics and I studied software engineering, and the mindsets are very different. Engineering is about results with a focus on not reinventing the wheel.