Skip to main content

Going to the Source(s) of Sources in Mathematicians’ Drafts

  • Chapter
  • First Online:
Research in History and Philosophy of Mathematics

Abstract

The mathematical text in its published form, as we are most used to reading it, is a carefully structured and polished means of communicating results to the scientific community. It is, as Reuben Hersh put it, the ‘front’ of mathematics. In this paper, I propose to look at the ‘back’ of mathematics, at what happens in the privacy of drafts, which can certainly be seen as the mathematician’s laboratory. Considering that these preliminary texts are a part of the mathematical practice—and indeed a crucial one—I will show that they allow us to understand the shaping of mathematics in deep and significant ways. Using a selection of examples, I will focus on questions related to the materiality of mathematical texts, how textual elements and mathematical practices work with each other, the processes of writing in mathematics, and the choices made in writing a text deemed suitable for communication to the scientific community.

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 89.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 119.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.

    [Medawar(1991)].

  2. 2.

    I will consider as drafts all private research manuscripts, not written to be communicated to another reader. It will not matter, here, whether they are ‘just’ working manuscripts without specific publication intents or part of a process that led to a published work.

  3. 3.

    See, for example, [Lützen(1990), Knobloch(2004), Sauer and Schütz(2020), Bustamante(2022)].

  4. 4.

    [Siegel(1932), Edwards(2010)].

  5. 5.

    [Haffner(2018a), Haffner(2023)].

  6. 6.

    Another example of a new light shed by studying drafts is Clare Moriarty’s recent paper on the draft of Maclaurin’s Treatise on Fluxions and what it reveals of the initial ideological concerns of its author [Moriarty(2022)]. There is a number of recent or ongoing works using archival material akin to drafts, many of which I will cite in this paper—there is also a considerably larger number of available (yet often unexploited) notebooks and drafts that are awaiting exploration. My own project funded by the Émergence(s) program of the Ville de Paris, “Brouillons mathématiques” gathers a small team of historians and philosophers focused on such issues (see http://www.item.ens.fr/brouillons-mathematiques-projet-emergences-2022-2026/).

  7. 7.

    Of course, archives contain many unpublished works, in more or less finished states. As we know, many of them have been published and served greatly in advancing our understanding of the history of mathematics. This is not my focus in this paper. I would rather like to focus, here, on aspects of mathematics in the making, on temporary steps before the completion or final stages of a readable or publishable text.

  8. 8.

    [Haffner(2018a)], [Haffner(2023)].

  9. 9.

    While I do not pretend to possess any sort of expertise on Leibniz’s manuscripts as I might have been able to build for Dedekind’s, the material available is too amazing to be overlooked. My remarks on Leibniz have greatly benefited from my discussions with members of the ERC project PHILIUMM, to whom I am very grateful.

  10. 10.

    See http://eliecartanpapers.ahp-numerique.fr/ and [Haffner(2017a)].

  11. 11.

    On note taking as a private scientific practice, see [Bustamante(2020), Bustamante(2022)].

  12. 12.

    [Struik(1922)].

  13. 13.

    Unless stated otherwise, translations are mine.

  14. 14.

    The interested reader can look directly at Cartan’s notes here: http://eliecartanpapers.ahp-numerique.fr/items/show/37.

  15. 15.

    This is not to say that his reading of his contemporaries’ works never led to important breakthroughs in his own research, as his reading of Weyl’s or of Einstein’s works testify.

  16. 16.

    Notation in Leibniz’s mathematics have been fairly well studied, first in [Cajori(1929)], but also in [Serfati(2005), Knobloch(2010), Trunk(2016), Waszek(2018), Gentil(2021)]. Yet the sheer amount of manuscripts available makes this question a still largely to be explored one.

  17. 17.

    Citations for Leibniz manuscripts are from the so-called Akademie edition [Leibniz(1923–)]. VII designates the seventh series on mathematical writings. 5 means the fifth volume. This precise text is translated and commented in [Leibniz and Child(2008)] (see also [Hofmann(1974)], chap. 13).

  18. 18.

    Child’s translation does not reproduce this note—although both Gerhardt’s original edition and the 2008 edition by the Leibniz-Akademie do.

  19. 19.

    See [Rabouin(2021)].

  20. 20.

    This is a reference to Leibniz’s attempts to denote the coefficients of equations by sequences of numbers in order to make writing determinants easier.

  21. 21.

    See, among others, [Knobloch(2004)], [Trunk(2016), Gentil(2021)] on ambiguous signs, or Arilès Remaki’s rich PhD dissertation [Remaki(2021)].

  22. 22.

    While I will concentrate on computations for mainly incidental reasons—they are the approach favored by the authors I am studying—it should be clear that similar observations can certainly be made concerning diagrammatic experimentation. There are instances in the history of mathematics, of course: Leibniz used diagrams, as [Knobloch(2004)] shows well, and we also find diagrams in Riemann’s, Hurwitz’s, or even Dedekind’s drafts. Mathematician and theoretical computer scientist Viviane Pons, who works on algebraic combinatorics at the Laboratoire de Recherche en Informatique at the Université Paris-Saclay, argues for an experimental approach in mathematics (see https://www.youtube.com/watch?v=3LZiZKgVjaU or https://www.lri.fr/~pons/docs/EAUMP/introduction.pdf), and her own notebooks—which are visible in these links and which she showed me personally—are covered in diagrams, sometimes for dozens of pages.

  23. 23.

    Of course, experimental mathematics is an approach argued for by a number of mathematicians (see, for example, the journal titled and dedicated to Experimental mathematics). For historical sources, see [Echeverria(1992), Echeverria(1996), Goldstein(2008), Goldstein(2011)].

  24. 24.

    See [Remaki(2021), 245], for example.

  25. 25.

    Riemann’s computations can certainly also be interpreted as experimentations, to some extent.

  26. 26.

    This is something that Knobloch also notes in Leibniz’s drafts [Knobloch(2004), 77]. It is certainly not the case of every mathematician.

  27. 27.

    I could not locate a related result in Cartan’s publications (but I could have missed it). The notebook contains a variety of research on manifolds and generalised spaces, some related to these pages, many not. See http://eliecartanpapers.ahp-numerique.fr/items/show/21.

  28. 28.

    http://eliecartanpapers.ahp-numerique.fr/items/show/22.

  29. 29.

    [Dedekind(1888)]. I will refer to it as Zahlen.

  30. 30.

    See [Sieg and Schlimm(2005)] for an analysis of the changes in Dedekind’s concept of number reflected in these manuscripts.

  31. 31.

    These documents were published in [Dugac(1976), 293–308].

  32. 32.

    A lot of the pages of this third draft are notes. In those that are redactions, many are crossed out, and some are written with a pencil. This is not the last version in the sense of the version sent to the printer (which, as far as I know, we do not have).

  33. 33.

    In fact, this type of layout is fairly standard, we find it in some of Leibniz’s texts, in some of Cartan’s, in Borel’s notebooks…

  34. 34.

    The concept of mapping is an important concept in Dedekind’s mathematics, used in many areas of his works, and which is subjected to a number of transformations through its uses in number theory, function theory, set theory…It is not my purpose, here, to analyse the changes of the concept of Abbildung, I only wish to study its definition in the versions of Zahlen.

  35. 35.

    There is little difference between these propositions and the published ones.

  36. 36.

    However, the published version gives a definition of the mapping of a system onto itself that mentions the Abbildung being either similar or not.

  37. 37.

    The blue and purple circles were added by me to locate the use of deutlich and ähnlich, as explained below.

  38. 38.

    See [Haffner(2017b), Haffner(2018b), Haffner(2021)] and hopefully, more to come.

  39. 39.

    See http://archives-bourbaki.ahp-numerique.fr/.

  40. 40.

    These are Leibniz’s first mathematical works, in which we witness the beginning of his method of differences. In these manuscripts, Leibniz only attempt to compute the said sum, but later he tries to generalize his approach to pyramidal numbers. These works are also identified as the origin for Leibniz’s harmonic triangle.

  41. 41.

    The title is not Leibniz’s but the editors’.

  42. 42.

    On (the difficulties of) editing Leibniz, see also [Costa and Pasini(2019)].

References

  1. Bustamante MC (2020) À l’aube de la théorie des quanta. Notes inédites d’Émile Borel sur un cours de Paul Langevin au Collège de France (1912–1913). Brepols, Turnhout

    Google Scholar 

  2. Bustamante MC (2022) Parcours, pratique théorique et documents scientifiques “privés” du physicien Jacques Solomon. Comptes Rendus Physique https://doi.org/10.5802/crphys.105, online first

  3. Cajori F (1929) A History of Mathematical Notations, t. II. Rééd. 2007. Cosimo, Inc., New York

    Google Scholar 

  4. Cartan É (1944) Sur une classe de surfaces apparentees aux surfaces R et aux surfaces de Jonas. Bull Sci Math 68(2):41–50; Repr. in Œuvres complètes : Partie III, Divers, géométrie différentielle, vols. 1–2, Gauthier–Villars, Paris, 1955, pp. 1663–1672.

    Google Scholar 

  5. Chemla K (ed) (2004) History of Science, History of Text. Springer, Boston Studies in the Philosophy of Science 238, Dordrecht

    Google Scholar 

  6. Costa A, Pasini E (2019) L’édition critique de la Dynamica de potentia seu de legibus naturæ corporeæ de G. W. Leibniz. Revue d’histoire des sciences 72(1):137–161

    Article  Google Scholar 

  7. Dedekind R (1888) Was sind und was sollen die Zahlen? In: Gesammelte Werke, Vol. III, Ed. par R. Fricke, E. Noether et O. Ore. F. Vieweg and Sohn, Vieweg, Braunschweig. Reéd. Chelsea Publishing Co. (1968), pp 335–392

    Google Scholar 

  8. Descotes D (2010) An unknown mathematical manuscript by Blaise Pascal. Historia Mathematica 37:503–534

    Article  MathSciNet  Google Scholar 

  9. Dugac P (1976) Richard Dedekind et les fondements des mathématiques. Vrin, Paris

    Google Scholar 

  10. Echeverria J (1992) Observations, problems and conjectures in number theory: the history of the prime number theorem. In: Echeverria J, Ibarra A, Mormann T (eds) The Space of Mathematics, De Guryter, New York, pp 230–252

    Chapter  Google Scholar 

  11. Echeverria J (1996) Empirical Methods in Mathematics. A Case-study: Goldbach’s conjecture. In: Munevar G (ed) Spanish Studies in the Philosophy of Science, Kluwer, Dordrecht, pp 19–55

    Chapter  Google Scholar 

  12. Edwards HM (2010) The Algorithmic Side of Riemann’s Mathematics. In: Bott R, Kotiuga P (eds) A Celebration of the Mathematical Legacy of Raoul Bott, American Mathematical Society, Providence, CRM proceedings & lecture notes

    Google Scholar 

  13. Gentil S (2021) Une caractéristique pour les unifier toutes et dans l’harmonie les lier. Unification des équations dans les textes De la méthode de l’universalité. Philosophia Scientiæ 25(2):47–70

    Article  MathSciNet  Google Scholar 

  14. Goldstein C (2008) How to Generate Mathematical Experimentation and Does it Provide Mathematical Knowledge? In: Feest U, Hon G, Rheinberger HJ, Schickore J, Steinle F (eds) Generating Experimental Knowledge, Max Planck Institute for the History of Science, Berlin, pp 61–85

    Google Scholar 

  15. Goldstein C (2011) Les mathématiques comme science d’observation : les convictions de Charles Hermite. In: Ferrara F, Giacardi L, Mosca M (eds) Associazione Subalpina Mathesis Conferenze e seminari 2010–2011, Kim Williams, Torino, pp 147–156

    Google Scholar 

  16. Haffner E (2017a) Esquisse d’une cartographie des cahiers d’Élie Cartan. Revue d’histoire des mathématiques 23(1):125–182

    MathSciNet  Google Scholar 

  17. Haffner E (2017b) Insights into Dedekind and Weber’s edition of Riemann’s Gesammelte Werke. Math Semesterber https://doi.org/10.1007/s00591-017-0194-3

  18. Haffner E (2018a) From modules to lattices, insight into the genesis of Dedekind’s Dualgruppen. British Journal for History of Mathematics pp 23–42

    Google Scholar 

  19. Haffner E (2018b) L’édition des œuvres mathématiques au XIXe siècle en Allemagne. L’exemple des Gesammelte Werke und wissenschaftlicher Nachlass de Bernhard Riemann. Philosophia Scientiæ 22(2):115–135

    Article  MathSciNet  Google Scholar 

  20. Haffner E (2021) The edition of Bernhard Riemann’s collected works: then and now. European Mathematical Society Magazine 120:29–39

    Article  MathSciNet  Google Scholar 

  21. Haffner E (2023) Duality as a guiding light in the genesis of Dedekind’s Dualgruppen. In: Krömer R, Haffner E (eds) Duality in 19th and 20th century mathematical thinking, Birkhäuser, Basel

    Google Scholar 

  22. Hersh R (1991) Mathematics has a front and a back. Synthese 8(2):127–133

    Article  MathSciNet  Google Scholar 

  23. Hofmann J (1974) Leibniz in Paris 1672–1676: His Growth to Mathematical Maturity. Cambridge University Press, URL https://books.google.fr/books?id=tVaVQgAACAAJ

    Google Scholar 

  24. Joffredo T (2019) Une analyse génétique de l’Introduction à l’analyse des lignes courbes algébriques de Gabriel Cramer (1750). Revue d’Histoire des Mathématiques 25(2):235–289

    MathSciNet  Google Scholar 

  25. Knobloch E (2004) Leibniz and the Use of Manuscripts: Text as Process. In: [Chemla(2004)], Cambridge University Press, pp 51–80

  26. Knobloch E (2010) Leibniz between ars characteristica and ars inveniendi: Unknown news about Cajori’s ‘master-builder of mathematical notations’. In: Heeffer A, Van Dyck M (eds) Philosophical Aspects of Symbolic Reasoning in Early-modern Mathematics, Studies in Logic 26. College Publications, London, pp 289–302

    Google Scholar 

  27. Krömer R (2023) Duality à la Bourbaki. In: Krömer R, Haffner E (eds) Duality in 19th and 20th century mathematical thinking, Birkhäuser, Basel

    Google Scholar 

  28. Leibniz G, Child J (2008) The Early Mathematical Manuscripts of Leibniz. Cosimo Classics

    Google Scholar 

  29. Leibniz GW (1923–) Sämtliche Schriften und Briefe. Akademie Verlag, Darmstadt [then] Leipzig [then] Berlin, herausgegeben von der Berlin-Brandenburgischen Akademie der Wissenschaften und der Akademie der Wissenschaften zu Göttingen

    Google Scholar 

  30. Lützen J (1990) Joseph Liouville 1809–1882. Master of Pure and Applied Mathematics. Springer-Verlag, New York

    Book  Google Scholar 

  31. Medawar PB (1991) Is the scientific paper a fraud? (Based on a BBC interview published in The Listener, Sept. 12, 1963). In: The Threat and the Glory: Reflections on Science and Scientists, Oxford University Press, pp 228–233

    Google Scholar 

  32. Moriarty C (2022) Ructions over fluxions: Maclaurin’s draft, the analyst controversy and Berkeley’s anti-mathematical philosophy. Studies in History and Philosophy of Science 96:77–86

    Article  MathSciNet  Google Scholar 

  33. Rabouin D (2021) Présentation des manuscrits. Philosophia Scientiæ 25(2):133–154

    MathSciNet  Google Scholar 

  34. Remaki A (2021) L’art combinatoire en tant qu’art d’inventer chez Leibniz, sur la période 1672–1680. PhD thesis, Université de Paris, Paris

    Google Scholar 

  35. Sauer T, Schütz T (2020) Einstein’s Washington Manuscript on Unified Field Theory. Berichte zur Wissenschaftsgeschichte 44:94–105

    Article  Google Scholar 

  36. Serfati M (2005) La révolution symbolique: la constitution de l’écriture symbolique mathématique. Pétra

    Google Scholar 

  37. Sieg W, Schlimm D (2005) Dedekind’s analysis of number: systems and axioms. Synthese 147:121–170

    Article  MathSciNet  Google Scholar 

  38. Siegel CL (1932) Über Riemanns Nachlass zur analytischen Zahlentheorie. Quell Stud Gesch Math 2:45–80

    Google Scholar 

  39. Struik DJ (1922) Grundzüge der mehrdimensionalen Differentialgeometrie in direkter Darstellung. Springer

    Book  Google Scholar 

  40. Trunk A (2016) Sechs Systeme. Leibniz und seine signa ambigua. In: Li W, Beckmann U, Erdner S, Errulat EM (eds) Für unser Glück oder das Glück anderer”, Vorträge des X. Internationalen Leibniz-Kongresses, Olms Verlag, Hildesheim, pp 191–207

    Google Scholar 

  41. Van Hulle D (2009) Textual Awareness: A Genetic Study of Late Manuscripts by Joyce, Proust, and Mann. Editorial Theory And Literary Criticism, University of Michigan Press

    Google Scholar 

  42. Waszek D (2018) Les représentations en mathématiques. PhD thesis, Université Paris 1 Panthéon Sorbonne, Paris

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Emmylou Haffner .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2024 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

Haffner, E. (2024). Going to the Source(s) of Sources in Mathematicians’ Drafts. In: Zack, M., Waszek, D. (eds) Research in History and Philosophy of Mathematics. Annals of the Canadian Society for History and Philosophy of Mathematics/ Société canadienne d’histoire et de philosophie des mathématiques. Birkhäuser, Cham. https://doi.org/10.1007/978-3-031-46193-4_6

Download citation

Publish with us

Policies and ethics