Most Irreal readers probably know the name Dijkstra, if only from his famous letter to the ACM entitled \u201cGo To Statement Considered Harmful\u201d and his celebrated shortest path algorithm. In fact, Edsger Wybe Dijkstra was a giant in the field of Computer Science, A Turing Award winner, and a significant contributor to both the engineering and theoretical sides of Computer Science.<\/p>\n
Krzysztof Apt has a long and interesting biographical article about Dijkstra<\/a> in Inference<\/a>. Although he was an astoundingly successful academic, Dijkstra didn\u2019t do much formal publishing. Rather, he preferred to publish much of his work in private reports that he numbered consecutively and prefixed with his initials. There were 1,318 such reports totaling over 7,700 pages. He\u2019d typically send photocopied copies of each report to about 20 colleagues chosen depending on the report\u2019s subject matter.<\/p>\n Dijkstra was interested in formal methods and in particular about writing correct programs. He thought programming should be approached like Mathematics and that every program should come with a formal proof of correctness. He was, according to Apt, a friendly and personable man but his rigidly held views could be off-putting and were often interpreted as arrogance.<\/p>\n Apt\u2019s article has many interesting vignettes from Dijkstra\u2019s life including the fact that when he married he listed his profession as Programmer on the marriage license. The Dutch authorities rejected that on the grounds that there was no such profession. Most surprising of all, perhaps, is that the famous \u201cconsidered harmful\u201d phrase did not originate with him but was from Niklaus Wirth, an editor of the ACM at the time the letter was published. Dijkstra\u2019s original title was \u201cA Case against the GO TO Statement.\u201d<\/p>\n If you have any interested at all in the history of our field\u2014and, really, you should\u2014you\u2019ll want to read Apt\u2019s article. It full of interesting facts you didn\u2019t know.<\/p>\n","protected":false},"excerpt":{"rendered":" Most Irreal readers probably know the name Dijkstra, if only from his famous letter to the ACM entitled \u201cGo To Statement Considered Harmful\u201d and his celebrated shortest path algorithm. In fact, Edsger Wybe Dijkstra was a giant in the field … Continue reading