Skip to main content

History of Mathematics Illuminates Philosophy of Mathematics: Riemann, Weierstrass and Mathematical Understanding

  • Chapter
  • First Online:
The Richness of the History of Mathematics

Part of the book series: Archimedes ((ARIM,volume 66))

  • 417 Accesses

Abstract

This paper explores two respects in which a study of the history of mathematics can enrich the philosophy of mathematics. First, central concepts in the informal methodology of mathematical research—understanding, explanation, the “proper context”, the correct or natural definition of a concept, etc.—can in many cases only be identified, refined and adjudicated as the practice evolves over time. Second, the distinction between mathematics and philosophy in many cases is not sharply delineated. Many paradigmatically “philosophical” goals—identifying central concepts and providing rationales for such choices, analysing concepts, establishing criteria of “rigour” etc.—arise organically within mathematical practice itself. I illustrate these observations by exploring the historical sequence beginning with the rationales of Gauss and Riemann for studying real functions in the complex numbers, with special attention to the double periodicity of elliptic functions. I illustrate the profundity of some of the methodological issues that can arise via a contrast between the Riemann and Weierstrass approaches to elliptic functions and their generalisations.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 149.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 199.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Indeed, you could see much of the present essay as an extended reflection on the discussion of Fourier series in Gray (2009, §3).

  2. 2.

    Lawrence Sklar’s Locke Lectures (Sklar, 2000) make a similar observation for physics: in many cases foundational philosophy arises organically within physics. Of course, there are also important cases where philosophy and mathematics interact at more of a distance, so to speak, such as Riemann’s immersion in Naturphilosophie (cf. Bottazzini and Tazzioli, 1995) and Herbart’s writings in particular (Scholz, 1982), (Ferreirós, 2006), and (Laugwitz, 1999, §3.3). Gray (2008) explores a wealth of other interactions between mathematics and philosophy.

  3. 3.

    “…the ring and the corresponding affine scheme are equivalent objects. The scheme is, however, a more natural setting for many geometric arguments” (Eisenbud and Harris, 1992, p. 5).

  4. 4.

    Early stirrings of this orientation can be found in Lakatos (1976) and the work of Philip Kitcher (for example Kitcher, 1981 and Kitcher, 1984). More recent representatives are the essays in Mancosu (2008) and Ferreirós and Gray (2006).

  5. 5.

    “[Many mathematicians may use expressions like “explanatory”] to mean little more than “of the kind I like”. And different kinds of mathematicians like different kinds of proofs” (Burgess, 2015, p. 96 fn. 22).

  6. 6.

    I have more to say on this topic in Tappenden (1995, 2008, 2012).

  7. 7.

    This case is also discussed in connection with philosophical studies of explanation by Steiner (1978, pp. 18–9), Lange (2010, pp. 329–32), and Skow (2015, pp. 80–2). See also Needham (1997, pp. 64–70).

  8. 8.

    For an extensive collection of other ways, see Boros and Moll (2004, ch. 8). See also Iwasawa (2009).

  9. 9.

    The point is not just that complex numbers should be used, but that they are collectively treated as an object of study in their own right, and as supporting rigorous proof, in contrast to (say) Poisson, who saw them as a tool for discovery but not rigorous proof (Bottazzini and Gray, 2013, p. 127.).

  10. 10.

    Letter of 1811 to Bessel (Gauss, 1880, p. 156). Translation (slightly modified) from Bottazzini and Gray (2013, p. 72).

  11. 11.

    Gauss (1832, p. 102). These and similar passages from Gauss are discussed in Bottazzini and Gray (2013) section 1.5.3 and passim.

  12. 12.

    Gauss (1927, p. 8). Johnson (1979) drew my attention to this letter; the paper (pp. 112–14) has additional quotes and more extended discussion of Gauss’s efforts to articulate the foundations of \(\sqrt {-}1\) including the use of geometric imagery faute de mieux.

  13. 13.

    Ahlfors (1953, p. 3). This passage is quoted more extensively in footnote 36. For a discussion of Riemann’s thesis in its historical context, see Bottazzini and Gray (2013, pp. 263–76) and Laugwitz (1999, pp. 96–123).

  14. 14.

    I’ve modified the translation in Riemann (2004), drawing partly on Abe Schenitzer’s translation in Laugwitz (1999, p. 97).

  15. 15.

    There is precedent for such an analysis of aesthetic judgement in Hutcheson (1725). I have some tentative remarks about fruitfulness and aesthetic judgements of productive richness in Tappenden (2012)

  16. 16.

    For example: “I have tried to avoid Kummer’s elaborate computational machinery so that here too Riemann’s principle may be realized and the proofs compelled not by calculations but by thought alone.” Hilbert (1998, p. X).

  17. 17.

    This “conceptual” dimension of Riemann’s approach is a theme running throughout Laugwitz (1999). I discuss Riemann’s reorientation in a philosophical context in Tappenden (2006) and more briefly in Tappenden (2013, §9.3). A useful brief historical overview of the rivalry is Rowe (2000). For details and philosophical discussion of Dedekind’s Riemann-inspired methodology see Avigad (2006) and Tappenden (2008). Some of the antecedents of the “conceptual” interpretation in Gauss’s work are explored in Ferreirós (2007).

  18. 18.

    This does not mean that Riemann didn’t carry out virtuoso calculations when needed; cf. Siegel (1932, esp. p. 771).

  19. 19.

    The Eisenstein calculation-based treatment resembled in important respects the work of Weierstrass that I’ll consider below. Weil (1976) explores the power of the Eisenstein account. Bottazzini and Gray (2013, §4.2.3.2) puts it in historical context.

  20. 20.

    I discuss this feature of Riemann’s view, with particular emphasis on Frege’s conception of mathematics as dealing with objects rather than symbols, in Tappenden (2005a, 2006), and in §10.6 of Tappenden (2019).

  21. 21.

    Riemann’s definition and the Weierstrass series-based definition I’ll discuss in Sect. 24.5 are essentially equivalent, though it would be some decades before that was proven. The qualifier “essentially” is necessary here; note for example the Weierstrass objection in footnote 50.

  22. 22.

    Riemann (1851, p. 41). The quoted words are from the description of §20 in the table of contents.

  23. 23.

    Jones and Singerman (1987, p. 76).

  24. 24.

    I discuss the “inner characteristic properties” versus “external forms of representation” theme, with other quotes from Dedekind and others, in Tappenden (2006, esp §II). A more systematic examination of this and other aspects of Dedekind’s methodology is Avigad (2006). A more recent paper, which connects Dedekind’s interpretation of Riemann’s methods with contemporary “structuralism” in mathematics is Ferreirós and Reck (2020).

  25. 25.

    Note Bottazzini and Gray (2013, p. 70).

  26. 26.

    In connection with Sect. 24.5 below, note “Eisenstein was also pleased that his approach showed clearly why the elliptic functions are doubly periodic.” (Bottazzini and Gray, 2013, p. 227).

  27. 27.

    In contemporary textbooks, elliptic functions are often just defined as doubly periodic meromorphic functions of a complex variable. See for example Jones and Singerman (1987, p. 72) or Markushevich (1987, p. 138).

  28. 28.

    An aside: This is already a point where the choice of the complex numbers as the domain is theoretically crucial. The inverted function makes sense if restricted to the real numbers, but the fundamental property of double periodicity only appears if the function ranges over all the complex numbers. Except in trivial cases, one of the periods must be a complex, non-real number and the other a real number. This illustrates a point that is often neglected in connection with the subject of ontology in mathematics: extending a domain can change which classifications of objects in the original domain count as “natural”.

  29. 29.

    This “length” is more formally the net effect of a complex velocity along the whole curve, where complex velocities combine differently than real velocities do (so that visually very different paths can all have the same “length” in this sense of same net effect). I’m grateful to Colin McClarty here.

  30. 30.

    On the construction of the Riemann surface for \(\frac {1}{p(z)}\), with \(p(z)\) a polynomial, see Jones and Singerman (1987, pp. 157–67).

  31. 31.

    Wilson (2006, pp. 312–19 ) discusses some of the relevant complexities in a philosophical context.

  32. 32.

    I am of course hopscotching across many complications. For more detail see Jones and Singerman (1987, pp. 149–72 esp. p. 161) or Springer (1981, pp. 1–10).

  33. 33.

    The main reference point for Riemann’s remarks were a specific cluster of results he had derived on hypergeometric series. I’m taking his words to be intended more broadly.

  34. 34.

    No doubt some of the psychological force arises from the fact that this Riemann surface can be visualised. It’s an issue worth study, and visualisation in mathematics has been the topic of excellent research in recent decades, but I’ll set it aside in this paper. Giaquinto (2020) is an excellent survey of this work. The methodological significance of visualisation is complicated for reasons I discuss in Tappenden (2005b) (see especially Sect. 2.3).

  35. 35.

    Speaking on the 100th anniversary of Riemann’s thesis, Ahlfors wrote: “Very few mathematical papers have exercised an influence on the later development of mathematics which is comparable to the stimulus received from Riemann’s dissertation. It contains the germ to a major part of the modern theory of analytic functions, it initiated the systematic study of topology, it revolutionized algebraic geometry, and it paved the way for Riemann’s own approach to differential geometry.” (Ahlfors, 1953, p. 3). The list could easily be extended: Lie groups, algebraic number theory, …(Farkas and Kra, 1992, p. 1).

  36. 36.

    See for example Fillion (2019). Jeremy Gray, Stephen Menn and Philip Kitcher were especially helpful in coaxing me to a more balanced point of view.

  37. 37.

    This conjures up a visual analogy with the periodicity of the sine function, different from the “go around the circle” one. Why is sine periodic with period \(2\pi \)? Because adding \(2\pi \) just shifts the sine curve to the right in such a way that the curve remains unchanged.

  38. 38.

    cf. McKean and Moll (1997, section 2.8 (pp. 84–87)) or Stein and Shakarchi (2003, pp. 266–73) for clear explanations of why the series is the simplest and most reasonable one to pick, given what work the \(\wp \) function is meant to do. For a variety of illustrations of the ubiquity of the \(\wp \)-function, see McKean and Moll (1997, pp. 84–104).

  39. 39.

    For example, avoiding integration proved useful for an extensive range of number types, such as p-adics (Roy, 2017, p. 183).

  40. 40.

    Farkas and Kra (2001, p. XV), (Farkas and Kra, 1992, p. 1), (Napier and Ramachandran, 2011, p. vii).

  41. 41.

    Walker (1996, p. xv). Walker also notes that the Eisenstein series-based treatment displays on its face the analogy with trigonometric functions. See also Weil (1976).

  42. 42.

    See also Weyl (1995a) and Weyl (1995b) (a two part essay), developing the suggestion that algebraic and topological approaches are two fundamentally different and complementary modes of mathematical thinking, with Riemann and Weierstrass on complex analysis as the central reference point.

  43. 43.

    This point is also made in Remmert (1991, pp. 351–2 and 431).

  44. 44.

    cf. Weierstrass (1988, p. 115, p. 141) and Bottazzini and Gray (2013, ch. 9).

  45. 45.

    Siegel (1973, p. 1); the German original appeared in 1966.

  46. 46.

    On the \(\bar {\partial }\)-equation, I’m indebted to correspondence with Jon-Erik Fornæss. The emergence of one style of n-dimensional generalization of Riemann’s approach is charted in Remmert (1998).

  47. 47.

    “…function theory …must be built on the foundation of algebraic truths, and that it is therefore not the right path when the “trancendant” …is taken as the basis of simple and fundamental algebraic propositions. [Appeal to the “transcendant”] seems so attractive at first sight, in that through it Riemann was able to discover so many of the important properties of algebraic functions. (It is self-evident that, as long as he is working, the researcher must be allowed to follow every path he wishes; it is only a matter of systematic foundations.)” (Werke II p. 235).

  48. 48.

    For one contemporary opinion, in connection with elliptic functions in particular, note Remmert’s remark, concerning Abelian functions, which generalise elliptic functions: Though Weierstrass regarded the topic as crucial, “here Riemann’s ideas were more fruitful” (Weierstraß, 1988, p. ix).

  49. 49.

    Weierstrass himself noted several Riemannian lapses of rigour, for example Riemann’s overly general formulation of the Dirichlet principle, as noted in Sect. 24.6.2.2. Another of Weierstrass’s objections directly addressed §20 of Riemann’s thesis, indicating a limitation on the generality of Riemann’s approach. (Weierstrass says §19, but §20 is clearly intended.) Riemann states at the end of §20 that he is not proving that the class of (“monogenic”) functions he is defining coincide with those that can be “expressed by operations on quantities”, but that such a proof would be needed to view his approach as foundational to “a general theory of operations on quantities”, and he certainly appears to believe that such a proof can be found. But though the equivalence holds for the most part, Weierstrass produced a class of counterexamples displaying that “the concept of a monogenic function of one complex variable does not coincide with the concept of a dependence that can be expressed by means of (arithmetical) operations on magnitudes” (Weierstrass, 1880, p. 79). Weierstrass was no doubt pleased to note, “the contrary has been stated by Riemann”. (ibid p. 79 footnote) I am here indebted to Bottazzini and Gray (2013, p. 465), and to a communication from Bottazzini.

  50. 50.

    For present purposes I’m presupposing that we can make sense of the idea that a precise set of concepts and techniques can to some degree or other accurately represent concepts/techniques that are only vaguely implicit in earlier work. There has been philosophical scrutiny of this, tracing back to Burge (1979) on Frege’s view of partial grasp of concepts and Peacocke (1998) on the relation between the Leibniz/Newton treatment of calculus and later ones. Smith (2015) on the derivative is a good recent discussion.

  51. 51.

    See, for example, Clebsch and Gordan (1866). A rich exploration of (inter alia) Clebsch’s approach to Riemann is Gray (1989). An extensive, clear presentation of the Brill-Noether approach is Casas-Alvero (2019). Lê (2017) is a revealing immersion in Clebsch’s computational conception of geometry, including the genus/deficiency relation (see esp. §4.1, §4.2) touched on in footnote 58 below.

  52. 52.

    There were other objections, as noted in footnote 50. Another turned on “purity of method” considerations, as Mittag-Leffler (presumably channeling Weierstrass) wrote that even if Riemann’s approach could be developed rigorously, it would “[introduce] elements into function theory that are in principle altogether foreign”. Frostman (1966, pp. 54–5) cf. Tappenden (2006, p. 113) and Bottazzini and Gray (2013, p. 424).

  53. 53.

    See Bottazzini and Gray (2013, pp. 612–620). A useful compact discussion of the historical events, including Weyl (1997) and its reception, is in Remmert (1998).

  54. 54.

    Indeed, Weyl seems to suggest that Riemann was well aware of this possibility but chose to hold back from conveying “too strange ideas” to his contemporaries. Weyl (1997, p. VII) (Though perhaps this was among the things that prompted Weyl’s mature 3rd edition reflection that his “enthusiastic preface betrayed the youth of the author” (Weyl, 1955, p. VII)).

  55. 55.

    In addition to the technical details, the classic textbook presentation Courant (1950) begins with a brief but clear account of the physical motivations for the principle (pp. 1–3). For historical discussion, see Gray (2015) esp. 14.4, 16.4 and 18.3.

  56. 56.

    Mittag-Leffler notes this in an 1875 letter, for example Frostman (1966, p. 54).

  57. 57.

    Clebsch called this the Geschlecht, usually translated “genus”. (Cayley’s term “deficiency” is sometimes used for genus defined in Clebsch’s way, especially in older textbooks (for example Hilton, 1920, p. 113).) Popescu-Pampu (2016) is illuminating on the history of the variations on the genus concept.

  58. 58.

    This is not to endorse the negative side of Klein’s evaluation. Clebsch’s non-topological approach to genus also marks out a central property as a birational invariant—in this case a central property of algebraic curves, which interacts systematically with the degree of the curve. For reasons of space I won’t explore Weierstrass’ important non-topological definition of genus via his “Lückensatz” (gap theorem). For the history, see Bottazzini and Gray (2013, §6.8.6) and Del Centina (2008). Edwards (2005, ch. 4) (“The Genus of an Algebraic Curve”) explores the value of a further non-topological definition.

  59. 59.

    cf. Jourdain’s introduction to Cantor (1955). Some of the ways nineteenth century analysis shaped the development of set theory are explored in Ferreirós (1999).

  60. 60.

    The addition theorem for \(\wp \) directly entails an algebraic addition theorem for \(\wp \), since \(\wp '(z_1)\) and \(\wp '(z_2)\) are algebraic functions of \(\wp (z_1)\) and \(\wp (z_2)\) cf. Akhiezer (1990, p. 45).

  61. 61.

    Bottazzini and Gray (2013, §6.6.3) and Del Centina (2019). A clear textbook discussion of the mathematical details is Prasolov and Solovyev (1997, §2.9). In this section I’m also indebted to an unpublished manuscript by Mark Villarino, which cites the proof of Weierstrass’s characterisation as indicating that “the ‘cause’ or ‘explanation’ of the existence of a period of the meromorphic function” is the combination of the AAT and the dispersion of points around essential singularities.” (Villarino, 2022, p. 7).

  62. 62.

    For the use of the \(\wp \)-function to demonstrate the group law for elliptic curves see Koblitz (1993, §7 ) or Lang (1978, §§2–3). Griffiths and Harris (1994, p. 240) write of the group structure of cubic curves and the addition theorem for elliptic functions as arising from different “interpretations” of a basic equation containing the \(\wp \)-function. For connections to cryptography and number theory, see Washington (2008). Pastras (2020), as the name suggests, is an illustration of the long reach of the Weierstrass conception, the \(\wp \)-function in particular. Another illustration of the addition-theorem centred conception of elliptic functions in an applied context is the textbook (Hietarinta et al., 2016). See especially Appendix B. See also Nijhoff (2022) Appendix A for more explicit framing remarks.

References

  • Ahlfors, L. 1953. Development of the theory of conformal mapping and Riemann surfaces through a century. Contributions to the theory of Riemann Surfaces, Annals of Mathematics Studies30: 3–13.

    MathSciNet  Google Scholar 

  • Akhiezer, N.I. 1990. Elements of the Theory of Elliptic Functions. Translations of Mathematical Monographs, vol. 79. Providence: American Mathematical Society. Translated from the second Russian edition by H. H. McFaden.

    Google Scholar 

  • Avigad, J. 2006. Methodology and metaphysics in the development of Dedekind’s theory of ideals. In The Architecture of Modern Mathematics, ed. J. Ferreirós and J. Gray, pp. 159–86. Oxford: Oxford University Press.

    Google Scholar 

  • Bell, D. 2010. Poisson’s remarkable calculation—a method or a trick? Elemente der Mathematik65(1): 29–36.

    MathSciNet  Google Scholar 

  • Boros, G., and V. Moll. 2004. Irresistible Integrals. Cambridge: Cambridge University Press.

    Google Scholar 

  • Bottazzini, U., and J. Gray. 2013. Hidden Harmony - Geometric Fantasies. The Rise of Complex Function Theory. New York: Springer.

    Google Scholar 

  • Bottazzini, U., and R. Tazzioli. 1995. Naturphilosophie and its role in Riemann’s mathematics. Revue d’Histoire des Mathématiques1: 3–38.

    Google Scholar 

  • Brill, A., and M. Noether. 1894. Die Entwickelung der Theorie der algebraischen Functionen in älterer und neuerer Zeit. Jahresbericht der Deutschen Mathematiker-Vereinigung3: 107–566.

    Google Scholar 

  • Burge, T. 1979. Individualism and the mental. Midwest Studies in Philosophy4(1): 73–122.

    Google Scholar 

  • Burgess, J.P. 2015. Rigor and Structure. Oxford: Oxford University Press.

    Google Scholar 

  • Cantor, G. 1915–1955. Contributions to the Founding of the Theory of Transfinite Numbers. New York: Dover. 1955 Reprint of 1915 original Translated with an Introduction by Philip Jourdain.

    Google Scholar 

  • Carathéodory, C. 1954. Theory of Functions of a Complex Variable, vol. 1. New York: Chelsea Publishing. Translated by F. Steinhardt.

    Google Scholar 

  • Casas-Alvero, E. 2019. Algebraic Curves, the Brill and Noether Way. Universitext. Cham: Springer.

    Google Scholar 

  • Catanese, F. 2016. Monodromy and normal forms. In Karl Weierstraß (1815–1897), pp. 195–218. Wiesbaden: Springer.

    Google Scholar 

  • Clebsch, A., and P. Gordan. 1866. Theorie der Abelschen Functionen. Leipzig: Teubner.

    Google Scholar 

  • Courant, R. 1950. Dirichlet’s Principle, Conformal Mapping, and Minimal Surfaces. New York: Interscience Publishers.

    Google Scholar 

  • Dedekind, R. 1895. Über die Begründung der Idealtheorie. Nachrichten der Königlichen Gesellschaft der Wissenschaften zu Göttingen, Heft 1, pp. 106–113 Reprinted in Werke II p. 50–58.

    Google Scholar 

  • Dedekind, R., and H. Weber. 1882. Theorie der algebraischen Funktionen einer Veränderlichen. Journal für die Reine und Angewante Mathematik92: 181–290. Reprinted in Dedekind’s Werke I pp. 248–349.

    Google Scholar 

  • Del Centina, A. 2008. Weierstrass points and their impact in the study of algebraic curves: A historical account from the “Lückensatz” to the 1970s. Annali dell’Universitá di Ferrara. Sezione VII. Scienze Matematiche54(1): 37–59.

    MathSciNet  Google Scholar 

  • Del Centina, A. 2019. The addition theorem in Weierstrass’ theory of elliptic and Abelian functions. In Serva di due padroni: Saggi di Storia della Matematica in onore di Umberto Bottazzini, ed. A. Cogliati, pp. 129–69. EGEA spa.

    Google Scholar 

  • Edwards, H.M. 2005. Essays in Constructive Mathematics. New York: Springer.

    Google Scholar 

  • Eisenbud, D., and J. Harris. 1992. Schemes: The Language of Modern Algebraic Geometry. Boston: Wadsworth.

    Google Scholar 

  • Farkas, H.M., and I. Kra. 1992. Riemann Surfaces. Graduate Texts in Mathematics, 2nd edn., vol. 71. New York: Verlag.

    Google Scholar 

  • Farkas, H.M., and I. Kra. 2001. Theta Constants, Riemann Surfaces and the Modular Group. Providence: American Mathematical Society. An introduction with applications to uniformization theorems, partition identities and combinatorial number theory.

    Google Scholar 

  • Ferreirós, J. 1999. Labyrinth of Thought: A History of Set Theory and its Role in Modern Mathematics. Boston: Birkhäuser Verlag.

    Google Scholar 

  • Ferreirós, J. 2006. Riemann’s Habilitationsvortrag at the crossroads of mathematics, physics and philosophy. In The Architecture of Modern Mathematics. Essays in History and Philosophy, ed. J. Ferreirós and J. Gray. Oxford: Oxford University Press.

    Google Scholar 

  • Ferreirós, J. 2007. : The rise of pure mathematics as arithmetic with Gauss. In The Shaping of Arithmetic After C. F. Gauss’s Disquisitiones Arithmeticae, pp. 235–268. Berlin: Springer.

    Google Scholar 

  • Ferreirós, J., and J. Gray, eds. 2006. The Riemannian Background to Frege’s Philosophy. Oxford: Oxford University Press.

    Google Scholar 

  • Ferreirós, J., and E.H. Reck. 2020. Dedekind’s mathematical structuralism: From Galois theory to numbers, sets, and functions. In The Prehistory of Mathematical Structuralism. Logic Computation Philosophy, pp. 59–87. New York: Oxford University Press.

    Google Scholar 

  • Fillion, N. 2019. Conceptual and computational mathematics. Philosophia Mathematica Series III27(2): 199–218.

    MathSciNet  Google Scholar 

  • Frege, G. 1953–1884. The Foundations of Arithmetic, 2nd ed. Evanston: Northwestern University Press. J. L. Austin, Trans. original published 1884, first edition 1950, Translations often modified with suggestions from Beaney 1997.

    Google Scholar 

  • Freudenthal, H. 1975. Riemann. In Dictionary of Scientific Biography, ed. C. Gillespie, vol. 11, pp. 447–56. New York: Scribner’s.

    Google Scholar 

  • Frostman, O. 1966. Aus dem Briefwechsel von G. Mittag-Leffler. In Festschrift zur Gedächtnisfeier für Karl Weierstraß 1815–1965, ed. H. Behnke and K. Kopfermann, pp. 53–56. Wiesbaden: VS Verlag für Sozialwissenschaften.

    Google Scholar 

  • Gauss, C. 1832. Theoria residuorum biquadraticorum: Commentatio seconda. Göttingensche gelehrte Anzeigen7. Page reference to reprinting in Werke II pp. 93–148.

    Google Scholar 

  • Gauss, C.F. 1880. Briefwechsel zwischen Gauss und Bessel. Leipzig: Englemann.

    Google Scholar 

  • Gauss, C.F. 1927. Werke XI. Königlichen Gesellschaft der Wissenschaften.

    Google Scholar 

  • Giaquinto, M. 2020. The epistemology of visual thinking in mathematics. In The Stanford Encyclopedia of Philosophy, ed. E. N. Zalta (Spring 2020 ed.). Metaphysics Research Lab, Stanford University.

    Google Scholar 

  • Gray, J. 1989. Algebraic geometry in the late nineteenth century. In The History of Modern Mathematics, ed. D. Rowe and J. McCleary, vol. I. Cambridge: Academic Press.

    Google Scholar 

  • Gray, J. 2008. Plato’s Ghost: The Modernist Transformation of Mathematics. Oxford: Oxford University Press.

    Google Scholar 

  • Gray, J. 2009. Nineteenth century analysis as philosophy of mathematics. In New Perspectives on Mathematical Practice, ed. B. Van Kerkhove, pp. 138–49. Singapore: World Scientific.

    Google Scholar 

  • Gray, J. 2015. The Real and the Complex: A History of Analysis in the 19th Century. Berlin: Springer.

    Google Scholar 

  • Griffiths, P., and J. Harris. 1994. Principles of Algebraic Geometry. Wiley Classics Library. New York: Wiley. Reprint of the 1978 original.

    Google Scholar 

  • Hietarinta, J., N. Joshi, and F.W. Nijhoff. 2016. Discrete Systems and Integrability. Cambridge Texts in Applied Mathematics. Cambridge: Cambridge University Press.

    Google Scholar 

  • Hilbert, D. 1998. Theory of Algebraic Number Fields. Berlin: Springer. Originally published 1897. Ian T. Adamson (trans).

    Google Scholar 

  • Hilton, H. 1920. Plane Algebraic Curves. Oxford: The Clarendon Press/Oxford University Press.

    Google Scholar 

  • Hutcheson, F. 1973–1725. An Inquiry Concerning Beauty, Order, Harmony, Design. The Hague: Martinus Nijhoff. editor: Kivy, Peter.

    Google Scholar 

  • Iwasawa, H. 2009. Gaussian integral puzzle. The Mathematical Intelligencer31(3): 38–41.

    MathSciNet  Google Scholar 

  • Johnson, D.M. 1979. The problem of the invariance of dimension in the growth of modern topology. I. Archive for History of Exact Sciences20(2): 97–188.

    MathSciNet  Google Scholar 

  • Jones, G.A., and D. Singerman. 1987. Complex Functions. Cambridge: Cambridge University Press. An algebraic and geometric viewpoint.

    Google Scholar 

  • Kitcher, P. 1981. Mathematical rigor - who needs it? Noûs15: 469–493.

    MathSciNet  Google Scholar 

  • Kitcher, P. 1984. The Nature of Mathematical Knowledge. Oxford: Oxford University Press.

    Google Scholar 

  • Klein, F. 1893. The Evanston Colloquium Lectures on Mathematics. New York: McMillan. Alexander Ziwet (ed.).

    Google Scholar 

  • Koblitz, N. 1993. Introduction to Elliptic Curves and Modular Forms, 2nd ed. New York: Springer.

    Google Scholar 

  • Lakatos, I. 1976. Proofs and Refutations, the Logic of Mathematical Discovery. Cambridge: Cambridge University Press. Edited by John Worrall and Elie Zahar.

    Google Scholar 

  • Lang, S. 1978. Elliptic Curves: Diophantine Analysis. Berlin: Springer.

    Google Scholar 

  • Lange, M. 2010. What are mathematical coincidences and why do they matter? Mind119: 307–40.

    MathSciNet  Google Scholar 

  • Laugwitz, D. (1999). Bernhard Riemann: 1826–1866 Turning Points in the Conception of Mathmatics. Boston: Birkhäuser. Abe Shenitzer (trans.).

    Google Scholar 

  • Lê, F. (2017). Alfred Clebsch’s “geometrical clothing” of the theory of the quintic equation. Archive for History of Exact Sciences71(1): 39–70.

    MathSciNet  Google Scholar 

  • Lie, S., and G. Scheffers. 1896. Geometrie der Berührungstransformationen. Leipzig: Teubner. 1956 Reprint: Chelsea Publishers.

    Google Scholar 

  • Mancosu, P. 2001. Mathematical explanation: Problems and prospects. Topoi. An International Review of Philosophy20(1): 97–117.

    MathSciNet  Google Scholar 

  • Mancosu, P., ed. 2008. The Philosophy of Mathematical Practice. Oxford: Oxford University Press.

    Google Scholar 

  • Markushevich, A.I. 1987. Theory of Functions of a Complex Variable, vol. III. Englewood Cliffs: Prentice-Hall. Translated and Edited by Richard Silverman.

    Google Scholar 

  • McKean, H., and V. Moll. 1997. Elliptic Curves. Cambridge: Cambridge University Press. Function theory, geometry, arithmetic.

    Google Scholar 

  • Mittag-Leffler, G. 1876–1923. An introduction to the theory of elliptic functions. Annals of Mathematics. Second Series24(4): 271–351. English Translation by Einar Hille of En Metod att Komma i Analytisk Besittning af de Elliptiska Funktionerna Stockholm 1876.

    Google Scholar 

  • Napier, T., and M. Ramachandran. 2011. An Introduction to Riemann Surfaces. New York: Birkhäuser/Springer.

    Google Scholar 

  • Needham, T. 1997. Visual Complex Analysis. New York: The Clarendon Press Oxford University Press.

    Google Scholar 

  • Neuenschwander, E. 1978–1979. Der Nachlass von Casorati (1835–1890) in Pavia. Archive for History Exact Sciences19(1): 1–89.

    MathSciNet  Google Scholar 

  • Nijhoff, F. 2022. Leeds math5492 lectures. http://www1.maths.leeds.ac.uk/~frank/math5492/AdvLectures.pdf. Accessed 22 April 2022.

    Google Scholar 

  • Pastras, G. 2020. The Weierstrass Elliptic Function and Applications in Classical and Quantum Mechanics—A Primer for Advanced Undergraduates. SpringerBriefs in Physics. Cham: Springer.

    Google Scholar 

  • Peacocke, C. 1998. Implicit conceptions, understanding and rationality. Philosophical Issues9: 43–88.

    Google Scholar 

  • Poincaré, H. 1900. L’oeuvre mathématique de Weierstrass. Acta Mathematica22: 1–18.

    MathSciNet  Google Scholar 

  • Poincaré, H. 1985. Papers on Fuchsian Functions. New York: Springer. Translated from the French and with an introduction by John Stillwell.

    Google Scholar 

  • Popescu-Pampu, P. 2016. What Is the Genus?. Lecture Notes in Mathematics, vol. 2162. Berlin: Springer.

    Google Scholar 

  • Prasolov, V., and Y. Solovyev. 1997. Elliptic Functions and Elliptic Integrals. Memoirs of the American Mathematical Society. Providence: American Mathematical Society. Translated by D. Leites.

    Google Scholar 

  • Remmert, R. 1991. Theory of Complex Functions. New York: Springer. Translated from the second German edition by Robert B. Burckel.

    Google Scholar 

  • Remmert, R. 1998. From Riemann surfaces to complex spaces. In Matériaux pour l’histoire des mathématiques au XX\({ }^{\mathrm {e}}\)siècle (Nice, 1996). Séminares et Congrès, vol. 3, pp. 203–241. Paris: Society of Mathematics France.

    Google Scholar 

  • Riemann, B. 1851. Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Grösse. Inauguraldissertation, Göttingen. Reprinted in Bernhard Riemann’s Gesammelte Mathematische Werke und Wissenschaftlich Nachlass R. Dedekind and H. Weber with Nachträge ed. M. Noether and W. Wirtinger, 3rd edn R Narasimhan (ed) Springer, New York. 1990 1st ed. R. Dedekind, H Weber (eds.) Leipzig: Teubner 1876 pp.3–45. English Translation in Riemann 2004 pp.1–42. Page references to 3rd ed. of Werke.

    Google Scholar 

  • Riemann, B. 1857a. Theorie der Abel’schen Functionen. Journal für die reine und angewandte Mathematik54. Reprinted in Bernhard Riemann’s Gesammelte Mathematische Werke und Wissenschaftlich Nachlass R. Dedekind and H. Weber with Nachträge ed. M. Noether and W. Wirtinger, 3rd edn R Narasimhan (ed) Springer, New York. 1990 1st ed. R. Dedekind, H Weber (eds.) Leipzig: Teubner 1876, pp.88–142. Page references to 3rd ed. of Werke.

    Google Scholar 

  • Riemann, B. 1857b. Abstract of [1857c]. Göttinger Nachrichten1. Bernhard Riemann’s Gesammelte Mathematische Werke und Wissenschaftlich Nachlass R. Dedekind and H. Weber with Nachträge ed. M. Noether and W. Wirtinger, 3rd edn R Narasimhan (ed) Springer, New York. 1990 1st ed. R. Dedekind, H Weber (eds.) Leipzig: Teubner 1876 pp.84–5. Page references to 3rd ed. of Werke.

    Google Scholar 

  • Riemann, B. 1857c. Beiträge zur Theorie der durch die Gauss’sche Reihe \(f(\alpha , \beta , \gamma , x)\) darstellbaren Functionen. Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen7. Reprinted in Bernhard Riemann’s Gesammelte Mathematische Werke und Wissenschaftlich Nachlass R. Dedekind and H. Weber with Nachträge ed. M. Noether and W. Wirtinger, 3rd edn R Narasimhan (ed) Springer, New York. 1990 1st ed. R. Dedekind, H Weber (eds.) Leipzig: Teubner 1876 pp.67–83. Page references to 3rd ed. of Werke English translation.

    Google Scholar 

  • Riemann, B. 1876. Gesammelte Mathematische Werke und Wissenschaftlich Nachlass. Leipzig: Teubner. R. Dedekind and H. Weber eds. 2nd ed. with Nachträge ed. M. Noether and W. Wirtinger, 3rd ed. R Narasimhan (ed) Springer, New York. 1990 1st ed. R. Dedekind, H Weber (eds.) Leipzig: Teubner 1876 pp.3–45. English Translation of 2nd ed as Collected Works R. Baker, C. Christenson and H. Orde trans. 2004 Page references to 3rd ed. of Werke.

    Google Scholar 

  • Riemann, B. 2004. Collected Works. Heber City UT: Kendrick Press. English Translation by R. Baker, C. Christenson and H. Orde of Riemann, B. Gesammelte Mathematische Werke und Wissenschaftlich Nachlass R. Dedekind and H. Weber eds. 2nd ed. with Nachträge.

    Google Scholar 

  • Rowe, D.E. 2000. Episodes in the Berlin-Göttingen rivalry, 1870–1930. The Mathematical Intelligencer22(1): 60–69.

    MathSciNet  Google Scholar 

  • Roy, R. 2017. Elliptic and Modular Functions from Gauss to Dedekind to Hecke. Cambridge: Cambridge University Press.

    Google Scholar 

  • Scholz, E. 1982. Herbart’s influence on Bernhard Riemann. Historia Mathematica9: 413–440.

    MathSciNet  Google Scholar 

  • Siegel, C. 1973. Topics in Complex Function Theory, vol. III Abelian Functions and Modular Functions of Several Variables. New York: Wiley. E. Gottschling and M. Tretkoff (trans.).

    Google Scholar 

  • Siegel, C.L. 1932. Über Riemanns Nachlaß zur analytischen Zahlentheorie. Quellen und Studien zur Geschichte der Mathematik, Astronomie und Physik2: 45–80. Page references to reprinting in Bernhard Riemann’s Gesammelte Mathematische Werke und Wissenschaftlich Nachlass 3rd ed. R Narasimhan (ed). Springer, New York. 1990 pp. 770–805

    Google Scholar 

  • Sklar, L. 2000. Theory and Truth: Philosophical Critique within Foundational Physics. Oxford: Oxford University Press.

    Google Scholar 

  • Skow, B. 2015. Are there genuine physical explanations of mathematical phenomena? British Journal for the Philosophy of Science66(1): 69–93.

    MathSciNet  Google Scholar 

  • Smith, S.R. 2015. Incomplete understanding of concepts. Mind124(496): 1163–1199.

    MathSciNet  Google Scholar 

  • Spivak, M. 1967. Calculus, 1st ed. New York: W. A. Benjamin.

    Google Scholar 

  • Springer, G. 1981. Introduction to Riemann Surfaces. AMS Chelsea Publishing Series. Providence: American Mathematical Society.

    Google Scholar 

  • Stein, E.M., and R. Shakarchi. 2003. Complex Analysis. Princeton Lectures in Analysis, vol. 2. Princeton: Princeton University Press.

    Google Scholar 

  • Steiner, M. 1978. Mathematics, explanation and scientific knowledge. Noûs12: 17–28.

    MathSciNet  Google Scholar 

  • Stillwell, J. 1989. Mathematics and its History. Berlin: Springer.

    Google Scholar 

  • Tappenden, J. 1995. Extending knowledge and ‘fruitful concepts’: Fregean themes in the foundations of mathematics. Noûs29: 427–467.

    MathSciNet  Google Scholar 

  • Tappenden, J. 2005a. The Caesar problem in its historical context: Mathematical background. Dialectica59(fasc. 2): 237–264.

    Google Scholar 

  • Tappenden, J. 2005b. Proof style and understanding in mathematics I: Visualization, unification and axiom choice. In Visualization, Explanation and Reasoning Styles in Mathematics, ed. P. Mancosu and K. Jørgensen. Berlin: Springer.

    Google Scholar 

  • Tappenden, J. 2006. The Riemannian background to Frege’s philosophy. In The Architecture of Modern Mathematics: Essays in History and Philosophy, ed. J. Ferreirós and J. Gray, pp. 97–132. Oxford: Oxford University Press.

    Google Scholar 

  • Tappenden, J. 2008. Mathematical concepts: Fruitfulness and naturalness. In The Philosophy of Mathematical Practice, ed. P. Mancosu, pp. 276–301. Oxford: Oxford University Press.

    Google Scholar 

  • Tappenden, J. 2012. Fruitfulness as a theme in the philosophy of mathematics. Journal of Philosophy109(1–2): 204–219.

    Google Scholar 

  • Tappenden, J. 2013. The mathematical and logical background to analytic philosophy. In The Oxford Handbook of the History of Analytic Philosophy. Oxford: Oxford University Press.

    Google Scholar 

  • Tappenden, J. 2019. Infinitesimals, magnitudes and definition in Frege. In Essays on Frege’s Basic Laws of Arithmetic, ed. by P. Ebert and M. Rossberg, pp. 235–63. Oxford: Oxford University Press.

    Google Scholar 

  • Villarino, M. 2022. Algebraic addition theorems. https://arxiv.org/abs/1212.6471. Accessed March 2022.

    Google Scholar 

  • Walker, P.L. 1996. Elliptic Functions. A Constructive Approach. Chichester: Wiley.

    Google Scholar 

  • Washington, L.C. 2008. Elliptic Curves, 2nd ed. Boca Raton: Chapman & Hall/CRC. Number theory and cryptography.

    Google Scholar 

  • Weierstraß, K. 1878–1988. Einleitung in die Theorie der analytischen Funktionen. Deutsche Mathematiker Vereinigung, Freiburg; Friedr. Vieweg & Sohn, Braunschweig. Vorlesung Berlin 1878. [Berlin lecture of 1878], Lecture notes taken and with supplementary material by Adolf Hurwitz, With a preface by R. Remmert, Edited and with a foreword by Peter Ullrich.

    Google Scholar 

  • Weierstrass, K. 1880. Zur Funktionenlehre. Monatsberichte Berlin52: 719–743. Page references to the reprinting in Weierstrass, K. Abhandlungen aus der Funktionenlehre Berlin: Teubner 1886, 67–101.

    Google Scholar 

  • Weierstrass, K. 1886–1988. Ausgewählte Kapitel aus der Funktionenlehre. Vorlesung, gehalten in Berlin 1886. Mit der akademischen Antrittsrede, Berlin 1857 uns drei weiteren Originalarbeiten von K. Weierstrass aus den Jahren 1870 bis 1880/86. Liepzig: Teubner. Collection of Weierstrass lectures edited and annotated by R. Siegmund-Schultze, 1988.

    Google Scholar 

  • Weil, A. 1976. Elliptic Functions According to Eisenstein to Kronecker. Berlin: Springer.

    Google Scholar 

  • Weyl, H. 1913–1997. Die Idee der Riemannschen Fläche. Stuttgart: B. G. Teubner Verlagsgesellschaft mbH. Reprint of the 1913 German original, With essays by Reinhold Remmert, Michael Schneider, Stefan Hildebrandt, Klaus Hulek and Samuel Patterson, Edited and with a preface and a biography of Weyl by Remmert.

    Google Scholar 

  • Weyl, H. 1955. The Concept of a Riemann Surface. Reading: Addison. translation by G. Maclane of 3rd revised edition of Weyl 1913.

    Google Scholar 

  • Weyl, H. 1995a. Topology and abstract algebra as two roads of mathematical comprehension. I. American Mathematical Monthly102(5): 453–460. Translated from the German by Abe Shenitzer.

    MathSciNet  Google Scholar 

  • Weyl, H. 1995b. Topology and abstract algebra as two roads of mathematical comprehension. II. American Mathematical Monthly102(7): 646–651. Translated from the German by Abe Shenitzer.

    MathSciNet  Google Scholar 

  • Wilson, M. 2006. Wandering Significance. Oxford: Clarendon Press.

    Google Scholar 

Download references

Acknowledgements

It is a great pleasure to dedicate this essay, with gratitude, to Jeremy Gray, as he has been a friend and intellectual mentor almost from the beginning. My happy encounter, as a graduate student, with Gray (1989) transformed my understanding of the potential interactions of history and philosophy of mathematics. It will be clear to anyone reading this paper what a debt it owes to Jeremy’s writings, especially Gray (2015) and Bottazzini and Gray (2013). I’ve accumulated debts to so many people during the long evolution of this paper that a full list would be longer than any editor would allow, so this list is quite compressed. My apologies to anyone I have failed to mention. Early versions of the material in Sect. 24.4 were read at the University of Toronto, CUNY graduate center, Columbia University, UC Irvine, McGill and the University of Paris VII. I am grateful to Howard Stein for instructive written comments on that material. A later evolution, augmented with early versions of Sect. 24.5 was presented to the PoSe seminar at the University of Michigan, the 2015 APMP meetings in Paris, the 2017 MPMW at Notre Dame, and as a plenary address to the 2015 Canadian Mathematical Association meetings in Montréal. I am grateful to those audiences for questions and commentary, not just during the talks themselves but in subsequent discussions and correspondence over the years, especially the late Andrew Arana, Margaret Morrison, Philip Kitcher, Stephen Menn, Lydia Patton, Michael Hallett, Colin McClarty, Paolo Mancosu, Umberto Bottazzini, Marco Panza, Ivahn Smadja, Hourya Sinaceur, Karine Chemla, Bruno Belhoste, Renaud Chorlay and Emmylou Haffner. I’ve learned much about Riemann’s philosophical dimensions from José Ferreirós. I am grateful to the referees of this paper for helpful comments. Thanks to Yu Zhongmiao for helpful feedback. I would have been lost without my Michigan mathematical colleagues, beginning with fondly remembered conversations with the late Juha Heinonen and Mario Bonk when these ideas were just taking form. On these topics I learned from James Milne, Mel Hochster, Al Taylor, Dan Burns and Jens-Eric Fornæss. Most recently I’ve learned much from email and conversation with Lizhen Ji. Finally I’d like to thank the editors of this volume collectively for conceiving and bringing this volume to completion.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jamie Tappenden .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Tappenden, J. (2023). History of Mathematics Illuminates Philosophy of Mathematics: Riemann, Weierstrass and Mathematical Understanding. In: Chemla, K., Ferreirós, J., Ji, L., Scholz, E., Wang, C. (eds) The Richness of the History of Mathematics. Archimedes, vol 66. Springer, Cham. https://doi.org/10.1007/978-3-031-40855-7_24

Download citation

Publish with us

Policies and ethics