"Do you have a source that supports you claim that CS has some of the best funding in academics and the most students? That doesn't seem likely to me." When I

"Do you have a source that supports you claim that CS has some of the best funding in academics and the most students? That doesn't seem likely to me." When I was a Big Ten prof, looked that way to me. From MIT, about all I hear about is the CS. Then some AI. Then some control theory. Then some optimization. For the math, is the department still there? When I was in grad school, the CS and EE departments were big deals, with lots of students and profs, and the math department hardly had the lights on. For students, the CS departments get lots that just want to learn programming to get jobs; the math departments nearly never get any such students. Physics tries to do math, but how badly they do it, and how they insist that students work effectively with physics with really bad math, is a solid part of the 'culture'. E.g., there is the Feynman statement about a particle uniformly distributed everywhere; sorry, Dick, no such can exist! There is also the joke, not far wrong, that in an appropriate math book, can do all the physics just in the footnotes. Net, nearly all the challenge of mathematical or theoretical physics is in the math, just the math. For such math, the math departments are way ahead; they hold all the big cards but refuse to play them! Your statement about logic and discrete math meaning that math should be part of computer science is like saying that painting in fine arts should be part of chemistry. Yes, math can be regarded as the 'logic' of just pushing symbols around, and maybe eventually more of such research will be automated via computers, but so far the symbol pushing doesn't have the real work. Or the joke is, the difference between algebra and analysis is that algebra is just pushing symbols around and analysis has some real ideas behind it. It's the ideas that are important.