I am now working on the chapter of my book (on formal languages) which focuses on the historical development of formal languages and mathematical formalisms more generally. I wish I could go into these developments much more thoroughly than I will be able to in the book (given word limit and time constraints), as they are truly fascinating. (It is no secret to anyone having read my previous posts that I am obsessed with the topic of notations and symbolic systems!) So for now, let me share some bibliographical suggestions and a digest of my main findings.
Some of you may be thinking that this topic is not of obvious interest in the context of a blog on mathematical philosophy. But one of the hallmarks of mathematical philosophy is certainly the use of mathematical formalisms and special notational systems, and thus a better understanding of this methodology (including its history) does seem to fall within the remit of the blog. (At any rate, feel free to stop reading if you don't care much about history!) For those who are still with me, here we go.
A question that had puzzled me for years is: where does the explosive progress in mathematical notation of the 16th and 17th centuries come from? I knew enough about Latin medieval *academic* mathematics to know that nothing in the quadrivium curriculum seemed to anticipate the birth of modern algebra with Viete and Descartes. So it had to come from somewhere else, but where? Well, last year I attended a conference in
By the end of the fifteenth century there existed two independent traditions of mathematical practice. On the one hand there was the Latin tradition as taught at the early universities and monastery schools in the quadrivium. Of these four disciplines arithmetic was the dominant one with De Institutione Arithmetica of Boethius as the authoritative text. Arithmetic developed into a theory of proportions as a kind of qualitative arithmetic rather than being of any practical use, which appealed to esthetic and intellectual aspirations. On the other hand, the south of
also knew a flourishing tradition of what Jens Hoyrup (1994) calls “sub-scientific mathematical practice”. Sons of merchants and artisans, including well-known names such as Dante Alighieri and Leonardo da Vinci, were taught the basics of reckoning and arithmetic in the so-called abbaco schools in the cities of North Italy, the Europe Provence, and . The teachers or maestri d’abbaco produced between 1300 and 1500 about 250 extant treatises on arithmetic, algebra, practical geometry and business problems in the vernacular. The mathematical practice of these abbaco schools had clear practical use and supported the growing commercialization of European cities. These two traditions, with their own methodological and epistemic principles, existed completely separately. (Heeffer, forthcoming) Catalonia
Basically, the abbaco tradition was the missing link between Arabic algebra as consolidated in al-Khwārizmī’s “Book on restoration and opposition” (which in turn was inspired by other mathematical traditions, such as the Indian tradition) and the algebra of Viete and Descartes. The interesting thing is that Viete himself emphasizes his indebtedness to three Greek mathematicians (Pappus, Diophantus and Eudoxus -- see this paper by Danielle Macbeth), but makes no reference to either Arabic algebra or to the sub-scientific abbaco schools (this fits well the Renaissance ethos of the time, going back to the Classics!). But besides the 'canonical' Arabic tradition, the abbaco tradition was much inspired by the introduction of special symbols and techniques to operate with the symbolism emerging in the mathematical tradition of the Maghreb in the later Middle Ages (again, it makes sense, as the abbaco people were merchants and thus traveled a lot!). The Maghrebian tradition appears to be the historical place of birth for many of the notational conventions still widely used, such as the notation for fractions.
Thus, one lesson to be learned here is that focusing only on the official, 'academic' story is simply not enough to understand the emergence of modern mathematical symbolism; the sub-scientific tradition of the abbaco schools is a crucial piece in the puzzle.
Here are some additional references:
- A whole volume with the title Philosophical aspects of symbolic reasoning in Early Modern mathematics (and freely available!). In particular, the paper by Hoyrup tells the story of the development towards algebraic symbolization from circa 1300 to 1550, and the paper by Heeffer covers the ground immediately preceding Viete.
- Another paper by Hoyrup, a concise survey of proto-algebra and pre-modern algebra.
- Chapter 5 of Bellos' Alex's Adventures in Numberland, which I also mentioned in my previous post. In it (p.181), we discover for example that the reason why we use x as the main symbol for the unknown is because it is one of the least used letters in French! Descartes introduced the convention that letters towards the end of the alphabet would be used for unknown quantities (while those at the beginning would be used for known quantities), but as his La Geometrie was being printed, the printer was running out of letters (think of the old-fashioned printing method of using small lead letters to imprint the paper). He asked if it mattered whether x, y or z was used; since it did not matter, he opted for x simply because it is used less frequently in French. And here we are, still stuck with x's!UPDATE: Kai von Fintel makes the excellent suggestion of adding some links to the (still) definitive account of the history of mathematical notations: Florian Cajori's A History of Mathematical Notations (1928).The first volume can be downloaded (for free) here, the second seems not to have been scanned yet. And here is a compilation (from Cajori's book) of earliest uses of various mathematical notations.