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


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