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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 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.
See, for example, [Lützen(1990), Knobloch(2004), Sauer and Schütz(2020), Bustamante(2022)].
- 4.
- 5.
- 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.
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.
[Haffner(2018a)], [Haffner(2023)].
- 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.
- 11.
On note taking as a private scientific practice, see [Bustamante(2020), Bustamante(2022)].
- 12.
[Struik(1922)].
- 13.
Unless stated otherwise, translations are mine.
- 14.
The interested reader can look directly at Cartan’s notes here: http://eliecartanpapers.ahp-numerique.fr/items/show/37.
- 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.
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.
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.
Child’s translation does not reproduce this note—although both Gerhardt’s original edition and the 2008 edition by the Leibniz-Akademie do.
- 19.
See [Rabouin(2021)].
- 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.
See, among others, [Knobloch(2004)], [Trunk(2016), Gentil(2021)] on ambiguous signs, or Arilès Remaki’s rich PhD dissertation [Remaki(2021)].
- 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.
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.
See [Remaki(2021), 245], for example.
- 25.
Riemann’s computations can certainly also be interpreted as experimentations, to some extent.
- 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.
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.
- 29.
[Dedekind(1888)]. I will refer to it as Zahlen.
- 30.
See [Sieg and Schlimm(2005)] for an analysis of the changes in Dedekind’s concept of number reflected in these manuscripts.
- 31.
These documents were published in [Dugac(1976), 293–308].
- 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.
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.
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.
There is little difference between these propositions and the published ones.
- 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.
The blue and purple circles were added by me to locate the use of deutlich and ähnlich, as explained below.
- 38.
See [Haffner(2017b), Haffner(2018b), Haffner(2021)] and hopefully, more to come.
- 39.
- 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.
The title is not Leibniz’s but the editors’.
- 42.
On (the difficulties of) editing Leibniz, see also [Costa and Pasini(2019)].
References
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
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
Cajori F (1929) A History of Mathematical Notations, t. II. Rééd. 2007. Cosimo, Inc., New York
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.
Chemla K (ed) (2004) History of Science, History of Text. Springer, Boston Studies in the Philosophy of Science 238, Dordrecht
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
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
Descotes D (2010) An unknown mathematical manuscript by Blaise Pascal. Historia Mathematica 37:503–534
Dugac P (1976) Richard Dedekind et les fondements des mathématiques. Vrin, Paris
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
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
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
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
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
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
Haffner E (2017a) Esquisse d’une cartographie des cahiers d’Élie Cartan. Revue d’histoire des mathématiques 23(1):125–182
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
Haffner E (2018a) From modules to lattices, insight into the genesis of Dedekind’s Dualgruppen. British Journal for History of Mathematics pp 23–42
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
Haffner E (2021) The edition of Bernhard Riemann’s collected works: then and now. European Mathematical Society Magazine 120:29–39
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
Hersh R (1991) Mathematics has a front and a back. Synthese 8(2):127–133
Hofmann J (1974) Leibniz in Paris 1672–1676: His Growth to Mathematical Maturity. Cambridge University Press, URL https://books.google.fr/books?id=tVaVQgAACAAJ
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
Knobloch E (2004) Leibniz and the Use of Manuscripts: Text as Process. In: [Chemla(2004)], Cambridge University Press, pp 51–80
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
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
Leibniz G, Child J (2008) The Early Mathematical Manuscripts of Leibniz. Cosimo Classics
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
Lützen J (1990) Joseph Liouville 1809–1882. Master of Pure and Applied Mathematics. Springer-Verlag, New York
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
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
Rabouin D (2021) Présentation des manuscrits. Philosophia Scientiæ 25(2):133–154
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
Sauer T, Schütz T (2020) Einstein’s Washington Manuscript on Unified Field Theory. Berichte zur Wissenschaftsgeschichte 44:94–105
Serfati M (2005) La révolution symbolique: la constitution de l’écriture symbolique mathématique. Pétra
Sieg W, Schlimm D (2005) Dedekind’s analysis of number: systems and axioms. Synthese 147:121–170
Siegel CL (1932) Über Riemanns Nachlass zur analytischen Zahlentheorie. Quell Stud Gesch Math 2:45–80
Struik DJ (1922) Grundzüge der mehrdimensionalen Differentialgeometrie in direkter Darstellung. Springer
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
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
Waszek D (2018) Les représentations en mathématiques. PhD thesis, Université Paris 1 Panthéon Sorbonne, Paris
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
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
DOI: https://doi.org/10.1007/978-3-031-46193-4_6
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-031-46192-7
Online ISBN: 978-3-031-46193-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)