"As Edsger Dijkstra argued, formalism is not a burden, but a privilege."
Dijkstra explicitly defends the convenience of formal symbols as a privilege rather than a burden. This argument reinforces the chapter's claim that formal programming representations provide intellectual and engineering advantages beyond merely satisfying the execution requirements of computers.
View Source