Not so narrow. I'd say it may contain all mathematics that is computable, which is a rather big subset. Essentially all constructive mathematics.
That's a lot of stuff. For example, probabilistic programming is concerned with all computable distributions. This is the most general class of sampleable distributions.
Narrow in a sense that it's one specific angle to view math problems. But the range of problems is indeed great; hell, parts of computer science have or may have direct relation to how we view reality itself.
That's a lot of stuff. For example, probabilistic programming is concerned with all computable distributions. This is the most general class of sampleable distributions.