A Quote by John Backus
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."
Quote Topics
Quote Author
Related Quotes
There was a seminar for advanced students in Zürich that I was teaching and von Neumann was in the class. I came to a certain theorem, and I said it is not proved and it may be difficult. Von Neumann didn't say anything but after five minutes he raised his hand. When I called on him he went to the blackboard and proceeded to write down the proof. After that I was afraid of von Neumann.
John von Neumann gave me an interesting idea: that you don't have to be responsible for the world that you're in. So I have developed a very powerful sense of social irresponsibility as a result of von Neumann's advice. It's made me a very happy man ever since. But it was von Neumann who put the seed in that grew into my active irresponsibility!
Pascal and C are special-purpose languages for manipulating the registers and memory of a von Neumann-style computer.
The establishment of formal standards for proofs about programs... and the proposal that the semantics of a programming language may be defined independently of all processors for that language, by establishing standards of rigor for proofs about programs in the language, appears to be novel.
... The approach of von Neumann and Connes to the use of non-commutative algebra in physics is naive, the situation is much more complicated.
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.
I think the most important work that is going on has to do with the search for very general and abstract features of what is sometimes called universal grammar: general properties of language that reflect a kind of biological necessity rather than logical necessity; that is, properties of language that are not logically necessary for such a system but which are essential invariant properties of human language and are known without learning. We know these properties but we don't learn them. We simply use our knowledge of these properties as the basis for learning.
John von Neumann was the only student I was ever afraid of.
My greatest concern was what to call it. I thought of calling it 'information,' but the word was overly used, so I decided to call it 'uncertainty.' When I discussed it with John von Neumann, he had a better idea. Von Neumann told me, 'You should call it entropy, for two reasons. In the first place your uncertainty function has been used in statistical mechanics under that name, so it already has a name. In the second place, and more important, no one really knows what entropy really is, so in a debate you will always have the advantage.'
In 1989, I was awarded the Von Neumann Prize in Operations Research Theory by the Operations Research Society of America and The Institute of Management Sciences. They cited my works in the areas of portfolio theory, sparse matrix techniques and the SIMSCRIPT programming language.
I do have a little setup at home. I use Pro Tools and a Neumann mic. Neumann's are my favorite.
There are two kinds of people in the world: Johnny Von Neumann and the rest of us.
All stable processes we shall predict. All unstable processes we shall control. Describing John von Neumann's aspiration for the application of computers sufficiently large to solve the problems of meteorology, despite the sensitivity of the weather to small perturbations.
We think only through the medium of words. Languages are true analytical methods. Algebra, which is adapted to its purpose in every species of expression, in the most simple, most exact, and best manner possible, is at the same time a language and an analytical method. The art of reasoning is nothing more than a language well arranged.
Music is language itself. It should not have any barriers of caste, creed, language or anything. Music is one, only cultures are different. Music is the language of languages. It is the ultimate mother of languages.
Contrary to conventional wisdom, dance is not a universal 'language' but many languages and dialects. There are close to 6000 verbal languages, and probably that many dance languages.
Related Authors
Austin O'Malley Quotes
American
Scientist
Carl Sagan Quotes
American
Scientist
Charles Darwin Quotes
English
Scientist
E. O. Wilson Quotes
American
Scientist
Georg C. Lichtenberg Quotes
German
Scientist
Isaac Asimov Quotes
American
Scientist
Jane Goodall Quotes
English
Scientist
Margaret Mead Quotes
American
Scientist
Nassim Nicholas Taleb Quotes
Lebanese
Scientist
Neil deGrasse Tyson Quotes
American
Scientist
Richard Dawkins Quotes
English
Scientist
Stephen Jay Gould Quotes
American
Scientist
Steven Pinker Quotes
Canadian
Scientist
Sylvia Earle Quotes
American
Scientist
Thomas Huxley Quotes
English
Scientist
W. Edwards Deming Quotes
American
Scientist