Dijkstra argues that it is wasted effort to anthropomorphise your computing, and if you think of your code as "working" but "having bugs", as opposed to being "

Dijkstra argues that it is wasted effort to anthropomorphise your computing, and if you think of your code as "working" but "having bugs", as opposed to being "incorrect", well, that's how you get bugs. It was very Dijkstra to have claimed "Dijkstra Was Wrong" though. It's a much better statement than "an error crept Dijkstra's reasoning."