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."
John BackusRelated topics
algebra alter conventional equation language ordinary reasoning solution stating talk transforming understanding ungainly unlike neumann laws semanticsRelated quotes
My toils in the quotation field have led me to formulate two or three laws about the way people use and abuse quotations. My first law is: When in doubt, ascribe all quotations to Bernard Shaw – which I don't mean to be taken literally, but as a general observation of the habit people have of attaching remarks to the nearest obvious speaker. Churchill, Wilde, Orson Welles and Alexander Woollcott are other useful figures upon whom to father remarks when you don't know who really said them.
Nigel Rees
The endeavor of scientific research to see events in their more general connection in order to determine their laws, is a legitimate and useful occupation. Any protest against such efforts, in the name of freefom from restrictive conditions, would be fruitless if science did not naïvely identify the abstractions called rules and laws with the actually efficacious forces, and confuse the probability that B will follow A with the actual effort make B follow A.
Max Horkheimer
For women, then, poetry is not a luxury. It is a vital necessity of our existence. It forms the quality of the light within which we predicate our hopes and dreams toward survival and change, first made into language, then into idea, then into more tangible action.Poetry is the way we help give name to the nameless so it can be thought. The farthest external horizons of our hopes and fears are cobbled by our poems, carved from the rock experiences of our daily lives.
Audre Lorde
If, even as the price to be paid for a fifth vote, I ever joined an opinion for the Court that began: "The Constitution promises liberty to all within its reach, a liberty that includes certain specific rights that allow persons, within a lawful realm, to define and express their identity,” I would hide my head in a bag. The Supreme Court of the United States has descended from the disciplined legal reasoning of John Marshall and Joseph Story to the mystical aphorisms of the fortune cookie.
Antonin Scalia
When you begin to read a poem you are entering a foreign country whose laws and language and life are a kind of translation of your own; but to accept it because its stews taste exactly like your old mother's hash, or to reject it because the owl-headed goddess of wisdom in its temple is fatter than the Statue of Liberty, is an equal mark of that want of imagination, that inaccessibility to experience, of which each of us who dies a natural death will die.
Randall Jarrell
