And "computer science is one of the hardest branches of applied mathematics" (wh... | Hacker News

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

		avmich on Jan 29, 2015 \| parent \| context \| favorite \| on: A Computer Scientist Tells Mathematicians How to W... And "computer science is one of the hardest branches of applied mathematics" (who's the author? Did Dijkstra said something like that?), so Lamport is in his own field.

j2kun on Jan 30, 2015 [–]

I think it's about time theoretical computer science was considered a branch of pure mathematics. All we do in this field is prove theorems.

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