Have you considered a career is stand up comedy? The quote from Dijkstra stands on its own...quoting a famous person stating something independently demonstrab

Have you considered a career is stand up comedy? The quote from Dijkstra stands on its own...quoting a famous person stating something independently demonstrable, does not magically turn the statement into an appeal to authority :-)) >> a man who was a major proponent of formal methods. No he was not, but you see, its irrelevant in the context of the argument you failed to defend. And Dijkstra fails your purity test. He himself wrote that he saw "no specific virtue in being a formalist" and would use formal methods "when I feel they help."