Of course these terms aren’t well-defined, but some (me) would say both math and CS are subfields of “formal systems” (but “formal systems” could be named CS, which would put it at the top of the hierarchy)
The Joy computer language and Scheme with SICP are prime examples.
Reading SICP it's the 'easy way' and the Joy docs plus trying to code even simple
as a quadratic eqn solver it's a deep, hard task which requires lots of knowledge on cathegory theory.
Reading SICP it's the 'easy way' and the Joy docs plus trying to code even simple as a quadratic eqn solver it's a deep, hard task which requires lots of knowledge on cathegory theory.