I will say that when I was in computer science the courses did a much better job of training intuitions about the constructs you were working with. My best guess is that there was something of an engineering mindset in that department that was missing from the math department.
Yeah, it’s very curious that in some sense the best math textbook I ever read is a computer science textbook (Sipser’s Introduction to the Theory of Computation). Among other things, before his proofs he generally gives proof sketches describing the high-level ideas and conceptual moves in the proof, which is great and way more people should be doing it.
Yeah, it’s very curious that in some sense the best math textbook I ever read is a computer science textbook (Sipser’s Introduction to the Theory of Computation). Among other things, before his proofs he generally gives proof sketches describing the high-level ideas and conceptual moves in the proof, which is great and way more people should be doing it.