Kenneth E. Iverson: Program

Kenneth E. Iverson was Canadian computer scientist. Explore interesting quotes on program.
Kenneth E. Iverson: 24   quotes 0   likes

“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

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

Mathematics , Knowledge , Light

“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

§5
Notation as a Tool of Thought (1979)

Mathematics , Universe

“The precision provided (or enforced) by programming languages and their execution can identify lacunas, ambiguities, and other areas of potential confusion in conventional [mathematical] notation.”

Kenneth E. Iverson

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

Mathematics

“Although mathematical notation undoubtedly possesses parsing rules, they are rather loose, sometimes contradictory, and seldom clearly stated. […] The proliferation of programming languages shows no more uniformity than mathematics. Nevertheless, programming languages do bring a different perspective. […] Because of their application to a broad range of topics, their strict grammar, and their strict interpretation, programming languages can provide new insights into mathematical notation.”

Kenneth E. Iverson

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

Mathematics

“Most programming languages are decidedly inferior to mathematical notation and are little used as tools of thought in ways that would be considered significant by, say, an applied mathematician.”

Kenneth E. Iverson

§0
Notation as a Tool of Thought (1979)

Way , Mathematics

“The initial motive for developing APL was to provide a tool for writing and teaching. Although APL has been exploited mostly in commercial programming, I continue to believe that its most important use remains to be exploited: as a simple, precise, executable notation for the teaching of a wide range of subjects.”

Kenneth E. Iverson

"A Personal View of APL", IBM Systems Journal, 30 (4), 1991

Motivation

“Overemphasis of efficiency leads to an unfortunate circularity in design: for reasons of efficiency early programming languages reflected the characteristics of the early computers, and each generation of computers reflects the needs of the programming languages of the preceding generation.”

Kenneth E. Iverson

§5.4
Notation as a Tool of Thought (1979)