5 ms·
Dijkstra's ideas (not just his contributions to math) survived despite his arrogance. The difference is that Wolfram's ideas are not testable.
by copperx 11y ago
Dijkstra's ideas (not just his contributions to math) survived despite his arrogance. The difference is that Wolfram's ideas are not testable.
- AnimalMuppet 11y agoDijkstra's ideas survive, but are (mostly) not used...
- maaku 11y agoI just coded an algorithm due to Dijkstra yesterday. His influence is very much alive...
- GFK_of_xmaspast 11y agoThere's a whole lot of structured programming going on these days.
- jerf 11y agoIndeed! I've got a blog post on deck that likens it to a fish in water; we all use it so thoroughly nowadays we don't even notice it because an unstructured programming language is almost inconceivable to us.
- AnimalMuppet 11y agoAh, yes, I had forgotten structured programming. Yes, it won and goto lost, and the world is better for it. What I was referring to, though, was what I think was Dijkstra's main idea: That programming should be done by a particular approach (the "postulational method") that allows/requires mathematical reasoning about code, and that code should be mathematically proven to be correct. That idea is used very little.