V.I. Arnold: On Teaching Mathematics

Print


Assembled by J.D.M. Rademacher

“On teaching mathematics” by V.I. Arnold is an extended version of a talk given in 1997. In its broader criticisms, the SIAM/DS community is perhaps concerned to a lesser degree than others. But certainly the teaching of calculus, which is one of its major themes, is something we all care about -- and Arnold draws on a few examples from dynamics. Concerning the teaching of topics in dynamics, do not miss the DSWeb teaching materials and its 2013 competition winners.

Arnold's article has caused a number of reactions and is regularly cited as a resource on teaching mathematics and the relation to physics. In a proceedings article by David Hestenes of a conference on "Modelling in Physics and Physics Education", the author supports Arnold's claims. We also point out an explicit reaction by Kapil Hari Paranjape from the Indian Institute of Science Education and Research in 2003, the (resolved) calculus book challenge in Jim Cliborn's Blog, and an article on teaching mathematics by S.L. Lee from the National University of Singapore in 2003. Arnold's catchy first phrase actually made it into a chapter quote: page one in this article by V.V. Kisil. Further citations, also in the education community, can be found through google scholar, which currently counts 52 citations.

An interesting result from a websearch for related material is a 1961 UK based report concerning problems in the teaching of mathematics with the same main title and subtitle: Can Britain survive in a technological age?

 

For some information on V.I. Arnold we refer to the Wikipedia entry and references therein. On his passing away in 2010, DSWeb published this note and the AMS Notices feature this obituary as well as this tribute from 2012.

The talk out of which the article below emerged was held in 1997, the year of Arnold's 60th birthday, celebrated at the Arnoldfest; see also Yakovenko's blog on teaching Mathematics with pictures. In that year Arnold also gave this interview for the AMS Notices, which is a good parallel read, as is the book review for "Arnolds problems" by S. Tabachnikov.

Before leaving the stage for Arnold, a final reference: "

Mathematics and physics: mother and daughter or sisters?

" by V.I. Arnold, published in 1999.

 

 

 

The following article is reprinted with kind permission by Russian Mathematical Surveys.
It was originally published in: Uspekhi Mat. Nauk 53 (1998), no. 1, 229-234; with the english translation (by A.V. Goryunov): V I Arnol'd, "On teaching mathematics", RUSS MATH SURV, 1998, 53 (1), 229–236.
All internet links and comments on these in square brackets, and all pictures were added by the editor of this DSWeb entry.

 


 

On teaching mathematics

by V.I. Arnold


Arnol'd in 1997 at his 60th birthday celebration in Canada. Photo source.

This is an extended text of an address at a discussion on the teaching
of mathematics in Palais de Découverte in Paris on 7 March 1997.

Mathematics is a part of physics. Physics is an experimental science, a part of natural science. Mathematics is the part of physics where experiments are cheap.

The Jacobi identity (which forces the altitudes of a triangle to meet in a point) is an experimental fact in the same way as the fact that the earth is round (that is, homeomorphic to a ball). But it can be discovered with less expense.

In the middle of the twentieth century an attempt was made to separate physics and mathematics. The consequences turned out to be catastrophic. Whole generations of mathematicians grew up without knowing half of their science and, of course, in total ignorance of any other sciences. They first began teaching their ugly scholastic pseudo-mathematics to their students, then to schoolchildren (forgetting Hardy’s warning that ugly mathematics has no permanent place under the sun).

Since scholastic mathematics that is cut off from physics is fit neither for teaching nor for application in any other science, the result was a universal hatred of mathematicians, both on the part of the poor schoolchildren (some of whom in the meantime became ministers) and of the users.

The ugly building constructed by undereducated mathematicians who were exhausted by their inferiority complexes and who were unable to make themselves familiar with physics, reminds one of the rigorous axiomatic theory of odd numbers. Obviously, it is possible to create such a theory and make pupils admire the perfection and internal consistency of the resulting structure (in which, for example, the sum of an odd number of terms and the product of any number of factors are defined). From this sectarian point of view, even numbers could either be declared a heresy or, with the passage of time, be introduced into the theory supplemented with a few “ideal” ob jects (in order to comply with the needs of physics and the real world).

Unfortunately, it was an ugly twisted construction of mathematics like the one above which predominated in the teaching of mathematics for decades. Having originated in France, this perversity quickly spread to the teaching of foundations of mathematics, first to university students, then to school children in all specializations (first in France, then in other countries, including Russia).

To the question “what is 2 + 3” a French primary school pupil replied “3 + 2, since addition is commutative”. He did not know what the sum was equal to and could not even understand what was being asked!

Another French pupil (quite rational, in my opinion) defined mathematics as follows: “there is a square, but that still has to be proved”.

Judging by my teaching experience in France, the university students’ idea of mathematics (even those taught mathematics at the Ecole Normale Supérieure: I am sorriest of all for these obviously intelligent but deformed young people) is as poor as that of this pupil.

For example, these students have never seen a paraboloid and a question about the shape of the surface given by the equation xy = z 2 puts the mathematicians studying at ENS into a stupour. Drawing a curve given by parametric equations (like $x = t^3 − 3t, y = t^4 − 2t^2$) on a plane is a totally impossible problem for them (and, probably, even for most French professors of mathematics).

Title page of 2nd edition from google books,
where the entire preface can be read.

Beginning with l’Hôspital’s first textbook on calculus (“calculus for understanding curved lines”) and continuing roughly until Goursat’s textbook, the ability to solve such problems was considered (along with knowledge of the times tables) to be a necessary part of the craft of every mathematician.

Mentally challenged zealots of “abstract mathematics” removed all the geometry (whereby connections with physics and reality most often occur in mathematics) from the curriculum. The calculus textbooks by Goursat, Hermite and Picard were recently dumped by the student library of the Universities Paris 6 and 7 (Jussieu) as obsolete and, therefore, harmful (they were only rescued by my intervention).

ENS students who have sat through courses on differential and algebraic geometry (read by respected mathematicians) turned out be acquainted neither with the Riemann surface of the elliptic curve $y^2 = x^3 + ax + b$ nor even with the topological classification of surfaces (not to mention elliptic integrals of the first kind and the group property of an elliptic curve, that is, the Euler-Abel addition theorem). They were only taught Hodge structures and Jacobian varieties!

How could this happen in France, which gave the world Lagrange and Laplace, Cauchy and Poincaré, Leray and Thom? It seems to me that a reasonable explanation was given by I. G. Petrovskii, who taught me in 1966: genuine mathematicians do not gang up, but the weak need gangs in order to survive. They can unite on various grounds (it could be super-abstraction, anti-Semitism or “applied and industrial” problems), but the essence is always the solution of a social problem: survival in conditions of more literate surroundings.

By the way, I shall remind you of a warning given by Pasteur: there never have been and never will be any “applied sciences”, there are only applications of sciences (quite useful ones!).

In those days I treated Petrovskii’s words with some doubt, but now I am becoming more and more convinced of how right he was. A considerable part of superabstract activity simply boils down to industrializing the shameless grabbing of discoveries from discoverers and then systematically assigning them to epigons– generalizers. Just as America is not named after Columbus, mathematical results are almost never called by the names of their discoverers.

In order to avoid being misquoted, I have to note that for some unknown reason my own achievements have never been expropriated in this way, although this was constantly happening both to my teachers (Kolmogorov, Petrovskii, Pontryagin, Rokhlin) and to my pupils. Professor M. Berry once formulated the following two principles.

The Arnold Principle. If a notion bears a personal name, then this name is not the name of the discoverer.

The Berry Principle. The Arnold Principle is applicable to itself.

It is, however, time to go back to the teaching of mathematics in France.

When I was a first-year student in the Faculty of Mechanics and Mathematics at Moscow State University, the lectures on calculus were read by the set-theoretic topologist L. A. Tumarkin, who conscientiously retold the old classical calculus course of French type in the Goursat version. He told us that integrals of rational functions along algebraic curves can be taken if the corresponding Riemann surface is a sphere and, generally speaking, cannot be taken if its genus is higher, and that for sphericity it is sufficient to have a sufficiently large number of double points on the curve of a given degree (which forces the curve to be unicursal: it is possible to draw its real points on the pro jective plane without lifting the pen from the paper).

These facts capture the imagination to the extent that (even when given without any proofs) they give a better and more correct idea of modern mathematics than all the volumes of the Bourbaki treatise. Indeed, here we discover the existence of a wonderful connection between things which seem to be completely different: on the one hand, the existence of an explicit expression for the integrals and the topology of the corresponding Riemann surface and, on the other hand, the number of double points and the genus of the corresponding Riemann surface, which also exhibits itself in the real domain in the form of unicursality.

Jacobi noted the most fascinating property of mathematics, that in it one and the same function controls both the presentations of an integer as a sum of four squares and the real movement of a pendulum.

These discoveries of connections between heterogeneous mathematical ob jects can be compared with the discovery of the connection between electricity and magnetism in physics or with the discovery of the similarity in the geology of the east coast of America and the west coast of Africa.

The emotional significance of such discoveries for teaching is difficult to overestimate. It is they who teach us to search and find such wonderful phenomena of harmony in the universe.

The de-geometrization of mathematical education and the divorce from physics sever these ties. For example, not only students but also modern algebraic geometers on the whole do not know the fact, observed here by Jacobi, that an elliptic integral of the first kind expresses the time of motion along an elliptic phase curve in the corresponding Hamiltonian system.

Rephrasing the famous words on the electron and the atom, it can be said that a hypocycloid is as inexhaustible as an ideal in a polynomial ring. But teaching ideals to students who have never seen a hypocycloid is as ridiculous as teaching addition of fractions to children who have never cut (at least mentally) a cake or an apple into equal parts. No wonder that children prefer to add a numerator to a numerator and a denominator to a denominator.

From my French friends I have heard that a tendency towards super-abstract generalizations is their traditional national trait. I do not entirely disagree that this might be a question of a hereditary disease, but I would like to underline the fact that I borrowed the cake-and-apple example from Poincaré.

The scheme of construction of a mathematical theory is exactly the same as that in any other natural science. First we consider some ob jects and make some observations in special cases. Then we try and find the limits of application of our observations by seeking counter-examples to prevent the unjustified extension of our observations to too wide a range of events (example: the number of partitions of the consecutive odd numbers 1, 3, 5, 7, 9 into an odd number of summands gives the sequence 1, 2, 4, 8, 16, but then comes 29).

As a result we formulate the empirical discovery that we have made (for example, Fermat’s conjecture or Poincaré’s conjecture) as clearly as possible. After this there comes the difficult period of checking the reliability of the conclusions obtained.

At the Arnoldfest. Taken from <a target="external" href="http://www.ams.org/notices/201203/rtx120300378p.pdf ">AMS tribute article.

At this point a special technique has been developed in mathematics. This technique, when applied to the real world, is sometimes useful, but can sometimes also lead to self-deception. This technique is called modelling. When constructing a model, the following idealization is made: certain facts which are only known with a certain degree of probability or with a certain degree of accuracy, are considered to be “absolutely” correct and are accepted as “axioms”. The sense of this “absoluteness” lies precisely in the fact that we allow ourselves to operate with these “facts” according to the rules of formal logic, in the process declaring as “theorems” all that we can derive from them.

It is obvious that in any real-life activity it is impossible to place total reliance on such deductions, if only because the parameters of the phenomena studied are never known absolutely exactly and a small change in parameters (for example, in the initial conditions of a process) can totally change the result. It is for this reason that a reliable long-term weather forecast is impossible and will remain impossible, no matter how much we develop computers and devices which record initial conditions.

In exactly the same way a small change in the axioms (of which we cannot be completely sure) is capable, generally speaking, of leading to completely different conclusions from those that are obtained from theorems which have been deduced from the accepted axioms. The longer and fancier the chain of deductions (“proofs”), the less reliable is the final result.

Complex models are rarely useful (except for those writing their dissertations).

The mathematical technique of modelling consists in ignoring this trouble and speaking about your deductive model as if it coincided with reality. The fact that this path, which is obviously incorrect from the point of view of natural science, often leads to useful results in physics is called “the inconceivable effectiveness of mathematics in the natural sciences” (or “the Wigner principle”).

Here we can add a remark by I. M. Gel’fand: there exists another phenomenon comparable in its inconceivability with the inconceivable effectiveness of mathematics in physics noted by Wigner, and that is the equally inconceivable ineffectiveness of mathematics in biology.

“The subtle poison of mathematical education” (in F. Klein’s words) for a physicist consists precisely in that the absolutized model is separated from reality and is no longer comparable with it. Here is a simple example. Mathematics teaches us that the solution of the Malthus equation $dx/dt = x$ is uniquely determined by the initial conditions (that is, that the corresponding integral curves in the $(t, x)$-plane do not intersect). This conclusion of the mathematical model bears little relevance to reality. A computer experiment shows that all these integral curves have common points on the negative t-semi-axis. Thus, curves with the initial conditions $x(0) = 0$ and $x(0) = 1$ practically intersect at $t = 10$, and at $t = 100$ you cannot fit in an atom between them. Properties of the space at such small distances are not described at all by Euclidean geometry. The application of the uniqueness theorem in this situation obviously exceeds the accuracy of the model. This has to be respected in practical applications of the model, otherwise one might find oneself in serious trouble.

I would like to note, however, that the same uniqueness theorem explains why the final stage of mooring a ship to a quay is carried out manually: on steering if the velocity of approach were defined as a smooth (linear) function of the distance, the process of mooring would require an infinitely long period of time. The alternative is an impact with the quay (which is damped by suitable non-ideally elastic bodies). Incidentally, this problem had to be seriously confronted when landing the first descending apparatus on the Moon and Mars, and also when docking with space stations; here the uniqueness theorem is working against us.

Unfortunately, neither such examples nor discussion of the danger of fetishising theorems are to be found in modern mathematical textbooks, even the better ones. I even get the impression that scholastic mathematicians (who have little knowledge of physics) believe in the principal difference of axiomatic mathematics from the modelling which is common in natural science and which always requires the subsequent checking of deductions by an experiment.

Not to mention the relative character of initial axioms, one cannot ignore the inevitability of logical mistakes in long arguments (say, in the form of a computer breakdown caused by cosmic rays or quantum oscillations). Every working mathematician knows that, without some form of control (best of all by examples), after some ten pages half the signs in formulae will be wrong and twos will find their way from denominators into numerators.

The technology of combatting such errors is the same external control by experiments or observations as is to be found in any experimental science, and it should be taught from the very beginning to all juniors in schools.

Attempts to create “pure” deductive-axiomatic mathematics have led to the rejection of the scheme used in physics (observation, model, investigation of the model, conclusions, testing by observations) and its replacement by the scheme definition, theorem, proof. It is impossible to understand an unmotivated definition but this does not stop the criminal algebraist-axiomatizers. For example, they would readily define the product of natural numbers by means of the long multiplication rule. Then the commutativity of multiplication becomes difficult to prove but it is still possible to deduce it as a theorem from the axioms. It is then possible to force poor students to learn this theorem and its proof (with the aim of bolstering the authority of both the science and the persons teaching it). It is obvious that such definitions and proofs can do nothing but harm to the teaching and practical work.

It is only possible to understand the commutativity of multiplication by counting and re-counting soldiers by ranks and files or by calculating the area of a rectangle in two ways. Any attempt to do without this interference by physics and reality with mathematics is sectarian and isolationist, and destroys the image of mathematics as a useful human activity in the eyes of all sensible people.

I shall reveal a few more such secrets (in the interest of poor students).

The determinant of a matrix is the (oriented) volume of the parallelepiped whose edges are its columns. If students are told this secret (which is carefully hidden in purified algebraic education), then the whole theory of determinants becomes a clear chapter of the theory of multilinear forms. If determinants are defined otherwise, then any sensible person will forever hate all determinants, Jacobians and the implicit function theorem.

What is a group ? Algebraists teach that this is supposedly a set with two operations that satisfy a load of easily-forgettable axioms. This definition provokes a natural protest: why would any sensible person need such pairs of operations? “Oh, curse this maths” concludes the student (who, possibly, becomes the Minister for Science in the future).

We get a totally different situation if we start off not with the group but with the concept of a transformation (a one-to-one mapping of a set onto itself ) as was done historically. A collection of transformations of a set is called a group if along with any two transformations it contains the result of their consecutive application, and along with any transformation its inverse.

This is the entire definition. The so-called “axioms” are in fact just (obvious) properties of groups of transformations. What axiomatizers call “abstract groups” are just groups of transformations of various sets considered up to isomorphism (a one-to-one mapping preserving the operations). As Cayley proved, there are no “more abstract” groups in the world. So why do the algebraists keep on tormenting students with the abstract definition?


Problems for children from 5 to 15

By the way, in the 1960s I taught group theory to Moscow schoolchildren. Avoiding all the axiomatics and staying as close as possible to physics, in half a year I reached Abel’s theorem on the insolubility of a general equation of degree five by radicals (having on the way taught the pupils complex numbers, Riemann surfaces, fundamental groups and monodromy groups of algebraic functions). This course was later published by one of the audience, V. Alekseev, as a book: Abel’s theorem via problems [english translation].

What is a smooth manifold? In a recent American book I read that Poincaré was not acquainted with this notion (which he himself introduced) and that the “modern” definition was only given by Veblen in the late 1920s: a manifold is a topological space which satisfies a long series of axioms.

For what sins must students try and find their way through all these twists and turns? Actually, in Poincaré’s Analysis Situs there is an absolutely clear definition of a smooth manifold which is much more useful than the “abstract” one.

A smooth k-dimensional submanifold of the Euclidean space $R^N$ is a subset which in a neighbourhood of each of its points is the graph of a smooth mapping of $R^k$ into $R^{N-k}$ (where $R^k$ and $R^{N-k}$ are coordinate subspaces). This is a straightforward generalization of the commonest smooth curves on the plane (such as the circle $x^2 + y^2 = 1$) and of curves and surfaces in three-dimensional space.

Between smooth manifolds are naturally defined smooth mappings. Diffeomorphisms are mappings which, together with their inverses, are smooth.

An “abstract” smooth manifold is a smooth submanifold of a Euclidean space considered up to diffeomorphism. There are no “more abstract” finite-dimensional smooth manifolds in the world (Whitney’s theorem). Why do we keep on tormenting students with the abstract definition? Would it not be better to prove for them the theorem on the explicit classification of closed two-dimensional manifolds (surfaces)?

It is this wonderful theorem (which asserts, for example, that any compact connected oriented surface is a sphere with a number of handles) that gives a correct impression of what modern mathematics is, and not the super-abstract generalizations of naïve submanifolds of a Euclidean space which in fact do not give anything new and are presented as achievements of the axiomatizers.

The theorem on the classification of surfaces is a top-class mathematical achievement, comparable with the discovery of America or X-rays. This is a genuine discovery of mathematical natural science and it is even difficult to say whether the fact itself is more attributable to physics or to mathematics. In its significance for both applications and the development of the right Weltanschauung it by far surpasses such “achievements” of mathematics as the proof of Fermat’s last theorem or the proof of the fact that any sufficiently large whole number can be represented as the sum of three primes.

For the sake of publicity modern mathematicians sometimes present such sporting achievements as the last word in their science. Understandably this not only does not contribute to society’s appreciation of mathematics but, on the contrary, causes a healthy distrust of the necessity of wasting energy on (rock-climbing-type) exercises with such exotic questions of interest to no-one.

The theorem on the classification of surfaces should be included in high school mathematics courses (probably, without proof ), but for some reason is not even included in university mathematics courses (from which in France, by the way, all geometry has been banished in recent decades).

Foto taken from Jim Cliborn's blog.

The return of mathematical teaching at all levels from scholastic chatter to presenting the important domain of natural science is the main current problem for France. I was astonished to learn that all the mathematical books with the best and most important methodical approach are almost unknown to students here (and apparently have not been translated into French). Among these are Numbers and figures [Translation title "The enjoyment of mathematics"] by Rademacher and Toeplitz, Geometry and the imagination by Hilbert and Cohn-Vossen, What is mathematics? by Courant and Robbins, How to solve it and Mathematics and plausible reasoning by Polya, and Development of mathematics in the nineteenth century by F. Klein.

Foto taken from archive scan.

I remember well what a strong impression Hermite’s calculus course (which does exist in Russian translation!) made on me in my school years.

Riemann surfaces appear in it, I think, in one of the first lectures (all the analysis is, of course, complex, as it should be). Asymptotics of integrals are investigated by means of path deformations on Riemann surfaces under the motion of branch points (nowadays, we would call this Picard-Lefschetz theory). Picard, by the way, was Hermite’s son-in-law; mathematical abilities are often inherited by sons-in-law: the dynasty Hadamard, P. Levy, L. Schwarz, U. Frisch is another famous example in the Paris Academy of Sciences.

Hermite’s “obsolete” course of one hundred years ago (now probably discarded from student libraries of French universities) was much more modern than the very boring calculus textbooks with which students are nowadays tormented. If mathematicians do not come to their senses, then the consumers, who continue to need mathematical theory that is modern in the best sense of the word and who preserve the immunity of any sensible person to useless axiomatic chatter, will in the end turn down the services of the undereducated scholastics in both the schools and the universities.

Foto taken from Jim Cliborn's blog.

A teacher of mathematics who has not got to grips with at least some of the volumes of the course by Landau and Lifshitz will then become a relic like the person nowadays who does not know the difference between an open and a closed set.


V.I. Arnold
(Translated by A.V. Goryunov)

Tags:

Please login or register to post comments.

Name:
Email:
Subject:
Message:
x