4 ms·
> 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
by 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 agoAnd 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