> I'd argue for the converse: Computer Science is Mathematics The space of progr... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		naasking on Dec 13, 2024 \| parent \| context \| favorite \| on: Fermat's Last Theorem – how it’s going > 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 on Dec 14, 2024 [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact