1. Citations
  2. Auteurs
  3. Kenneth Iverson

Kenneth Iverson citations

Kenneth Eugene Iverson fut un informaticien connu pour l'invention des langages APL et J. Il devint IBM Fellow dès 1970 et en 1979, il fut récompensé par le prix Turing pour ses travaux théoriques reliant les langages de programmation et la notation mathématique, ces mêmes travaux ayant abouti au langage APL.

Ce langage, implémenté en 1969, était totalement révolutionnaire à son époque et le reste encore par certains de ses aspects.

Aujourd'hui, le prix Iverson récompense les améliorations apportées à APL. Wikipedia  

✵ 17. décembre 1920 – 19. octobre 2004
Kenneth Iverson photo
Kenneth Iverson: 12   citations 0   J'aime

Kenneth Iverson: Citations en anglais

“The utility of a language as a tool of thought increases with the range of topics it can treat, but decreases with the amount of vocabulary and the complexity of grammatical rules which the user must keep in mind. Economy of notation is therefore important.”

Help us translate this quote
Kenneth E. Iverson

§1.4
Notation as a Tool of Thought (1979)

“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.”

Help us translate this quote
Kenneth E. Iverson

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

“I was appalled to find that the mathematical notation on which I had been raised failed to fill the needs of the courses I was assigned, and I began work on extensions to notation that might serve. In particular, I adopted the matrix algebra used in my thesis work, the systematic use of matrices and higher-dimensional arrays (almost) learned in a course in Tensor Analysis rashly taken in my third year at Queen’s, and (eventually) the notion of Operators in the sense introduced by Heaviside in his treatment of Maxwell’s equations.”

Help us translate this quote
Kenneth E. Iverson

"Kenneth E. Iverson" http://keiapl.info/rhui/autobio.htm, autobiographical sketch from an unfinished work (ca. 2004), on his experience at Harvard with "a Masters program in Automatic Data Processing in 1955; in effect, the first computer science program."

“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.”

Help us translate this quote
Kenneth E. Iverson

§5
Notation as a Tool of Thought (1979)

“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.”

Help us translate this quote
Kenneth E. Iverson

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

“The practice of first developing a clear and precise definition of a process without regard for efficiency, and then using it as a guide and a test in exploring equivalent processes possessing other characteristics, such as greater efficiency, is very common in mathematics. It is a very fruitful practice which should not be blighted by premature emphasis on efficiency in computer execution.”

Help us translate this quote
Kenneth E. Iverson

§5.4
Notation as a Tool of Thought (1979)

“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.”

Help us translate this quote
Kenneth E. Iverson

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

“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.”

Help us translate this quote
Kenneth E. Iverson

§0
Notation as a Tool of Thought (1979)

“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.”

Help us translate this quote
Kenneth E. Iverson

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

“It is important to distinguish the difficulty of describing and learning a piece of notation from the difficulty of mastering its implications. […] Indeed, the very suggestiveness of a notation may make it seem harder to learn because of the many properties it suggests for exploration.”

Help us translate this quote
Kenneth E. Iverson

§5.2
Notation as a Tool of Thought (1979)

“If it is to be effective as a tool of thought, a notation must allow convenient expression not only of notions arising directly from a problem, but also of those arising in subsequent analysis, generalization, and specialization.”

Help us translate this quote
Kenneth E. Iverson

§1.1
Notation as a Tool of Thought (1979)

“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.”

Help us translate this quote
Kenneth E. Iverson

§5.4
Notation as a Tool of Thought (1979)

Auteurs similaires

Nikola Tesla photo
Nikola Tesla 1
inventeur et ingénieur serbe
Noam Chomsky photo
Noam Chomsky 37
linguiste et philosophe américain
Louis-Ferdinand Céline photo
Louis-Ferdinand Céline 68
écrivain et médecin français
George Carlin photo
George Carlin 35
humoriste américain
Ludwig Wittgenstein photo
Ludwig Wittgenstein 28
philosophe et logicien autrichien, puis britannique
Jacques Prévert photo
Jacques Prévert 20
poète et scénariste français
Frank Zappa photo
Frank Zappa 8
musicien américain
George Orwell photo
George Orwell 27
écrivain britannique
Paulo Freire photo
Paulo Freire 3
pédagogue et philosophe
William Faulkner photo
William Faulkner 18
écrivain américain