3 ms·

To be fair, Leslie Lamport is also a Mathematician (his PhD was in Math).

• 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 ago
    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.
    • deleted 12y ago
      [deleted]