“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 Backus

"Can Programming Be Liberated From the von Neumann Style?" http://dl.acm.org/ft_gateway.cfm?id=1283933&type=pdf, 1977 Turing Award Lecture, Communications of the ACM 21 (8), (August 1978): pp. 639-640

Adopted from Wikiquote. Last update June 3, 2021. History

Help us to complete the source, original and additional information

Do you have more details about the quote "Von Neumann languages do not have useful properties for reasoning about programs. Axiomatic and denotational semantics …" by John Backus?

John Backus 4

American computer scientist 1924–2007

Robert Floyd (1936–2001) American computer scientist

Source: Assigning Meanings to Programs http://www.cs.virginia.edu/~weimer/2007-615/reading/FloydMeaning.pdf (1967), pp. 19–20.

“The properties of executability and universality associated with programming languages can be combined, in a single language, with the well-known properties of mathematical notation which make it such an effective tool of thought.”

Kenneth E. Iverson (1920–2004) Canadian computer scientist

§5
Notation as a Tool of Thought (1979)

“Wilhelm von Humboldt… stated that the structure of language expresses the inner life of its speakers: "Man lives with the world about him, principally, indeed exclusively, as language presents it."”

Peter Farb (1929–1980) American academic and writer

Word Play (1974)

“… greatest single programming language ever designed. (About the Lisp programming language.)”

Alan Kay (1940) computer scientist

2003. Daddy, Are We There Yet? A Discussion with Alan Kay http://www.openp2p.com/pub/a/p2p/2003/04/03/alan_kay.html
2000s

“For twenty years programming languages have been steadily progressing toward their present condition of obesity; as a result, the study and invention of programming languages has lost much of its excitement. Instead, it is now the province of those who prefer to work with thick compendia of details rather than wrestle with new ideas. Discussions about programming languages often resemble medieval debates about the number of angels that can dance on the head of a pin instead of exciting contests between fundamentally differing concepts. Many creative computer scientists have retreated from inventing languages to inventing tools for describing them. Unfortunately, they have been largely content to apply their elegant new tools to studying the warts and moles of existing languages.”

John Backus (1924–2007) American computer scientist

"Can Programming Be Liberated From the von Neumann Style?" http://dl.acm.org/ft_gateway.cfm?id=1283933&type=pdf, 1977 Turing Award Lecture, Communications of the ACM 21 (8), (August 1978): p. 614

“With the computer and programming languages, mathematics has newly-acquired tools, and its notation should be reviewed in the light of them. The computer may, in effect, be used as a patient, precise, and knowledgeable "native speaker" of mathematical notation.”

Kenneth E. Iverson (1920–2004) Canadian computer scientist

Source: Math for the Layman (1999), Ch. 10, §D

“A mind of von Neumann's inexorable logic had to understand and accept much that most of us do not want to accept and do not even wish to understand.”

Eugene Paul Wigner (1902–1995) mathematician and Nobel Prize-winning physicist

Biographical memoir: "John von Neumann (1903 - 1957)" in Year book of the American Philosophical Society (1958); later in Symmetries and Reflections : Scientific Essays of Eugene P. Wigner (1967), p. 261
Context: A deep sense of humor and an unusual ability for telling stories and jokes endeared Johnny even to casual acquaintances. He could be blunt when necessary, but was never pompous. A mind of von Neumann's inexorable logic had to understand and accept much that most of us do not want to accept and do not even wish to understand. This fact colored many of von Neumann's moral judgments. "It is just as foolish to complain that people are selfish and treacherous as it is to complain that the magnetic field does not increase unless the electric field has a curl. Both are laws of nature." Only scientific intellectual dishonesty and misappropriation of scientific results could rouse his indignation and ire — but these did — and did almost equally whether he himself, or someone else, was wronged.

“[About Algol 68] The best we could do was to send with it a minority report, stating our considered view that, "… as a tool for the reliable creation of sophisticated programs, the language was a failure."”

C. A. R. Hoare (1934) British computer scientist

The Emperor's Old Clothes

“8: A programming language is low level when its programs require attention to the irrelevant.”

Alan Perlis Epigrams on Programming

Epigrams on Programming, 1982

“The English language is nobody's special property. It is the property of the imagination: it is the property of the language itself.”

Derek Walcott (1930–2017) Saint Lucian–Trinidadian poet and playwright

Interview with Ed Hirsch (1986), Writers at Work: The Paris Review Interviews, Eighth Series (Penguin, 1988)

Help us to complete the source, original and additional information

John Backus 4

Related quotes

Related topics