Algebra Quote by John Backus

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…

— Kenneth E. Iverson

Before you generalize, formalize, and axiomatize there must be mathematical substance.

— Hermann Weyl

Most programming languages are decidedly inferior to mathematical notation and are little used as tools of thought in ways that would be considered significant…

— Kenneth E. Iverson

Languages are true analytical methods. Algebra, the means of expression which is the simplest, most exact and best adapted to its object, is both…

— Antoine Lavoisier

Before one can generalize, formalize, and axiomatize, there must be a mathematical substance.

— Hermann Weyl

Axiomatization is what one does last, it's rubbish. It's the hygiene of mathematics, axiomatization.

— Serge Lang

... The approach of von Neumann and Connes to the use of non-commutative algebra in physics is naive, the situation is much more complicated.

— Israel Gelfand

Abstraction generally involves implication, suggestion and mystery, rather than obvious description.

— Robert Genn

“The key to using abstraction effectively in programming is finding a notion of relevance that is appropriate for both the builder of an abstraction…

— John V. Guttag

The establishment of formal standards for proofs about programs... and the proposal that the semantics of a programming language may be defined independently of…

— Robert W. Floyd

Abstraction is an esoteric language.

— Eric Fischl

First, we want to establish the idea that a computer language is not just a way of getting a computer to perform operations but…

— Hal Abelson