23 ms·

I genuinely wonder what gave you this impression. Dijkstra made seminal contributions to at least three subfields of computer science: algorithms (his optimal s

I genuinely wonder what gave you this impression. Dijkstra made seminal contributions to at least three subfields of computer science: algorithms (his optimal shortest path algorithm), programming languages (ALGOL -with others, but still- and his "goto considered harmful" paper), and concurrency theory (semaphores), just to state the most well-known ones...

luizfzs 6y ago
I agree. I get the impression that he formalized several problems and provided a solution to them, e.g. the Dining Philosophers Problem: https://en.wikipedia.org/wiki/Dining_philosophers_problem https://en.wikipedia.org/wiki/Dining_philosophers_problem I think he is actually underrated. I'd have liked to be introduced to his proof notations during some formal courses on my CS formation, which was never mentioned.
- User23 6y ago
  His proof format is amazing. I've used it ever since I discovered it in one of the last EWDs.
deleted 6y ago
[deleted]