Let's all imagine a finite line. See it? Good.
Now, let's imagine that this line is made up of indivisible points. How many of them are there?
Option A: a LOT. But this runs us into a problem: even there are a billion points on a line, what's to stop someone from dividing them into two billion? Then four billion?
Option B: If we're going to divide forever as suggested in option A, perhaps there are a infinite number of indivisible points that make up the line.
Paradox: If we assume that these infinite points have any physical magnitude (even a tiny one!) the line would be infinite in length. If we assume that they don't have a physical magnitude, then the line shouldn't exist at all.
Hmmm.
Amir Alexander's Infinitesimal: How a Dangerous Mathematical Theory Shaped the Modern World deals with the resurgence of this paradox at the start of the 17th century, after it had laid dormant for about 2,000 years. I'm a bit out of my element here (the 17th century is after the time I tend to read about, and math deeply intimidates me) but my overall impression is that Alexander has written a really fun an engaging book, but not a terribly nuanced one.
The central conceit is that in 17th century Europe, technical mathematical debates were inextricably intertwined with contemporary concerns about politics, religion, and social stability. This summation of Thomas Hobbes's attitude towards mathematical sums up the book's thesis and tone fairly well:
Mathematics, Hobbes insisted, must begin with first principles and proceed deductively, step by step, to ever-more-complex but equally certain truths... In this manner, Hobbes believed, an entire world could be constructed - perfectly rational, absolutely transparent, and fully known, a world that held no secrets and whose rules were as simple and absolute as the principles of geometry. It was, when all was said and done, the world of the Leviathan, the supreme sovereigns whose decrees have the power of indisputable truth. Any attempt to tinker with the perfect rational reasoning of mathematics would undermine the perfect rational order of the state and lead to discord, factionalism, and civil war. (286).
Mathematics, for all its abstractions, dealt with the principles that underpinned the world. Topple those, you topple everything else. Alexander explores these ideas in two main sections. The first deals with the Jesuit support of traditional Euclidean geometry and its remarkably successful silencing campaign against Italian mathematicians attempting to introduce the concept of infinitesimals. The second section focuses on the decades-long feud between Thomas Hobbes (proponent of traditional geometric proofs - mostly - and of a state in which all authority was ceded to a sovereign) and John Wallis (Parliamentarian and promoter of a new form of "inductive" mathematics).
Part One - after a truly lengthy diversion into the history of the Reformation and the Jesuit Order - first takes a look at Christopher Clavius, the man who brought mathematics to the Jesuits. As Jesuit schools spread all over the European continent (at least those that still maintained Catholic footholds), they had a very particular curriculum and a very particular hierarchy of subjects. Mathematics was not really a part of it. Christopher Clavius aimed to change that. He was a genuine fan of math, and saw it as an intrinsic part of the Jesuit mission and theology in general. Euclidean proofs were perfect, beautiful, ordered: they were demonstrative of God's plan in the world, the secret but certain underpinnings of the universe. This was particularly attractive in a Post-Reformation society often rent by uncertainty. Math was clear and certain proof of order, and Clavius used this spin to make mathematics a primary part of Jesuit education.
Right around this same time, though, other mathematicians in Italy and abroad were discovering the advantages of the use of infinitesimals. These mathematicians were led by, among others, Bonaventura Cavalieri. The use of infinitesimals began to arise in Italian mathematics as a convenient way of determining areas and comparing figures that would otherwise be difficult to calculate in accordance with traditional mathematical methods. Essentially, Cavalieri introduced the ideas that the area of a figure could be equated to "all its lines" and then that these lines could be compared to each other. It took a few additional steps from there (that I don't really understand because I'm functionally illiterate in terms of mathematics) to reach the calculus created by Leibniz and Newton. This approach, however, was too filled with paradox and uncertainty for the Jesuits and the order systematically shut down all its proponents. In its most extreme example, they were even able to convince Clement IX to shut down the entire Jesuat Order, which had existed for 300 years, because of the mathematical view of Cavalieri and several other members.
Part Two swings over to 17th century England, during and after the political upheavals of the English Civil War. This mathematical dispute, between John Wallis and Thomas Hobbes, is the more interesting of the two. Alexander paints part one as a fairly standard "religion vs. science" narrative, for better and worse. In England, though, matters are trickier and more secular.
Thomas Hobbes became a proponent of a slightly-altered version of Euclidean geometry fairly late in his life, and Alexander paints it as an outgrowth and bolster to his political theory. Hobbes's conception of the Leviathan state - that the populace cedes its sovereignty to a single centralized ruler in order to prevent the mayhem and chaos of the state of nature - was one that believed in a strictly ordered universe. Order and certainty were bulwarks to disaster. Alexander posits that Hobbes saw mathematics, especially geometry, as a kind of kindred spirit, a realm of logic, proof, and certain outcomes. It was because of this that Hobbes became somewhat obsessed in the last decades of life to solve by Euclidean means a handful of problems that had remained unsolvable, the chief of which was squaring the circle. Alexander's Hobbes is a kind of eccentric perfectionist, believing that a successful squaring of the circle would somehow save England from the Diggers.
Unsurprisingly, then, the man had little room for those weird, paradoxical infinitesimals. Enter John Wallis, who managed to become a professor of mathematics at Oxford somehow after being taught accounting by his little brother and working for a while as a government code-breaker (it was probably a political appointment). Wallis's math was abhorrent to Hobbes: he played around in paradoxes, he divided things by infinity. What a mess. But it was on purpose: Wallis's view of what mathematics should be was drastically different from Hobbes's. Instead of a beautiful bulwark of order, Wallis's math was investigative. It aimed to stir up controversies and push at the borders of what was known to try to discover something new. It wasn't a coincidence that Wallis was heavily involved with the emerging Royal Society in London: just as the Society would set up public experiments and debate the meaning of its results, Wallis would play with infinitesimals, experiment with different mathematical relationships and methodologies, in the hope that he would discover something new. It was inductive mathematics, producing results that were likely or probable. Hobbes never accepted it.
It's a fascinating book, and I learned a lot from it. I toyed with giving it four stars just out of enjoyment, but the history stickler in me wound up insisting on three. Alexander often states his case far too strongly and bluntly: the relationship between mathematics and the State or the Church is central, but it's rarely backed up with explicit examples from the time. And the books conclusions take things rather far, by suggesting that because the Jesuits shut down Italian exploration of infinitesimal mathematics they essentially murdered modernity in Italy and turned into a poor, sad, backwater. He then turns around and says that because infinitesimals were accepted in England, a place that had previously been a cultural backwater (!!!) became a leading engine of modernity. There's some truth in all that, of course, but it's drastically oversimplified. A little nuance could have gone a long way.