"Von Neumann languages do not have useful properties for reasoning about programs. Axiomatic and denotational semantics are precise tools for describing and understanding conventional programs, but they only talk about them and cannot alter their ungainly properties. Unlike von Neumann languages, the language of ordinary algebra is suitable both for stating its laws and for transforming an equation into its solution, all within the "language.""

Previous Quote

How can you shorten the subject? That stern struggle with the multiplication table, for many people not yet ended in victory, how can you make it less? Square root, as obdurate as a hardwood stump in a pasturenothing but years of effort can extract it. You can't hurry the process. Or pass from arithmetic to algebra; you can't shoulder your way past quadratic equations or ripple through the binomial theorem. Instead, the other way; your feet are impeded in the tangled growth, your pace slackens, you sink and fall somewhere near the binomial theorem with the calculus in sight on the horizon.

— Stephen Leacock