>>13784991I mean, the questions they ask and try to answer are different enough in scope. You're getting too much into semantics with the follow ups; who cares about nitpicky definitions. What matters is the meaning behind those definitions.
Logic makes sense.
Math is predicated on logic most of the time, so you could ask "what makes math not part of logic?" The answer is that it extends logic in a new direction and you fundamentally think of two different concept when you (or at least I) think of "math" vs. "logic"
CS is a similar extension/specialization of math and logic. It generally deals with turing machines/lambda calc and computational complexity; what is actually computable vs. pure math reasoning
It literally doesn't matter if you consider it part of math or not, it still gets its own topic name like "topology" or "real analysis" or "calculus"
