“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

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 "With the computer and programming languages, mathematics has newly-acquired tools, and its notation should be reviewed …" by Kenneth E. Iverson?
Kenneth E. Iverson photo
Kenneth E. Iverson 12
Canadian computer scientist 1920–2004

Related quotes

Kenneth E. Iverson photo

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

Kenneth E. Iverson photo

“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 (1920–2004) Canadian computer scientist

§0
Notation as a Tool of Thought (1979)

Kenneth E. Iverson photo

“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 (1920–2004) Canadian computer scientist

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

Kenneth E. Iverson photo

“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 (1920–2004) Canadian computer scientist

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

“The use of practically any computing technique itself raises a number of mathematical problems. There is thus a very considerable impact of computation on mathematics itself, and this may be expected to influence mathematical research to an increasing degree.”

George Forsythe (1917–1972) Stanford University computer scientist

George Forsythe (1958) cited in: Computers and people Vol 23. (1974). p. 11 Pagina 11

George Dantzig photo

“If the system exhibits a structure which can be represented by a mathematical equivalent, called a mathematical model, and if the objective can be also so quantified, then some computational method may be evolved for choosing the best schedule of actions among alternatives. Such use of mathematical models is termed mathematical programming.”

George Dantzig (1914–2005) American mathematician

Source: Linear programming and extensions (1963), p. 2

Kenneth E. Iverson photo

“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 (1920–2004) Canadian computer scientist

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

Doron Zeilberger photo

“Computer Algebra Systems are NOT the Devil but the new MESSIAH that will take us out of the current utterly trivial phase of human-made mathematics into the much deeper semi-trivial computer-generated phase of future mathematics. Even more important, Computer Algebra Systems will turn out to be much more than just a `tool', since the methodology of computer-assisted and computer-generated research will rule in the future, and will make past mathematics seem like alchemy and astrology, or, at best, theology.”

Doron Zeilberger (1950) Israeli mathematician
Seymour Papert photo

“In many schools today, the phrase "computer-aided instruction" means making the computer teach the child. One might say the computer is being used to program the child. In my vision, the child programs the computer and, in doing so, both acquires a sense of master over a piece of the most modern and powerful technology and establishes an intimate contact with some of the deepest ideas from science, from mathematics, and from the art of intellectual model building.”

Seymour Papert book Mindstorms: Children, Computers, and Powerful Ideas

Introduction
Mindstorms: Children, Computers, and Powerful Ideas (1980)

Seymour Papert photo

“A programming language is like a natural, human language in that it favors certain metaphors, images, and ways of thinking. The language used strongly colors the computer culture. It would seem to follow that educators interested in using computers and sensitive to cultural influences would pay particular attention to the choice of language. But nothing of the sort has happened. On the contrary, educators… have accepted certain programming languages in much the same way as they accepted the QWERTY keyboard. An informative example is the way in which the programming language BASIC has established itself as the obvious language to use in teaching children how to program computers… Today, and in fact for several years now, the cost of computer memory has fallen to the point where any remaining economic advantages of using BASIC are insignificant. Yet in most high schools, the language remains almost synonymous with programming, despite the existence of other computer languages that are demonstrably easier to learn and are richer in the intellectual benefits that can come from learning them. The situation is paradoxical. The computer revolution has scarcely begun, but is already breeding its own conservatism.”

Seymour Papert book Mindstorms: Children, Computers, and Powerful Ideas

Source: Mindstorms: Children, Computers, and Powerful Ideas (1980), Chapter 1, Computers and Computer Cultures

Related topics