147
$\begingroup$

I often hear the advice, "Read the masters" (i.e., read old, classic texts by great mathematicians). But frankly, I have hardly ever followed it. What I am wondering is, is this a principle that people give lip service to because it sounds good, but which is honored in the breach more than in the observance? If not, which masterworks have you found to be most enlightening?

To keep the question focused, let me lay down some ground rules.

  1. List only papers/books from the 19th century or earlier. I recognize that this is an arbitrary cutoff but I want to draw a line somewhere.

  2. It must be something that you personally have read in its entirety (or almost in its entirety). I'm not really interested in secondhand evidence ("So-and-so says that X is a must-read").

  3. You must have acquired important mathematical insights (not just historical insights) from the paper/book that you feel that you would never have acquired had you restricted your reading to 20th-century and 21st-century literature. It's not enough, for my purposes, that you found the paper/book "interesting" but not really essential. If possible, briefly describe these insights in your response.

[Edit: In response to a comment that suggested that I have set the bar impossibly high, let me violate one of my own ground rules and point to this discussion on the $n$-Category Cafe that gives some secondhand examples. That discussion should also help to clarify what I am asking for more examples of.]

$\endgroup$
20
  • 30
    $\begingroup$ Gauss' Disquisitiones proves quadratic reciprocity by induction on primes. So it is possible to prove theorems about primes by induction, which seems very counterintuitive at first. Such an inductive technique was recently used to great effect in the Khare-Wintenberger proof of Serre's conjecture on the modularity of 2-dimensional mod $p$ Galois representations. $\endgroup$
    – Boyarsky
    Jun 15 '10 at 16:17
  • 23
    $\begingroup$ I'm a big advocate of "reading the masters", but I usually interpret this as meaning reading papers from, say, 1900 to 1950. But this is largely because of my research interests (ie geometric topology -- I'm learned a lot by reading Dehn, Nielsen, Alexander, Reidemeister, ...). If I were more interested in things like number theory, then it would make more sense to go back and read pre-1900 sources. $\endgroup$ Jun 15 '10 at 16:38
  • 26
    $\begingroup$ I don't agree with your interpretation of the word "master". If, say, I were interested in learning Morse theory, then surely reading Bott (1923-2005) would qualify as "reading a master". $\endgroup$
    – Faisal
    Jun 15 '10 at 16:48
  • 31
    $\begingroup$ Your rules 1 and 3 set the bar almost impossibly high: valuable mathematical insights contained in a paper 110 years old at least have in all likelihood permeated the mathematical community by now, so that requiring that you would never have acquired them by reading more recent sources seems almost contradictory. Anyway, I have always had an even broader understanding of the saying than A.Putman: I understand it as "read the original research material, not the derivative works". And I think this is a great advice! $\endgroup$
    – Olivier
    Jun 15 '10 at 17:06
  • 29
    $\begingroup$ When I was a young student, I read the advice of Abel (in a second-hand source) about reading the masters and not the pupils, and I applied it. However, I did not take this to mean "read the ancients". Rather, I think it applies in general to try and read original papers in which insights are developed and new points of view presented, rather than simply read text-book accounts or later expository presentations. Interpreted this way, I have certainly followed this maxim. However, the masters were all 20th century, with one or two exceptions. $\endgroup$
    – Emerton
    Jun 15 '10 at 23:22

21 Answers 21

89
$\begingroup$

I agree 100% with Igor and Andrew L., on the benefit of reading the creator's version of the same thing available from later expositors. I have gained mathematical insights from reading Euclid, Archimedes, Riemann, Gauss, Hurwitz, Wirtinger, as well as moderns like Zariski.... on topics I already thought I understood.

Just Euclid's use of the word "measures" for "divides" finally made clear to me the elementary argument that the largest number dividing 2 integers is also the smallest positive number one can measure using both of them. This is clear thinking of (commensurable) measuring sticks, since by translating it is obvious the set of lengths that one can so measure are equally spaced, hence the smallest one would measure them all.

I was unaware also that Euclid's characterization of a tangent line to a circle was not just that it is perpendicular to the radius, but is the only line meeting the circle locally once and such that changing its angle ever so little produces a second intersection, i.e. Newton's definition of a tangent line. It is said Newton read Euclid just before giving his own definition.

I did not realize until reading Archimedes that the "Cavalieri principle" follows just from the definition of the Riemann integral, without needing the fundamental theorem of calculus. I.e. it follows just from the definition of a volume as a limit of approximating slices, and was known to Archimedes. Hence one can conclude all the usual volume formulas for pyramids, cones, spheres, even the bicylinder, just by starting from the decomposition of a cube into three right pyramids, applying Cavalieri to vary the angle of the pyramid, then approximating and using Cavalieri. It is an embarrassment to me that I had thought the volume of a bicylinder a more difficult calculus problem that that for a sphere, when it follows immediately from comparing horizontal slices of a double square based pyramid inscribed in a cube. I.e. by Cavalieri and the Pythagorean theorem, the volume of a sphere is the difference between the volumes of a cylinder and an inscribed double cone. The same argument shows the volume of a bicylinder is the difference between the volumes of a cube and an inscribed double square based pyramid. This led to an intuitive understanding of the simple relation between the volumes of certain inscribed figures that I then noticed had been recently studied by Tom Apostol.

I realized this summer that this allows a computation of the volume of the 4 dimensional ball. I.e. this ball results from revolving half a 3 ball, hence can be calculated by revolving a cylinder and subtracting the volume of revolving a cone. Since Archimedes knew the center of gravity of both those solids he knew this.

Having read everywhere that Hurwitz' theorem was that the maximum number of automorphisms of a Riemann surface of genus g is 84(g-1), I had a difficult proof that the maximum number in genus 5 is 192, using Jacobians, Prym varieties, and classifications of representations of planar groups, until Macbeath referred me to Hurwitz' original paper where a complete list of the possible orders was easily given: 84(g-1), 48(g-1),....I subsequently explained this easy argument to some famous mathematical figures. Sometime later a more complicated such example for which Macbeath himself was usually credited was found also to occur in the 19th century literature.

Having studied Riemann surfaces all my life, but unable to read German well, I thought I had acquired some grasp of the Riemann Roch theorem, in particular I thought Riemann had given only an inequality l(D) ≥ 1-g + deg(D). When the translation from Kendrick press became available, I learned he had written down a linear map whose kernel computed l(D), and the estimate derived from the fundamental theorem of linear algebra. The full equality also follows, but only if one can compute the cokernel as well. That cokernel of course was already shown by him to be what we now call H^1(D). Hence Riemann's original theorem was the so called "index" version of RR. Since he expressed his map in terms of path integrals, it was natural to evaluate those integrals by residue calculus as Roch did. This is explained in my answer to "why is Riemann Roch [not precisely] an index problem?" Although there are many fine modern expositions of Riemann Roch, the most insightful perhaps being that in the chapter on Riemann surfaces in Griffiths and Harris, I had not seen how simple it was until reading Riemann.

Perhaps this is only historical knowledge, but reading Riemann one sees that he also knew completely how to prove (index) Riemann Roch for algebraic plane curves, without appealing to the questionable Dirichlet principle, hence the usual impression that a rigorous proof had to await later arguments of Clebsch, Hilbert, or Brill and Noether, is incorrect.

Reading Wirtinger's 19th century paper on theta functions, even though unfortunately for me only available in the original German, I learned that when a smooth Riemann surface acquires a singularity, the elementary holomorphic differential with a non zero period around that vanishing cycle, becomes meromorphic, and that period becomes the residue at the singular point. At last this explains clearly why one defines "dualizing differentials" as one does, in algebraic geometry.

Once as grad student in Auslander's algebraic geometry class, I vowed to try out Abel's advice and read the master Zariski's paper on the concept of a simple point. I was very discouraged when several hours passed and I had managed only a few pages. Upon returning to class, Auslander began to pepper us with questions about regular local rings. I found out how much I had learned when I answered them all easily until he literally told me to be quiet, since I obviously knew the subject cold. (To be honest, I did not know the very next question he posed, but I was off the hook.)

In my answer to a question about where to learn sheaf cohomology I have given an example of insight only contained in Serre's original paper.

The sense of wonder and awe one gets upon reading people like Riemann or Euler, is also quite wonderful. Any student who has struggled to compute the sum of the even powers of the reciprocals of natural numbers 1/n^2k, will be amazed at Euler's facile accomplishment of this for many values of k. Calculus students estimating π by the usual series to 3 or 4 places will also be impressed at his scores of correct digits. On the other hand, anyone using a modern computer can detect an actual error in his expansion of π, I forget where, in the 214th place? but an error which was already noticed long ago.

As you can see these are elementary examples hence from a fairly naive and uneducated person, myself, who has not at all plumbed the depth of many original papers. But these few forays have definitely convinced me there is a benefit that cannot be gained elsewhere, as these exposures can transform the understanding of ordinary mortals closer to that of more knowledgeable persons, at least in a narrow vein. So while it might be thought that only the strongest mathematicians can attempt these papers, my advice would be that reading such masters may be even more helpful to us average students.

As a remark on criterion 2 of the original question, I find it is not at all necessary to read all of a paper by a master to get some insight. One word in Euclid enlightened me, and before the translation came out, I had already gained most of my understanding of Riemann's argument for RR just from reading the headings of the paragraphs. I learned a proof of RR for plane curves from reading only the introduction to a paper of Fulton. A single sentence of Archimedes, that a sphere is a cone with vertex at the center and base equal to the surface, makes it clear the volume is 1/3 the surface area. Moreover this shows the same ratio holds for a bicylinder, whereas the area of a bicylinder is considered so difficult we do not even ask it of calculus students. So one should not be discouraged by the difficulty of reading all of a masters' paper, although of course it wouldn't hurt.

A remark on the definition of master, versus creator. There are cases where a later master re - examines an earlier work and adds to it, and in these cases it seems valuable to read both versions. In addition to examples given above of Newton generalizing Euclid and Mumford using Hilbert, perhaps Mumford's demonstration of the power of Grothendieck's Riemann Roch theorem in calculating inavriants of moduli space of curves is relevant.

A related question occurs in many cases since the classical arguments of the "ancients" are preserved but only in classical texts such as Van der Waerden in algebra, and newer books have found slicker methods to avoid them. E.g. the method of LaGrange resolvents is useful in Galois theory for proving an extension of prime degree in characteristic zero is radical. There are faster less precise methods of showing this such as Artin/Dedekind's method of independence of characters, but the older method is useful when trying to use Galois theory to actually write down solution formulas of cubics and quartics. Thus today we often have an intermediate choice of reading modern expositions which reproduce the methods of the creators, or ones that avoid them, sometimes losing information. (This is discussed in the math 844-2 algebra notes on my web page, where, being a novice, I give all competing methods of proof.)

$\endgroup$
9
  • 16
    $\begingroup$ I just read Euler's explanation of "Cardano's" cubic formula and it looked easy for the first time. x = (a+b) is always a solution of the special cubic x^3 = 3abx + (a^3+b^3). But every cubic x^3=fx+g has this form since f = 3ab, and g = a^3+b^3, determine the sum and product of a^3 and b^3, hence determine t = a^3, by solving the quadratic t^2 - gt + f^3/27 = 0. Then taking any cube root of a^3 gives a, and then b= f/3a. This also shows why you always need complex numbers to get all three roots this way, even when they are real, since you need all three cube roots of a^3. $\endgroup$
    – roy smith
    May 31 '11 at 23:02
  • 3
    $\begingroup$ Dear Roy, I am pleased to see that you mention reading Zariski. Reading parts of his papers (including the one on simple points of varieties) was something I also did when trying to learn algebraic geometry. (Incidentally, his report on coherent sheaf cohomology from the 1950s remains one of the best summaries of the subject that I know of.) Best wishes, Matthew $\endgroup$
    – Emerton
    Oct 1 '11 at 3:51
  • 2
    $\begingroup$ Dear Matthew, Thank you. One testimony to the timeless value of Zariski's work is that apparently you were not yet born when I got the same boost from that paper on simple points. I did not then understand well the sheaf theory report. Thank you for the tip to reconsider it! $\endgroup$
    – roy smith
    Oct 2 '11 at 3:53
  • 1
    $\begingroup$ @roysmith I just took a look at Riemann's "Über die Darstellbarkeit einer Function durch eine trigonometrische Reihe". He defines his integral in Section 4 on page 102 and follows in Section 5 on page 103 with a discussion of what functions are integrable. There, he gives basically the characterization in terms od upper and lower Riemann sums, but nothing like Lebesgue's criterion. $\endgroup$ Sep 25 '16 at 10:00
  • 1
    $\begingroup$ @MichaelGreinecker: Lebesgue's criterion I refer to is that a bounded function is Riemann integrable iff its points of discontinuity have measure zero. On that page you cite, Riemann proves a bounded function is integrable iff for every e, the points where the function's "oscillation" is ≥ e, has content zero. Since a countable union of sets of content zero has measure zero, and a compact set of measure zero has content zero, taking e = 1/n for all n > 0, Riemann's criterion is equivalent to Lebesgue's. Does this seem ok? (A function is discontinuous at p iff the oscialltion there is >0.) $\endgroup$
    – roy smith
    Sep 26 '16 at 17:44
51
$\begingroup$

In algebraic number theory, the existence of a Frobenius element at any prime $p$ in a Galois extension $K/{\mathbf Q}$ is crucial. That is, for any prime ideal $\mathfrak p$ lying over $p$ in $K$ there is some $\sigma \in {\rm Gal}(K/{\mathbf Q})$ that looks like the $p$-th power map mod $\mathfrak p$: $$ \sigma(\alpha) \equiv \alpha^p \bmod \mathfrak p $$ for all $\alpha$ in the integers of $K$. (This can be jazzed up to the relative case, but I'll keep the base field as $\mathbf Q$ for simplicity here.)

In any introductory algebraic number theory book I have seen which shows the existence of $\sigma$, first the decomposition field is introduced in order to make a reduction to the case where the base field is the decomposition field. But if you look at the original proof by Frobenius (1896) it is different, using multivariable polynomials in an interesting way and there is no decomposition field. The argument fits in one page; see http://www.math.uconn.edu/~kconrad/blurbs/gradnumthy/frobeniuspf.pdf, where I consider a fairly general setup using the method of Frobenius. This nice proof by Frobenius has been completely forgotten, even though it handles the general case. (Frobenius himself worked with base field ${\mathbf Q}$.)

What is the mathematical insight here? That you can prove this theorem without having to mention decomposition fields (which also makes it easier for students new to the subject to follow the proof). I found this essential when teaching a course on algebraic number theory since it meant I did not have to introduce decomposition fields in the lectures at all; they could safely be left to homework assignments, if I so chose. The proof is also a nice illustration of the usefulness of multivariable polynomials, especially considering that a lot of basic algebraic number theory only requires polynomials in one variable.

$\endgroup$
4
  • 1
    $\begingroup$ Another "old school" proof of this result is in Hilbert's Zahlbericht, which has been translated into english. $\endgroup$ Jun 15 '10 at 22:41
  • 1
    $\begingroup$ To add detail to Noah's comment, the proof in the English translation of the Zahlbericht is within the proof of Theorem 69 on pp. 82--83; the notation s_1,...,s_M used there refers to all the elements of the Galois group (M is the degree of the Galois extension of Q). The Zahlbericht's overarching influence is probably the reason nobody remembers the proof by Frobenius. $\endgroup$
    – KConrad
    Jun 15 '10 at 23:13
  • $\begingroup$ Sorry, I don't know whether the proof presented in Serre's local fields (Ch1 Prop20) uses the decomposition field? Maybe I am mistaken, but I don't see the appearance of such? $\endgroup$
    – Z. M
    May 23 at 18:38
  • $\begingroup$ The field he writes as $K_D$ before and after that proposition is the decomposition field. In any case, my answer here was not about books at the level of Serre's, but about introductory textbooks on algebraic number theory, so I have edited my answer to reflect that. I would not advise someone to learn algebraic number theory for the first time from Serre's book. $\endgroup$
    – KConrad
    May 23 at 20:42
32
$\begingroup$

Riemann's original paper Über die Anzahl der Primzahlen unter einer gegebenen Grösse (On the Number of Primes Less Than a Given Magnitude), 1859, is definitely a master well worth reading. In just 8 or so pages he shows how useful the zeta function is for questions about the primes, proves the functional equation, the explicit formula, and makes several deep and far-reaching conjectures (all proven except one infamous example).

This is the paper which (arguably) began the extremely fruitful method of applying complex analysis to number theoretic questions. It lacks details in some places, but it contains a lot of invaluable motivation and exposition.

It certainly helped me to understand why complex analysis is so useful, and how one might discover these connections for himself.

EDIT: Just so you have no excuse, here's a link to an English translation: http://www.maths.tcd.ie/pub/HistMath/People/Riemann/Zeta/EZeta.pdf (Remember that he writes $tt$ for $t^2$ and $\Pi(s-1)$ for $\Gamma(s)$).

$\endgroup$
2
  • 1
    $\begingroup$ Edwards's book does an excellent job of going through Riemann's paper and helping the student mine its treasures. As for whether Riemann was the first to apply complex analysis to number theory, the main contender is Dirchlet's theorem on primes in arithmetic progressions. $\endgroup$ Aug 6 '20 at 1:30
  • $\begingroup$ @TimothyChow, see also Dittrich's book on reassessing Riemann's paper. First edition published in 2018 and second edition in 2021. $\endgroup$
    – J W
    Jan 8 at 17:14
28
$\begingroup$

"Read the masters" should not be taken as blanket advice, because some masters are much easier to read, or more congenial to modern mathematicians, than others. Some 19th century works that I have learned from are:

  1. Dirichlet/Dedekind. Dirichlet's Lectures on Number Theory, edited and supplemented by Dedekind, are very clear and inspiring. They cover everything from the basics up to Dirichlet's own breakthroughs on class numbers and primes in arithmetic progressions.

  2. Dedekind's Theory of Algebraic Integers. Dedekind wrote this because he was disappointed with the initial response to his theory of ideals. He goes to great pains to motivate the theory from the problem of unique prime factorization (using the now standard example of $\mathbb{Z}[\sqrt{-5}]$).

  3. Poincare's papers on automorphic functions. Whether or not you want to know about automorphic functions, these papers are a great introduction to hyperbolic geometry, fuchsian groups, and Kleinian groups. Like Dedekind, Poincare writes very clearly and simply.

Disclaimer. These are all books that I translated, so naturally I think they are good. If you can read them in the original language they are probably even better.

I should add that I came to these books after being disappointed with certain 20th century books, which seemed to me too terse, unmotivated, and abstract. If you haven't had this experience, then you probably won't enjoy 19th century books.

$\endgroup$
8
  • 1
    $\begingroup$ Dirichlet's Lectures on Number Theory is really excellent. $\endgroup$ Jun 16 '10 at 4:00
  • 3
    $\begingroup$ Could you provide a reference to one, maybe two specific papers of Poincaré you would consider introductory (w.r.t. automorphic forms)? $\endgroup$ Jun 16 '10 at 10:28
  • 4
    $\begingroup$ Konrad, the best two to start with are Poincare's first and second papers in Acta Mathematica, Volume I (1882), pp. 1-62 and pp. 193-294. In my translation, Poincare's Papers on Fuchsian Functions, they are entitled "Theory of Fuchsian Groups" (which contains the basic geometry and group theory) and "On Fuchsian Functions" (which introduces automorphic forms and functions). $\endgroup$ Jun 16 '10 at 11:16
  • 1
    $\begingroup$ @JohnStillwell Thank you for the enlightening sentence "I should add that I came to these books after being disappointed with certain 20th century books, which seemed to me too terse, unmotivated, and abstract." I am only an undergrad, but I found some modern books (such as Abstract Algebra by Dummit and Foote) as extremely unmotivated (and perhaps abstract and terse as well). Would you happen to have a reccomandation for an abstract algebra book "by the masters"? $\endgroup$
    – Ovi
    Jan 29 '18 at 1:01
  • 1
    $\begingroup$ @Ovi One modern book that I like is E. B. Vinberg's A Course In Algebra, published by the American Mathematical Society in 2003. $\endgroup$ Jan 29 '18 at 1:26
25
$\begingroup$

There is more than one reason to read "masters". One such reason is field-specific and can be phrased as "read the latest work right before a scientific revolution" (standard example is the large body of work by Cayley, Sylvester, Gordan, etc., in the pre-Hilbert classical invariant theory). Often such results are more powerful in very specific cases of interest.

Another practical reason to read "masters" is to avoid embarrassment. Lots of (mostly minor) results are not mentioned in later treatises, so a number of people rediscover these results because they are either too lazy to read, or simply assume that "masters" couldn't have possibly be so smart to figure out these results back then... When going through the references in writing this survey, I read all 80 pages of J.J. Sylvester, A constructive theory of partitions, arranged in three acts, an interact and an exodion, Amer. J. Math. 5 (1882), 251–330. As a result, I discovered that a number of recent results were already proved there, sometimes by leaders in the field (let me not name them here - see the survey).

$\endgroup$
3
18
$\begingroup$

I interpret "read the masters" as advice to learn a theory from those who created it. Often they are mathematicians of higher caliber than those who follow, and hence they offer unique insights missed by later expositions; insights missed either because they were never understood, or as they are considered common knowledge, the "new normal". Examples I have in mind are Thurston's "Notes", Wall's and Browder's books on surgery theory, Gromov's "Hyperbolic groups".

$\endgroup$
12
$\begingroup$

I certainly have read a lot of classics, and have learned a lot (mostly about historical developments) even from Euclid's elements. When it comes to research mathematics, I'd at least like to mention that Weil got the idea for the Weil conjectures from reading Gauss's articles on biquadratic residues.

As an example more in line with the question let me add that, in a letter to Goldbach dated April 15, 1749, Euler mentions that he has found, after quite some effort, a parametrized solution of the equation $xyz(x+y+z) = a$. Elkies found a way of deriving Euler's solution and found a simpler one, using methods from modern algebraic geometry. How Euler found his solution is still open.

$\endgroup$
12
$\begingroup$

While I feel it's certainly worthwhile to read the masters (by which, I mean the initial works that created entire fields of mathematics by their founders), my reasoning is somewhat different then most. Reading the masters is really more for conceptual depth than actual mathematical enlightenment.

There's a myth surrounding Abel's dictum that stems from the unreadability of the masters like Gauss as a measure of their nearly inhuman brilliance. This is a fallacy. The reason the masters are so difficult to read is because we are catching them with their pants down in the act of creation, i.e. they are groping towards the right notation and terminology, but aren't quite there yet. For example, it's pretty clear Riemann in his doctoral lecture was trying to explain the need for higher dimensional spaces that went beyond familiar three dimensional space ("multiply extended quantities") which preserved all the familiar properties of the usual Euclidean spaces, i.e. Kleinian transformations and calculus in local neighborhoods. The problem was without either linear algebra or the fundamentals of topology, it was next to impossible to express this idea clearly and precisely. He just ends up babbling on about what's needed. But all the same, Riemann recognized what was needed even if how to express it correctly was beyond his ability.

A more recent and readily available example will clarify this further: One of my favorite books is Hassler Whitney's Geometric Integration Theory. I have friends in differential geometry who tell me it's a dinosaur, that his proof of the de Rham theorem is incredibly coarse and tedious. Yes, it is — but it has the advantage of being a DIRECT proof from the construction of simplexes on the boundary of an embedded manifold. I love the book because although Whitney's ideas were old fashioned, they were incredibly powerful IDEAS that allow us to tackle the subject concretely and with an amazing amount of insight. THAT'S what we get from reading the masters — their insight and depth of understanding that allows us to see beyond the machinery into why things are defined as they are.

$\endgroup$
4
  • 6
    $\begingroup$ This post is entirely due to Andrew L. All I did was minor edits (mostly adding in spaces, a couple paragraph breaks). $\endgroup$ Jun 16 '10 at 23:24
  • 1
    $\begingroup$ Thanks,Charles. I have proper spacing when I type it,but for some reason,it doesn't carry over when posted.I have no idea what I'm doing wrong yet. $\endgroup$ Jun 17 '10 at 0:58
  • 1
    $\begingroup$ Spivak's "comprehensive introduction to differential geometry" has reproductions of a few of Riemann's papers, and I think (and he may even say) that this is the reason he included them. Obviously, the book contains all the technical details one needs to learn basic differential geometry, but Riemann's discussions can be intuitively enlightening, even though they may look technically archaic now. Though you do say the Masters are more "difficult" to read--I would argue this isn't always the case; some times they can be much easier, particularly when careful rigor can obscure what's going on. $\endgroup$
    – jeremy
    Jun 17 '10 at 1:44
  • 3
    $\begingroup$ @jeremy I agree-and I cite as good examples Banach's original treatise on functional analysis,Kuratowski's 2 volume treatise on point set topology and Cathedothorey and Hahn's treatises on real variables. $\endgroup$ Jun 17 '10 at 3:16
10
$\begingroup$

I am no big shot in reading mathematical papers, but there are a few examples where I think "Reading the masters" is really worthwhile:

  1. I read the theory of irrationals from Hardy's Pure Mathematics and found mention of Dedekind's original and concise version "Stetigkeit und Irrationale Zahlen". I read the English translation of this paper and I must say it is better than anything we can find in modern books on real analysis simply because it is easier to comprehend and appreciate. I somehow find this approach to irrationals the simplest requiring least mathematical machinery like you can teach this to a 15 year old kid with just the working knowledge of rationals.

  2. Next I read lot of proofs of Jacobi's Triple product identity from wikipedia and other sources, but none of them matches the simplicity of the one given in Fundamenta Nova of Jacobi. He just multiplies the factors on one side and gets the infinite series on the other side. Plain simple multiplication like 2x3 = 6. In fact his whole theory of Elliptic functions as presented in Fundamenta Nova is based on integral transformation theory and is much easier to introduce than the modern modular form approach.

  3. Another example is Lambert's proof of irrationality of pi based on the continued fraction expansion of tan(x). The real gem is not the irrationality of pi, but the beautiful formula for tan(x) (much more beautiful than Taylor's series for sin(x) and cos(x)). Compared to his proof, the proof of irrationality of pi by Ivan Niven is quite short and simple to grasp, but is highly non-obvious.

  4. Best of all examples is the theory of periods in Disquisitiones Arithmeticae by Gauss. The entire proof of construction of regular polygons based on theory of periods is not to be found in modern texts at least in the form accessible to first year undergraduates. This theory and its application to constructions of polygons is so exciting and awe inspiring. No parallel in modern papers.

In my view the modern authors have made it a habit to work in too abstract terms so that only a post-graduate student of mathematics can understand the papers. There are few exceptions definitely and these are the ones I read online, but as a majority the books/papers on maths are increasingly becoming inaccessible to anyone other than a mathematics researcher.

$\endgroup$
1
  • $\begingroup$ After reading carefully the original work by Lambert, Li Zhou has shown in "ON DISCOVERING AND PROVING THAT π IS IRRATIONAL” (section 5) that Niven's proof is closely related to it. $\endgroup$ Dec 9 '19 at 15:09
10
$\begingroup$

Once I needed a good exposition of Newton's polygon (for my lectures). It is hard to find in modern books. I asked a great expert in my department (an expert in both algebraic geometry and in classical literature, Shreeram Abhyankar): Where to find a good exposition of Newton's polygon, with examples? His answer was: In Mathematical Papers of Newton. Then he added: In Chrystal's Algebra (1879). This is a British high school algebra textbook. I read both, and I am very satisfied, and used this in my lectures.

$\endgroup$
1
  • 3
    $\begingroup$ To save others some time: Chrystal's account of Newton polygons is in part II, djm.cc/library/…, on page 386 (but the general discussion starts on page 373). $\endgroup$
    – Todd Trimble
    Feb 3 '19 at 22:25
9
$\begingroup$

I enjoyed reading Gauss's Allgemeine Auflösung der Aufgabe die Theile einer gegebenen Fläche auf einer andern gegebnen Fläche so abzubilden, dass die Abbildung dem Abgebildeten in den kleinsten Theilen ähnlich wird. This work was written in 1822 and deals with conformal mappings between the globe and the plane. I dare say I actually learned some mathematics from the experience too.

$\endgroup$
9
$\begingroup$

Although your rule #1 would bar the following, I don't think anybody would disagree with me if I call Grothendieck a master. I cannot say I have read the whole of EGA, but I did go through most of volume 1 and a big chunk of volume 2, and got a lot out of it. The clarity of exposition is superb. If only it had examples...

$\endgroup$
8
  • 5
    $\begingroup$ @Alberto: there is an example buried in there! If only you waded through the dense super-general blow-ups in the final section of EGA II (the one badly written section) you'd have encountered an example in Remark 8.3.9: group schemes as examples of representable functors, with emphasis on the example GL_1 (so really killing a fly with a sledgehammer). $\endgroup$
    – Boyarsky
    Jun 16 '10 at 0:22
  • 3
    $\begingroup$ Ha!..I can't even read Hartshrone... $\endgroup$
    – Kerry
    Jun 16 '10 at 4:08
  • 5
    $\begingroup$ @Pencil: some parts of EGA (I, II, some parts of III) are much more readable than Hartshorne, in my opinion. Later on the level of generality makes it difficult to follow without losing sight of the applicability of the results to "everyday" situations. $\endgroup$ Jun 16 '10 at 9:33
  • 3
    $\begingroup$ @Mariano: are you mixing up the crazy section 8 of EGA I (on "Chevalley schemes", the local ring business) with section 7.4 of EGA II (on algebraic curves, for which the only explicit curve is the projective line)? I think all explicit examples in EGA are only there as counterexamples to weakening hypotheses of results. For example see IV$_2$, 4.5.12(ii), 5.6.11; IV$_3$, 6.15.2 (actual equations in 3 unknowns), 14.1.5, 15.2.4; IV$_4$, 18.7.7. @Alberto: the trick to IV is reading backwards from interesting theorems. $\endgroup$
    – BCnrd
    Jun 17 '10 at 4:59
  • 2
    $\begingroup$ In regard to Grothendieck's Tohoku, I still recall after several decades, his advice that "il est prudent" to assume that HOM(A,B) and HOM(X,Y) are disjoint unless A=X and B = Y! $\endgroup$
    – roy smith
    Jan 17 '11 at 1:04
6
$\begingroup$

Whether or not Alfredo Capelli's papers about the Capelli identity fit the rubric of "old, classic texts by great mathematicians" is open to debate. What is true is that they offer a very clear and surprisingly modern perspective on the "first fundamental theorem of invariant theory for the general linear group" (the terminology is due to Hermann Weyl, who used Capelli's method in his book "Classical groups", but in an oblique and essentially incomprehensible way). In particular, Capelli introduced the universal enveloping algebra of $\mathfrak{gl}_n$ and its center and computed the action of the special central elements that he constructed on the polynomial algebra over matrices, deriving the Gordan – Capelli decomposition (or ($GL_n, GL_m$)-duality). Roger Howe, beginning in the late 1980s, had produced the only faithful modern account of Capelli's approach that I was aware of at the time that I read Capelli's papers. Of course, since it was Roger who introduced me to this area, I read his 20th century exposition first!

P.S. From the wording of the question, I get an impression that the rules have been rigged in order to confirm the favored hypothesis. I have several more worthy examples of "read the masters", but I feel as if I would need to argue the case more than I care to.

$\endgroup$
3
  • $\begingroup$ Indeed, the Poincare-Birkhoff-Witt theorem was first proved by Capelli (for gl_n). $\endgroup$ Jul 9 '10 at 3:50
  • $\begingroup$ He did, absolutely, and on the top of that, he proved the Harish-Chandra isomorphism (also for $\mathfrak{gl}_n$), although almost certainly not Kostant's theorem that $U(\mathfrak{gl}_n)$ is free over its center. What really shocked me is that the work of Capelli on the universal enveloping algebra is not even mentioned in either Hawkins' or Borel's books on the history of Lie theory. $\endgroup$ Jul 9 '10 at 4:26
  • $\begingroup$ Let me add the link to Capelli's article: digizeitschriften.de/main/dms/img/?PPN=GDZPPN002252635 $\endgroup$ Aug 4 '10 at 14:30
4
$\begingroup$

Boole, George (1854), An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, Macmillan Publishers, 1854. Reprinted with corrections, Dover Publications, New York, NY, 1958.

$\endgroup$
4
$\begingroup$

Bolyai: Appendix, the first account of non-Euclidean geometry by one of its inventors. If nothing else, the beauty, clarity and brevity of exposition alone make this a must-read.

$\endgroup$
4
$\begingroup$

I have read Gauss Disquisitiones Arithemeticae (Tr AA Clarke SJ) and Euclid's elements (tr & commentary by Heath) - but both well after engaging with the fields they covered. To an extent the subject had moved on, and later insights had provided better definitions, postulates, generalisations, primitive concepts and theorems. But it did become clear in the reading what had motivated further development. The sheer ingenuity required by Euclid (reread over Christmas) to do arithmetic is a joy to behold, even though we would do it very differently now, and rather tedious on a second reading, Some of the foundational subtleties are also glossed over or rather taken for granted in more modern treatments. With both there is also a kind of pedagogical simplicity by which you arrive suddenly and without apparent effort at a significant result - I guess this is what constitutes true mastery.

$\endgroup$
1
  • $\begingroup$ Manjul Bhargava also famously arrived at his new insight into Gauss's composition laws by reading Disquisitiones Arithemeticae. $\endgroup$ Aug 6 '20 at 1:24
1
$\begingroup$

I agree with the slogan, but completely disagree with reading original or historical papers. Quality is dictated from objective criteria, which we can try to formalize but - I think - everyone here recognize a quality paper when he reads it. What I personally like to find in a good exposition are:

  • Meaningful insights - a way to imagine the subject and develop an intuition;
  • Formal elegance and clarity - such insights become manifestly rigorous once the framework is set up;
  • A clever idea or a nice picture to bring home - this can be a non trivial way of applying some tools in a context, or a wonderful trick;
  • How things fit into a bigger picture.

The thing is: very often masters do give meaningful insights and are able to perform clever tricks, but they are not necessarily able to be clear or explain how things fit in a bigger picture; this depends on the ability to give a clear exposition, and the knowledge of the subject at the time in which the paper was written. Maybe a bigger picture just *didn't * exist, or it was at least significantly smaller than now. This applies in particular to papers from 19th, which I consider to be only of historical relevance. That's why I am thankful to the writers that digest the rough and precious material that "high level" mathematicians produce and then try to explain to a wider audience.

However, empirically, a lot of authors I love are masters. For example, I love the style of Deligne and Lurie, because you can taste the depth of what they write, no matter how much technical the things get. But how many of the algebraic geometers here have formed their intuition on the 13 volumes of EGA? Grothendieck was my inspiration for a long time, and he is the founder of modern algebraic geometry; it's just that things now are better understood and can be explained in a simpler way.

$\endgroup$
0
$\begingroup$

1] Carl Ludwig Siegel's Topics in Complex Function Theory 3 volumes 2] Kunihiko Kodaira Complex Manifolds and Deformation of Complex Structures

$\endgroup$
0
$\begingroup$

It may still be useful for beginning students who know some basic algebra and some basic geometry to read Gauss' Disquisitiones Arithmeticae (1801). Gauss wrote out everything in components, when dealing with matrices and even vectors. Knowing more concise modern notion has the advantage of making one feel some (probably false) sense of accomplishment of being able to see further. I was doing just this a while ago, and noted many $2 \times 2$ determinants and realized that he was giving algorithms for inverting the Plucker embedding of the Garssmanian map $$ \alpha_{n,k} : (\mathbb{Z}^n)^k \rightarrow G_{n,k}(\mathbb{Z}) \subset \mathbb{Z}^{{n \choose k}},$$ in special cases over the integer.

I then read a small part of Bhargava's interpretation of Gauss's composition of definite binary quadratic forms in terms of $2 \times 2 \times 2$ cube and then observed that the algorithmic step for Gauss's composition is just inverting $\alpha_{4,2}$.

Given two positive definite primitive binary quadratic forms $Q_2=(a_2,b_2,c_2),Q_3=(a_3,b_3,c_3)$ with the same discriminant $b_i^2-4a_ic_i$. We form the vector $$ X=\begin{pmatrix} X_{12} \cr X_{13} \cr X_{14} \cr X_{23}\cr X_{24} \cr X_{34} \end{pmatrix} := \begin{pmatrix} -a_3 \cr -a_2 \cr (b_2+b_3)/2 \cr (b_2-b_3)/2 \cr -c_2 \cr -c_3 \end{pmatrix}. $$ and observes that $X$ satisfies the Plucker condition $X_{12}X_{34}-X_{13}X_{24}+X_{14}X_{23}=0$ for $G_{4,2}$ because $Q_2,Q_3$ have the same discriminant. This means we can find vector $x, y \in \mathbb{Z}^4$ (unique upto $SL_2(\mathbb{Z})$ transform) such that $x \wedge y=X$, ie. $X_{ij}=x_iy_j-x_jy_i$. If we now labelled vertices on the front and back faces of a $2 \times 2 \times 2$ cube $A$ by $$ M_1=\begin{pmatrix} x_1 & x_2 \cr x_3 & x_4 \end{pmatrix},\;\; N_1=\begin{pmatrix} y_1 & y_2 \cr y_3 & y_4 \end{pmatrix}. $$ We then have the corresponding left/right, top/bottom faces $$M_2=\begin{pmatrix} x_1 & x_3 \cr y_1 & y_3 \end{pmatrix}, N_2=\begin{pmatrix} x_2 & x_4 \cr y_2 & y_4 \end{pmatrix}$$ $$M_3=\begin{pmatrix} x_1 & y_1 \cr x_2 & y_2 \end{pmatrix}, N_3=\begin{pmatrix} x_3 & y_3 \cr x_4 & y_4 \end{pmatrix}, $$ and $Q_j^A(x,y)=-\det(M_jx-N_jy),$ we will satisfies $Q_j^A(x,y)=Q_j(x,y),j=2,3$ so that by Bhargava, $$ Q_1^A(x,y)=(-\det M_1, \det \begin{pmatrix} x_1 & x_2 \cr y_3 & y_4 \end{pmatrix}+ \det \begin{pmatrix} y_1 & y_2 \cr x_3 & x_4 \end{pmatrix}, -\det N_1), $$ (the middle term being the sum of determinants of the diagonal slices) is Gauss' composition of $Q_2$ and $Q_3$. Gauss's definition of composition is very complicated and it is very satisfying that we can gives it a very simple and basic geometric meaning.

$\endgroup$
1
  • $\begingroup$ $Q_1^A$ should be the negative of $Q_2^A+Q_3^A$. $x,y$ can be computed from $X$ with only a gcd computation. $\endgroup$
    – CHUAKS
    May 24 at 16:18
-1
$\begingroup$

Charles Sanders Peirce — Beginning with volumes 3 and 4 of his Collected Papers and covering pretty much everything he wrote on logic and mathematics that I could get my hands on.

$\endgroup$
-2
$\begingroup$
  1. Aristotle, “The Categories”, Harold P. Cooke (trans.), pp. 1–109 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, UK, 1938.

  2. Aristotle, “On Interpretation”, Harold P. Cooke (trans.), pp. 111–179 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, UK, 1938.

  3. Aristotle, “Prior Analytics”, Hugh Tredennick (trans.), pp. 181–531 in Aristotle, Volume 1, Loeb Classical Library, William Heinemann, London, UK, 1938.

Animadversion 1

One of the reasons to “Read the Masters!” is that you almost always learn how different their actual intellectual contexts, motivations, and reasoning were from what you tend to find in the reports of $2$nd, $3$rd, and $n$th hand sources.

In the case of Aristotle, one of the first shocks — that I still distinctly remember — was discovering that he was a far less binary, dichotomous, or dualistic thinker than all my previous readings and teachers had told me. This has a bearing that goes far beyond the purely historical interest to the substantive issue of how deductive reasoning proper relates to what was later described as "inductive" and "abductive" inference.

Animadversion 2

I call it “mathematics” when I see hints of form that inform and rule the appearances in view. The test of a “practically essential” source, ancient or modern, is much like the test of a chemical catalyst — it is not that we'd never get the desired product by any other reaction pathway, but that we'd be highly unlikely to get it anywhere near as easily in our lifetime. It is very often the forms that permeate our current airs of knowledge that we, like the proverbial fish in water, can hardly see for all their pervasion.

Animadversion 3

Another reason to study our mathematical organon in embryo is that it makes it easier to see the early integuments and initial embeddings of topics that grow detached and remote from each other as they develop. By way of example, here's a draft of an essay I started on the precursors of category theory.

$\endgroup$
5
  • 10
    $\begingroup$ What mathematical insights were gained from Aristotle not readily found in more modern sources (in accordance with rule #3 above)? $\endgroup$
    – Boyarsky
    Jun 15 '10 at 16:46
  • $\begingroup$ Re: Boyarsky –– I added my response above as it was too long to fit here. $\endgroup$
    – Jon Awbrey
    Jun 15 '10 at 17:22
  • 7
    $\begingroup$ I would classify this interest as philosophical (or maybe psychological or sociological), but not mathematical. $\endgroup$ Jun 15 '10 at 21:48
  • 3
    $\begingroup$ Re: Alexander Woo –– The request was, "You must have acquired important mathematical insights (not just historical insights) from the [source] that you feel that you would never have acquired had you restricted your reading to 20th-century and 21st-century literature". The word "feel" asks for a personal probability, and I gave my own best estimate. I have noticed that different folks use different charts for mapping the territories of logic, mathematics, philosophy, and science. Until we find an atlas for the manifold each of us is probably stuck with using his own coordinate system. $\endgroup$
    – Jon Awbrey
    Jun 15 '10 at 23:54
  • $\begingroup$ I added some remarks above on the test of mathematical substance and the "never would have got it any other way" criterion for an essential source. $\endgroup$
    – Jon Awbrey
    Jun 16 '10 at 13:30

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.