A very good way of thinking about this stuff is to think of the computer as the mathematicians' microscope which helps mathematicians peer into the world of computation, and then mathematics itself is the science that studies the phenomena observed in that world of computation. The "science of phenomena observable in the world of computation" includes all of the mathematics that helps us reason about the real world.