back
2 comments
> I'd argue for the converse: Computer Science is Mathematics

The space of programs is arguably larger than the space of mathematical systems, because programs can be logically inconsistent. This suggests that mathematics is a logically consistent subset of computer science, not the other way around.

And then you are wrong because everything now theorized into CS was already a thing in Math since long ago.

Lisp? Knuth and computation? Lambda Calculus did it before. ] https://en.m.wikipedia.org/wiki/Lambda_calculus

And, before computers, we had these:

https://en.m.wikipedia.org/wiki/State_machine

https://en.m.wikipedia.org/wiki/Control_theory

Let's just say there is a really big overlap between the two. And each one can learn from the point of view of the other.
Then we have the ghosts of information and category theories underpinning/influencing them all (including physics) (to some degree)