> People go into CS to get jobs in software engineering. This is misguided.
> CS is really a mathematics major,
This is true in many departments, and it's wrong imo. The reasons for the math focus are historical and they perpetuated, probably due to the way hiring was done -- the current math-inclined profs hired other math-inclined profs.
But it should change. I would argue that CS degrees should decrease the math focus and should really train for SWE.
Edit: The match-centric major should just be a subfield of CS, say Theoretical Computer Science.