Hacker News new | past | comments | ask | show | jobs | submit login

theoretical computer science is too pragmatic

we need abstract higher order theoretical computer science




Could you classify anything higher as mathematics?

In that sense, theoretical computer science would be a sort of "applied" mathematics


This.

But, maybe we can go even higher such that the material has zero pragmatic pay-off?


How much of research has zero pragmatic pay-off .. until it does ?

-- J. McCarthy circa. 1958




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

Search: