5 ms·

I'd argue for the converse: Computer Science is Mathematics

• practal 2y ago
  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.
  • hughesjj 2y ago
    Then we have the ghosts of information and category theories underpinning/influencing them all (including physics) (to some degree)
• naasking 2y ago
  > 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.
  • anthk 2y ago
    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 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/State_machine https://en.m.wikipedia.org/wiki/Control_theory https://en.m.wikipedia.org/wiki/Control_theory