News for hackers. Stuff that matters.
Re:Dijkstra's Algorithm by Jtsummers on Thursday November 10, 2016 @06:52AM (#12919639)
https://www.cs.utexas.edu/~EWD/ewd12xx/EWD1255.PDF

At least one instance of using pictures to illustrate things.

Your quote is about being opposed to weak (informal, hard to show correctness or make consistent across the range of things he wanted to prove) proofs by diagramming, where he wanted more formal reasoning.

The man was no fool, in at least some of his presentations I've seen (videos) he also used diagrams and pictures to illustrate things. They're necessary on occasion.

EDIT: Typos from trying to comment from my phone.

There are no comments on this comment yet.