Math is at it's broadest the study of formal systems. Computer science is the study of a particular formal system. While it is a powerful enough system to contain all of math within it, there are many such systems nested within each other. Is the Turing machine formalism more powerful? No. Is it more efficient or intuitive? Also no. It requires axiomatic reasoning to construct, and then reproduces it internally. Math and CS are set equal, but one predefines an entry point and the other does not. From the human perspective math gives rise to CS, which is just one of math's many children.

CS only involves computable numbers ( Turing ) which are a subset of real numbers. By definition CS is a subset of math, not vice versa.

But the real numbers cannot be faithfully represented in a computer!