4 ms·
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 ow
by avmich 12y ago
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 12y agoI think it's about time theoretical computer science was considered a branch of pure mathematics. All we do in this field is prove theorems.
- deleted 12y ago[deleted]