History of Grandi's series: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
m →‎Grandi: 1703
Line 102: Line 102:


==Dilution and new values==
==Dilution and new values==
Despite the confident tone of his papers, Euler expressed doubt over divergent series in his correspondence with N. Bernoulli. Euler claimed that his attempted definition had never failed him, but Bernoulli pointed out a clear weakness: it does not specify how one should determine "the" finite expression that generates a given infinite series. Not only is this a practical difficulty, it would be theoretically fatal if a series were generated by expanding two expressions with different values. Euler's treatment of {{nowrap|1=1 1 + 1 1 + · · ·}} rests upon his firm assertion that <sup>1</sup>⁄<sub>2</sub> is the only possible value of the series; what if there were another?

In a 1745 letter to [[Christian Goldbach]], Euler claimed that he was not aware of any such counterexample, and in any case Bernoulli had not provided one. Several decades later, when [[Jean-Charles Callet]] finally invented a counterexample, it was aimed at {{nowrap|1=1 − 1 + 1 − 1 + · · ·}}. The background of the new idea begins with [[Daniel Bernoulli]] in 1771.<ref>Hardy p.14; Bromwich p.322</ref>

===Daniel Bernoulli===
===Daniel Bernoulli===
*{{cite journal |last=Bernoulli |first=Daniel |authorlink=Daniel Bernoulli |title=De summationibus serierum quarunduam incongrue veris earumque interpretatione atque usu |journal= Novi Commentarii academiae scientiarum imperialis Petropolitanae |volume=16 |year=1771 |pages=71-90}}
*{{cite journal |last=Bernoulli |first=Daniel |title=De summationibus serierum quarunduam incongrue veris earumque interpretatione atque usu |journal= Novi Commentarii academiae scientiarum imperialis Petropolitanae |volume=16 |year=1771 |pages=71-90}}


Daniel Bernoulli, who accepted the probabilistic argument that {{nowrap|1=1 − 1 + 1 − 1 + · · · = <sup>1</sup>⁄<sub>2</sub>}}, noticed that by inserting 0s into the series in the right places, it could achieve any value between 0 and 1. In particular, the argument suggested that
Daniel Bernoulli, who accepted the probabilistic argument that {{nowrap|1=1 − 1 + 1 − 1 + · · · = <sup>1</sup>⁄<sub>2</sub>}}, noticed that by inserting 0s into the series in the right places, it could achieve any value between 0 and 1. In particular, the argument suggested that
Line 110: Line 114:


===Callet and Lagrange===
===Callet and Lagrange===
Despite the confident tone of Euler's papers, he wrote to N. Bernoulli expressing doubt over divergent series, but that his attempted definition had never failed him. Bernoulli pointed out the clear weakness in Euler's definition: it does not specify how one should determine "the" finite expression that generates a given infinite series. Not only is this a practical difficulty, it would be theoretically fatal if a series were generated by expanding two expressions with different values. In a 1745 letter to Goldbach, Euler claimed that he was not aware of any such counterexample, and Bernoulli had not provided one. Several decades later, [[Jean-Charles Callet]] finally invented a counterexample or so he thought aimed at Grandi's series.<ref>Hardy p.14; Bromwich p.322</ref>

In a memorandum sent to [[Joseph Louis Lagrange]] toward the end of the century, Callet pointed out that {{nowrap|1=1 − 1 + 1 − 1 + · · ·}} could also be obtained from the series
In a memorandum sent to [[Joseph Louis Lagrange]] toward the end of the century, Callet pointed out that {{nowrap|1=1 − 1 + 1 − 1 + · · ·}} could also be obtained from the series
:<math>\frac{1+x}{1+x+x^2}=1-x^2+x^3-x^5+x^6-x^8+\cdots;</math>
:<math>\frac{1+x}{1+x+x^2}=1-x^2+x^3-x^5+x^6-x^8+\cdots;</math>

Revision as of 08:54, 9 February 2007

Geometry and infinite zeros

Grandi

Guido Grandi (1671 – 1742) reportedly provided a simplistic account of the series in 1703. He noticed that inserting parentheses into 1 − 1 + 1 − 1 + · · · produced varying results: either

or

Grandi's explanation of this phenomenon became well-known for its religious overtones:

"By putting parentheses into the expression 1 − 1 + 1 − 1 + · · · in different ways, I can, if I want, obtain 0 or 1. But then the idea of the creation ex nihilo is perfectly plausible."[1]

In fact, the series was not an idle subject for Grandi, and he didn't think it summed to either 0 or 1. Rather, like many mathematicians to follow, he thought the true value of the series was 12 for a variety of reasons.

(1, 12) on the witch of Agnesi

Grandi's mathematical treatment of 1 − 1 + 1 − 1 + · · · occurs in his 1703 book Quadratura circula et hyperbolae per infinitas hyperbolas geometrice exhibita. Broadly interpreting Grandi's work, he derived 1 − 1 + 1 − 1 + · · · = 12 through geometric reasoning connected with his investigation of the witch of Agnesi. Eighteenth-century mathematicians immediately translated and summarized his argument in analytical terms: for a generating circle with diameter a, the equation of the witch y = a3/(a2 + x2) has the series expansion

and setting a = x = 1, one has 1 − 1 + 1 − 1 + · · · = 12.[2]
and substituted x = 1 to get 1 − 1 + 1 − 1 + · · · = 12. Grandi "also argued that since the sum was both 0 and 12, he had proved that the world could be created out of nothing."[3]

Grandi offered a new explanation that 1 − 1 + 1 − 1 + · · · = 12 in 1710, both in the second edition of the Quadratura circula[4] and in a new work, De Infinitis infinitorum, et infinite parvorum ordinibus disquisitio geometrica.[5] Two brothers inherit a priceless gem from their father, whose will forbids them to sell it, so they agree that it will reside in each other's museums on alternating years. If this agreement lasts for all eternity between the brother's descendants, then the two families will each have half possession of the gem, even though it changes hands infinitely often. This argument was later criticized by Leibniz.[6]

The parable of the gem is the first of two additions to the discussion of the corollary that Grandi added to the second edition. The second repeats the link between the series and the creation of the universe by God:

"Sed inquies: aggregatum ex infinitis differentiis infinitarum ipsi DV æqualium, sive continuè, sive alternè sumptarum, est demum summa ex infinitis nullitatibus, seu 0, quomodo ergo quantitatem notabilem aggreget? At repono, eam Infiniti vim agnoscendam, ut etiam quod per se nullum est multiplicando, in aliquid commutet, sicuti finitam magnitudiné dividendo, in nullam degenerare cogit: unde per infinitam Dei Creatoris potentiam omnia ex nihlo facta, omniaque in nihilum redigi posse: neque adeò absurdum esse, quantitatem aliquam, ut ita dicam, creari per infinitam vel multiplicationem, vel additionem ipsius nihili, aut quodvis quantum infinita divisione, aut subductione in nihilum redigit."[7]

Marchetti

(Further on Marchetti...)[8][9]

Leibniz

With the help and encouragement of Antonio Magliabechi, Grandi sent a copy of the 1703 Quadratura to Leibniz, along with a letter expressing compliments and admiration for the master's work. Leibniz received and read this first edition in 1705, and he called it an unoriginal and less-advanced "attempt" at his calculus.[10] Grandi's treatment of 1 − 1 + 1 − 1 + · · · would not catch Leibniz's attention until 1711, near the end of his life, when Christian Wolff sent him a letter on Marchetti's behalf describing the problem and asking for Leibniz's opinion.[11]

Background

As early as 1674, in a minor, lesser-known writing De Triangulo Harmonico on the harmonic triangle, Leibniz mentioned 1 − 1 + 1 − 1 + · · · very briefly in an example:

[12]

The series 1 − 1 + 1 − 1 + · · · also appears indirectly in a discussion with Tschirnhaus in 1676.[13]

Leibniz had already considered the divergent alternating series 1 − 2 + 4 − 8 + 16 − · · · as early as 1673. In that case he argued that by subtracting either on the left or on the right, one could produce either positive or negative infinity, and therefore both answers are wrong and the whole should be a finite: "Now normally nature chooses the middle if neither of the two is permitted, or rather if it cannot be determined which of the two is permitted, and the whole is equal to a finite quantity." Leibniz did not assert that the series had a sum, but he did claim it was equal to 13 following Mercator's method.[14] The attitude that a series could equal some finite quantity without actually adding up to it as a sum would be commonplace in the 18th century, although no distinction is made in modern mathematics.[15]

Two years after that, Leibniz formulated the first convergence test in the history of mathematics, the alternating series test, in which he implicitly applied the modern definition of convergence.[16]

Solutions

Beginning of the published Leibniz-Wolff letter

In the 1710s, Leibniz described Grandi's series in his correspondence with several other mathematicians. The letter with the most lasting impact was his first reply to Wolff, which he published in the Acta Eruditorum.

In general, Leibniz believed that the algorithms of calculus were a form of "blind reasoning" that ultimately had to be founded upon geometrical interpretations. Therefore he agreed with Grandi that 1 − 1 + 1 − 1 + · · · = 12, claiming that the relation was well-founded because there existed a "demonstratio linearis" — a geometric demonstration.[17]

On the other hand, Leibniz sharply criticized Grandi's example of the shared gem, claiming that the series 1 − 1 + 1 − 1 + · · · has no relation to the story. He pointed out that for any finite, even number of years, the brothers have equal possession, yet the sum of the corresponding terms of the series is zero.[18]

Leibniz thought that the argument from 1/(1 + x) was valid; he took it as an example of his law of continuity. Still, he thought that one should be able to find the sum of the series 1 − 1 + 1 − 1 + · · · directly, without needing to refer back to the expression 1/(1 + x) from which it came. This approach may seem obvious by modern standards, but it is a significant step from the point of view of the history of summing divergent series.[19] In the 18th century, the study of series was dominated by power series, and summing a numerical series by expressing it as f(1) of some function's power series was thought to be the most natural strategy.[20] Yet Leibniz invented an argument for Grandi's series that came surprisingly close to a modern method.

For Grandi's series, Leibniz fell back upon more metaphysical reasoning. Since the partial sums of the series are 0 or 1 with equal "probability", one should take the true value or sum of the series to be their mean, which is 1/2. Eli Maor says of this solution, "Such a brazen, careless reasoning indeed seems incredible to us today…"[21] Kline portrays Leibniz as more self-conscious: "Leibniz conceded that his argument was more metaphysical than mathematical, but said that there is more metaphysical truth in mathematics than is generally recognized."[22]

(Leibniz to Pierre Dangicourt (1716)).[23]

Reactions

When he had first raised the question of Grandi's series to Leibniz, Wolff was inclined toward skepticism along with Marchetti. Upon reading Leibniz's reply in mid-1712,[24] Wolff was so pleased with the solution that he sought to extend the arithmetic mean method to more divergent series such as 1 − 2 + 4 − 8 + 16 − · · ·. Briefly, if one expresses a partial sum of this series as a function of the penultimate term, one obtains either (4m + 1)/3 or (−4n + 1)/3. The mean of these values is (2m −2n + 1)/3, and assuming that m = n at infinity yields 1/3 as the value of the series. Leibniz's intuition prevented him from straining his solution this far, and he wrote back that Wolff's idea was interesting but invalid for several reasons. The arithmetic means of neighboring partial sums do not converge to any particular value, and for all finite cases one has n = 2m, not n = m. Generally, the terms of a summable series should decrease to zero; even 1 − 1 + 1 − 1 + · · · could be expressed as a limit of such series. Leibniz counsels Wolff to reconsider so that he "might produce something worthy of science and himself."[25]

Leibniz described Grandi's series along with the general problem of convergence and divergence in letters to Nicolaus I Bernoulli in 1712 and early 1713. J. Dutka suggests that this correspondence, along with Nicolaus I Bernoulli's interest in probability, motivated him to formulate the St. Petersburg paradox, another situation involving a divergent series, in September of 1713.[26]

According to Pierre-Simon Laplace in his Essai Philosophique sur les Probabilités, Grandi's series was connected with Leibniz seeing "an image of the Creation in his binary arithmetic", and thus Leibniz wrote a letter to Jesuit missionary Claudio Filippo Grimaldi, court mathematician to the Kangxi Emperor in China, in the hope that the emperor's interest in science and the mathematical "emblem of creation" might combine to convert the nation to Christianity. Laplace remarks, "I record this anecdote only to show how far the prejudices of infancy may mislead the greatest men."[27]

Divergence

Jacob Bernoulli

Jacob Bernoulli (1654 – 1705) dealt with a similar series in 1696 in the third part of his Positiones arithmeticae de seriebus infinitis.[28] Applying Nicholas Mercator's method for dividing polynomials (essentially long division) to the ratio k/(m + n), he noticed that one always had a remainder.[29] If m > n then this remainder decreases and "finally is less than any given quantity", and one has

If m = n, then this equation becomes

Bernoulli called this equation a "not inelegant paradox".[28][30]

Varignon

Pierre Varignon (1654 – 1722) treated Grandi's series in his report Précautions à prendre dans l'usage des Suites ou Series infinies résultantes…. The first of his purposes for this paper was to point out the divergence of Grandi's series and expand on Jacob Bernoulli's 1696 treatment.

(Varignon's math…)

The final version of Varignon's paper is dated February 16, 1715, and it appeared in a volume of the Mémories of the French Academy of Sciences that was itself not published until 1718. For such a relatively late treatment of Grandi's series, it is surprising that Varignon's report does not even mention Leibniz's earlier work.[31] But most of the Précautions was written in October 1712, while Varignon was away from Paris. The Abbé Poignard's 1704 book on magic squares, Traité des Quarrés sublimes, had become a popular subject around the Academy, and the second revised and expanded edition weighed in at 336 pages. To make the time to read the Traité, Varignon had to escape to the countryside for nearly two months, where he wrote on the topic of Grandi's series from memory. Upon returning to Paris and checking in at the Academy, Varignon soon discovered that the great Leibniz had ruled in favor of Grandi. Varignon still had to revise his paper by looking up and including the citation to Jacob Bernoulli. Rather than take Leibniz's work into account, Varignon explains in a postscript to his report that the citation was the only revision he had made in Paris, and that if other research on the topic arose, his thoughts on it would have to wait for a future report.[32]

(Letters between Varignon and Leibniz…)

In the 1751 Encyclopédie, Jean le Rond d'Alembert echoes the view that Grandi's reasoning based on division had been refuted by Varignon in 1715. (Actually, d'Alembert attributes the problem to "Guido Ubaldus", an error that is still occasionally propagated today.)[33]

Riccati and Bougainville

In a 1715 letter to Jacopo Riccati, Leibniz mentioned the question of Grandi's series and advertised his own solution in the Acta Eruditorum.[34] Later, Riccati would criticize Grandi's argument in his 1754 Saggio intorno al sistema dell'universo, saying that it causes contradictions. He argues that one could just as well write nn + nn + · · · = n/(1 + 1), but that this series has "the same quantity of zeroes" as Grandi's series. These zeroes lack any evanescent character of n, as Riccati points out that the equality 1 − 1 = nn is guaranteed by 1 + n = n + 1. He concludes that the fundamental mistake is in using a divergent series to begin with:

"In fact, it doesn't happen that if we stop this series, the following terms can be neglected in comparison with preceding terms; this property is verified only for convergent series."[35]

Another 1754 publication also criticized Grandi's series on the basis of its collapse to 0. Louis Antoine de Bougainville briefly treats the series in his acclaimed 1754 textbook Traité du calcul intégral. He explains that a series is "true" if its sum is equal to the expression from which is expanded; otherwise it is "false". Thus Grandi's series is false because 1/(1 + 1) = 1/2 and yet (1 − 1) + (1 − 1) + · · · = 0.[36]

Euler

Leonhard Euler treats 1 − 1 + 1 − 1 + · · · along with other divergent series in his De seriebus divergentibus, a 1746 paper that was read to the Academy in 1754 and published in 1760. He identifies the series as being first considered by Leibniz, and he reviews Leibniz's 1713 argument based on the series 1 − a + a2a3 + a4a5 + · · ·, calling it "fairly sound reasoning", and he also mentions the even/odd median argument. Euler writes that the usual objection to the use of 1/(1 + a) is that it does not equal 1 − a + a2a3 + a4a5 + · · · unless a is less than 1; otherwise all one can say is that

where the last remainder term does not vanish and cannot be disregarded as n is taken to infinity. He then claims that since an infinite series has no last term, there is no place for the remainder and it should be neglected.[37] After reviewing more badly divergent series like 1 + 2 + 4 + 8 + · · ·, where he judges his opponents to have firmer support, Euler seeks to define away the issue:

"Yet however substantial this particular dispute seems to be, neither side can be convicted of any error by the other side, whenever the use of such series occurs in analysis, and this ought to be a strong argument that neither side is in error, but that all disagreement is solely verbal. For if in a calculation I arrive at this series 1 − 1 + 1 − 1 + 1 − 1 etc. and if in its place I substitute 1/2, no one will rightly impute to me an error, which however everyone would do had I put some other number in the place of this series. Whence no doubt can remain that in fact the series 1 − 1 + 1 − 1 + 1 − 1 + etc. and the fraction 1/2 are equivalent quantities and that it is always permitted to substitute one for the other without error. Thus the whole question is seen to reduce to this, whether we call the fraction 1/2 the correct sum of 1 − 1 + 1 − 1 + etc.; and it is strongly to be feared that those who insist on denying this and who at the same time do not dare to deny the equivalence have stumbled into a battle over words.
"But I think all this wrangling can be easily ended if we should carefully attend to what follows…"[38]

Euler also used finite differences to attack 1 − 1 + 1 − 1 + · · ·. In modern terminology, he took the Euler transform of the sequence and found that it equalled 12.[39] As late as 1864, De Morgan claims that "this transformation has always appeared one of the strongest presumptions in favour of 1 − 1 + 1 − … being 12."[40]

Dilution and new values

Despite the confident tone of his papers, Euler expressed doubt over divergent series in his correspondence with N. Bernoulli. Euler claimed that his attempted definition had never failed him, but Bernoulli pointed out a clear weakness: it does not specify how one should determine "the" finite expression that generates a given infinite series. Not only is this a practical difficulty, it would be theoretically fatal if a series were generated by expanding two expressions with different values. Euler's treatment of 1 − 1 + 1 − 1 + · · · rests upon his firm assertion that 12 is the only possible value of the series; what if there were another?

In a 1745 letter to Christian Goldbach, Euler claimed that he was not aware of any such counterexample, and in any case Bernoulli had not provided one. Several decades later, when Jean-Charles Callet finally invented a counterexample, it was aimed at 1 − 1 + 1 − 1 + · · ·. The background of the new idea begins with Daniel Bernoulli in 1771.[41]

Daniel Bernoulli

  • Bernoulli, Daniel (1771). "De summationibus serierum quarunduam incongrue veris earumque interpretatione atque usu". Novi Commentarii academiae scientiarum imperialis Petropolitanae. 16: 71–90.

Daniel Bernoulli, who accepted the probabilistic argument that 1 − 1 + 1 − 1 + · · · = 12, noticed that by inserting 0s into the series in the right places, it could achieve any value between 0 and 1. In particular, the argument suggested that

1 + 0 − 1 + 1 + 0 − 1 + 1 + 0 − 1 + · · · = 23.[42]

Callet and Lagrange

In a memorandum sent to Joseph Louis Lagrange toward the end of the century, Callet pointed out that 1 − 1 + 1 − 1 + · · · could also be obtained from the series

substituting x = 1 now suggests a value of 23, not 12. Lagrange approved Callet's submission for publication in the Mémoires of the French Academy of Sciences, but it was never directly published. Instead, Lagrange (along with Charles Bossut) summarized Callet's work and responded to it in the Mémoires of 1799. He defended Euler by suggesting that Callet's series actually should be written with the 0 terms left in:

which reduces to

1 + 0 − 1 + 1 + 0 − 1 + 1 + 0 − 1 + · · ·

instead.[43]

19th century

In 1803, Robert Woodhouse proposed that 1 − 1 + 1 − 1 + · · · summed to something called

which could be distinguished from 12. Ivor Grattan-Guinness remarks on this proposal, "… R. Woodhouse … wrote with admirable honesty on the problems which he failed to understand. … Of course, there is no harm in defining new symbols such as 11+1; but the idea is 'formalist' in the unflattering sense, and it does not bear on the problem of the convergence of series."[44]

In 1830, a mathematician identified only as "M. R. S." wrote in the Annales de Gergonne on algebraic techniques to handle divergent series as well as continued fractions and continued radicals. This paper acknowledge's Leibniz's averaging approach but argues that, for example, the expression a / (a / (a / · · · ))) does not represent the average of the truncated expressions, (1 + a)/2, but rather the solution to the equation x = a/x, which is the square root of a. When the author encounters x = aa + aa + · · ·, it is handled similarly, as the root of the equation x = a - x, which is x = a/2.[45] Bernard Bolzano criticized this solution, saying of the written-out form

that "The series within parenthses has clearly not the same set of numbers of that originally indicated with x, as the first term a is missing."[46]

As late as 1844, Augustus De Morgan commented that if a single instance where 1 − 1 + 1 − 1 + · · · did not equal 12 could be given, he would be willing to reject the entire theory of trigonometric series.[47]

"I do not argue with those who reject everything that is not within the providence of arithmetic, but only with those who abandon the use of infinitely divergent series and yet appear to employ finitely divergent series with confidence. Such appears to be the practice, both at home and abroad. They seem perfectly reconciled to 1 − 1 + 1 − 1 + · · ·, but cannot admit 1 + 2 + 4 + · · · = −1."[48]
"The whole fabric of periodic series and integrals … would fall instantly if it were shown to be possible that 1 − 1 + 1 − 1 + · · · might be one quantity as a limiting form of A0A1 + A2 − · · ·and another as a limiting form of A0A1 + A2 − · · ·."[49]

Earnshaw:

"It is not very unusual to cast a mantle of mystery over this subject, by introducing zeros… But such a device, however much it may serve to satisfy the eye, cannot satisfy the head…"[50]

de Morgan:

"I cannot approve of introducing ciphers to satisfy the eye: but to me they always introduced themselves."[51]
"…those who reject casual evanescents out of a routine of operation have no right to charge those who do not reject with introduction."[52]

Frobenius and Cesaro

Notes

  1. ^ Bagni Appunti ch.4, p.54. The original quotation, in Italian: "Mettendo in modo diverso le parentesi nell’espressione 1-1+1-1+... io posso, volendo, ottenere 0 o 1. Ma allora l’idea della creazione ex nihilo è perfettamente plausibile." Bagni does not identify the primary source, writing only that the quotation is from 1703 and that it is cited in I, p.185 of Silov, G.E. (1978), Analisi matematica, Mir, Mosca. 1703 is also the publicaiton year of the Quadratura circula, but Panza's analysis of the treatment of 1 − 1 + 1 − 1 + · · · in that book does not mention this idea.
  2. ^ According to Giovanni Ferraro (2002 p.193), citing Marco Panza's doctoral dissertation including a detailed analysis of Grandi's writing.
  3. ^ Kline 1983 p.307
  4. ^ Panza (p.298) places the example on p.30 of Grandi 1710, Quadratura circula … editio altera
  5. ^ Reiff pp.65-66
  6. ^ Leibniz (Gerhardt) pp.385-386, Markushevich p.46
  7. ^ Panza (p.298) places this passage on p.29 of Grandi 1710, Quadratura circula … editio altera
  8. ^ Montucla pp.8-9
  9. ^ Panza pp.299, 863. The Biblioteca Universitaria di Pisa lists this letter as: Lettera nella quale si ribattono l'ingiuste accuse, date dal p.d. G[uido] G[randi] nella seconda edizione del suo libro Della quadratura del cerchio, e dell'iperbola, ec. ad Alessandro Marchetti ... : scritta dal medesimo Marchetti a su' eccellenza il signor Bernardo Trevisano ... - In Lucca ... : per Leonardo Venturini, 1711.
  10. ^ Mazzone and Roero pp.246-247, who cite: Grandi to Magliabechi, Pisa 17.7.1703 BU Pisa MS 99, f. 219; Magliabechi to Grandi, Florence 31.7.1703, BU Pisa MS 93, f. 110; Grandi to Leibniz, Pisa 28.6.1703, GM 4, p. 209; Leibniz to Magliabechi, Hanover 12.8.1704; Leibniz to Magliabechi, Hanover 2.7.1705, Paoli 1899, p. XC; Leibniz to Grandi, Hanover 11.7.1705, GM 4, pp.210-212; Leibniz to Hermann, Hanover 21.5.1706, GM 4, p. 297
  11. ^ Hitt p.141; Wolff to Leibniz, 16 April 1711, in Gerhardt pp.134-135, LXIII
  12. ^ Leibniz p.369
  13. ^ Leibniz p.817
  14. ^ Leibniz pp.205-207; Knobloch pp.124-125. The quotation is from De progressionibus intervallorum tangentium a vertice, in the original Latin: "Nunc fere cum neutrum liceat, aut potius cum non possit determinari utrum liceat, natura medium eligit, et totum aequatur finito."
  15. ^ Ferraro and Panza p.21
  16. ^ Knobloch pp.125-127.
  17. ^ Ferraro 2000 p.545
  18. ^ Leibniz (Gerhardt) pp.385-386, Markushevich p.46
  19. ^ As noted by Weidlich (p.1)
  20. ^ Ferraro and Panza p.32
  21. ^ Maor, pp.32-33
  22. ^ Kline 1983 pp.307-308
  23. ^ Hitt p.143
  24. ^ Wolff's first reference to the letter published in the Acta Eruditorum appears in a letter written from Halle, Saxony-Anhalt dated 12 June 1712; Gerhardt pp.143-146.
  25. ^ The quotation is Moore's (pp.2-3) interpretation; Leibniz's letter is in Gerhardt pp.147-148, dated 13 July 1712 from Hanover.
  26. ^ Dutka p.20
  27. ^ Upham and Stewart pp.479, 480, who cite Laplace pp.194, 195.
  28. ^ a b Knopp p.457
  29. ^ Ferraro 2002 p.181
  30. ^ Cantor (p.96) makes the quote "unde paradoxum fluit non inelegans", citing Ebenda II, 751.
  31. ^ For the possible significance of the omission, see Panza p.339.
  32. ^ Panza p.339; Varignon pp.203, 225; Gerhardt p.187
  33. ^ Hitt pp.147-148
  34. ^ Bagni (p.4) identifies the letter as "probably written in 1715", citing Michieli's 1943 Una famiglia di matematici…, p. 579
  35. ^ Bagni p.5
  36. ^ Bougainville vol.1, ch.22, pts.318-320, pp.309-312; Schubring p.29
  37. ^ Euler 1760 §§3-5, pp.206-207; English translation in Barbeau and Leah pp.145-146
  38. ^ Euler 1760 §10 and beginning of §11, p.211; English translation by Barbeau and Leah (p.148)
  39. ^ Grattan-Guinness pp.68-69
  40. ^ De Morgan p.10
  41. ^ Hardy p.14; Bromwich p.322
  42. ^ Sandifer p.1
  43. ^ Bromwich pp.319-320, Lehmann p.176, Kline 1972 p.463; here Bromwich seems to cite Borel's Leçons sur les Séries Divergentes, pp.1-10.
  44. ^ Grattan-Guinness p.71
  45. ^ M.R.S. pp.363-365
  46. ^ Sbaragli p.27; the primary source for Bolzano is not given, but it appears to be Moreno and Waldegg (1991), "The conceptual evolution of actual mathematical infinity". Educational studies in mathematics. 22, 211-231.
  47. ^ Kline 1972 p.976
  48. ^ Hardy 19
  49. ^ Hardy p.20
  50. ^ de Morgan 1864 p.1
  51. ^ de Morgan 1864 p.1
  52. ^ de Morgan 1864 p.2

References

Cited primary sources
Cited secondary sources
  • Bagni, Giorgio T. (2005-06-30). "Infinite Series from History to Mathematics Education" (PDF). International Journal for Mathematics Teaching and Learning.
  •       . "Appunti di Storia per la Didattica della Matematica".{{cite web}}: CS1 maint: multiple names: authors list (link)
  • Barbeau, E.J., and P.J. Leah (1976). "Euler's 1760 paper on divergent series". Historia Mathematica. 3 (2): 141–160. doi:10.1016/0315-0860(76)90030-6. {{cite journal}}: Unknown parameter |month= ignored (help)CS1 maint: multiple names: authors list (link)
  • Bromwich, T.J. (1926) [1908]. An Introduction to the Theory of Infinite Series (2e ed.).
  • Cantor, Moritz (1965) [1901]. Vorlesungen über Geschichte der Mathematik: Dritter Band Vom Jahre 1668 bis zum Jahre 1758 (2e ed.). New York: Johnson Reprint Corporation. LCC QA21 .C232 1965.
  • Dutka, Jacques (1988). "On the St. Petersburg Paradox". Archive for History of Exact Sciences. 39 (1): 13–39. doi:10.1007/BF00329984. {{cite journal}}: Unknown parameter |month= ignored (help)
  • Ferraro, Giovanni (2000). "Analytical Symbols and Geometrical Figures in Eighteenth-Century Calculus". Studies in History and Philosophy of Science. 32 (3): 535–555. doi:10.1016/S0039-3681(01)00009-7.
  •        (2002). "Convergence and Formal Manipulation of Series from the Origins of Calculus to About 1730". Annals of Science. 59: 179–199. doi:10.1080/00033790010028179.{{cite journal}}: CS1 maint: multiple names: authors list (link)
  •        (2005). "Convergence and formal manipulation in the theory of series from 1730 to 1815". Historia Mathematica. doi:10.1016/j.hm.2005.08.004.{{cite journal}}: CS1 maint: multiple names: authors list (link)
  •        and Marco Panza (2003). "Developing into series and returning from series: A note on the foundations of eighteenth-century analysis". Historia Mathematica. 30 (1): 17–46. doi:10.1016/S0315-0860(02)00017-4. {{cite journal}}: Unknown parameter |month= ignored (help)CS1 maint: multiple names: authors list (link)
  • Gerhardt, C.I. (1860). Briefwechsel zwischen Leibniz und Christian Wolf aus den handschriften der Koeniglichen Bibliothek zu Hannover. Halle: H.W. Schmidt.
  • Grattan-Guinness, Ivor (1970). The development of the foundations of mathematical analysis from Euler to Riemann. MIT Press. ISBN 0-262-07034-0.
  • Hardy, G.H. (1949). Divergent Series. Clarendon Press. LCC QA295 .H29 1967.
  • Hitt, Fernando (2005). "L'argumentation, la preuve et la démonstration dans la construction des mathématiques : des entités conflictuelles ? une lettre de Godefroy Guillaume Leibnitz à Chrétien Wolf (1713)" (PDF). GDM 2005: Raisonnement mathématique et formation citoyenne. {{cite conference}}: Unknown parameter |booktitle= ignored (|book-title= suggested) (help)
  • Kline, Morris (1990) [1972]. Mathematical thought from ancient to modern times (3-volume ppk ed. ed.). Oxford UP. ISBN 0-19-506136-5. {{cite book}}: |edition= has extra text (help)
  •        (1983). "Euler and Infinite Series". Mathematics Magazine. 56 (5): 307–314. {{cite journal}}: Unknown parameter |month= ignored (help)CS1 maint: multiple names: authors list (link)
  • Knobloch, Eberhard (2006). "Beyond Cartesian limits: Leibniz's passage from algebraic to "transcendental" mathematics". Historia Mathematica. 33: 113–131. Error: Bad DOI specified!.
  • Knopp, Konrad (1990) [1922]. Theory and Application of Infinite Series. Dover. ISBN 0-486-66165-2.
  • Maor, Eli (1987). To infinity and beyond: a cultural history of the infinite. Birkhäuser. ISBN 3-7643-3325-1.
  • Markushevich, A.I. (1967). Series: fundamental concepts with historical exposition (English translation of 3rd revised edition (1961) in Russian ed.). Hindustan Pub. Corp. LCC QA295 .M333 1967.
  • Mazzone, Silvia and Clara Silvia Roero (1997). Jacob Hermann and the diffusion of the Leibnizian calculus in Italy. Leo S. Olschki. ISBN 88-222-4555-5.
  • Moore, Charles (1938). Summable Series and Convergence Factors. AMS. LCC QA1 .A5225 V.22.
  • Panza, Marco (1992). "La forma della quantità". Cahiers d'Histoire de Philosophie des Sciences. 38. Volume 1, Parte III, Cap. 1, "La questione della serie di Grandi (1696 - 1715)", pp.296-345.
  • Reiff, Richard (1969) [1889]. Geschichte der unendlichen Reihen. Martin Sändig oHG. LCC QA295 .R39 1969. Reiff's German-language work "History of infinite Series" is frequently cited by other sources when they deal with the history of Grandi's series. Hardy (p.21) calls it "useful but uninspiring and not always accurate."
  • Sandifer, Ed (2006). "Divergent series" (PDF). How Euler Did It. MAA Online. {{cite web}}: Unknown parameter |month= ignored (help)
  • Sbaragli, Silvia (2004). "Teacher's convictions on mathematical infinity" (PDF).
  • Schubring, Gert (2005). Conflicts between Generalization, Rigor, and Intuition: Number Concepts Underlying the Development of Analysis in 17-19th Century France and Germany. Springer. ISBN 0-387-22836-5, LCC QA300 .S377 2005.
  • Smail, Lloyd (1925). History and Synopsis of the Theory of Summable Infinite Processes. University of Oregon Press. LCC QA295 .S64.
  • D. J. Struik, editor, A source book in mathematics, 1200-1800 (Princeton University Press, Princeton, New Jersey, 1986). ISBN 0-691-08404-1, ISBN 0-691-02397-2 (pbk). See in particular pp. 178-180 in regard to the versiera (i.e. witch of Agnesi) and Maria Gaetana Agnesi (1718-1799) of Milan, sister of the composer Maria Teresa Agnesi, the first important woman mathematician since Hypatia (fifth century A.D.).
  • Upham, Thomas Cogswell and Dugald Stewart (1831). Elements of Mental Philosophy. Hillard, Gray & Co.
  • Weidlich, John E. (1950). Summability methods for divergent series. Stanford M.S. theses. {{cite book}}: Unknown parameter |month= ignored (help)
Further reading
  • Eves, Howard W. (2002). In Mathematical Circles: A Selection of Mathematical Stories and Anecdotes. The Mathematical Association of America. ISBN 0-88385-542-9.