Posts Tagged ‘Euclid’

Infinitesimal by Alexander AmirInfinitesimal: How a Dangerous Mathematical Theory Shaped the Modern World, Amir Alexander (Oneworld 2014)

Infinitesimal is an entertaining read on a fascinating topic: the pioneers of a new form of mathematics and those who opposed them. Amir Alexander claims that “the ultimate victory of the infinitely small helped open the way to a new and dynamic science, to religious toleration, and to political freedoms unknown in human history” (Introduction, pg. 14).

It’s an extraordinary claim and I don’t think he manages to provide extraordinary proof for it. In fact, he probably gets cause-and-effect reversed. Is it likelier that new mathematics opened minds, dynamized science and transformed politics or that open minds created new forms of mathematics, science and politics? I’d suggest that support for the new mathematics was a symptom, not a cause, of a new psychology. But Alexander makes a good case for his thesis and there is no doubt that the world was changed by the willingness of mathematicians to use infinitesimals. Calculus was one result, after all. The book begins in Italy and ends in England, because the pioneers lost in Italy:

For nearly two centuries, Italy had been home to perhaps the liveliest mathematical community in Europe. … But when the Jesuits triumphed over the advocates of the infinitely small, this brilliant tradition died a quick death. With Angeli silenced, and Viviani and Ricci keeping their mathematical views to themselves, there was no mathematician left in Italy to carry on the torch. The Jesuits, now in charge, insisted on adhering close to the methods of antiquity, so that the leadership in mathematical innovation now shifted decisively, moving beyond the Alps, to Germany, England, France and Switzerland. (ch. 5, “The Battle of the Mathematicians”, pg. 178)

Why were the Jesuits involved in an esoteric mathematical dispute? You might say that de minimis curat Loyola – Ignatius Loyola (1491-1556), founder of the Jesuits, cared about anything, no matter how small, that might undermine the authority of the Church. In the view of his successors, the doctrine of indivisibles did precisely that: “in its simplest form, the doctrine states that every line is composed of a string of points, or ‘indivisibles’, which are the line’s building blocks, and which cannot themselves be divided” (Introduction, pg. 9).

Indivisibles must be infinitesimally small, or they wouldn’t be indivisible, but then how does an infinitesimal point differ from nothing at all? And if it isn’t nothing, why can’t it be divided? These paradoxes were familiar to the ancient Greeks, which is why they rejected infinitesimals and laid the foundations of mathematics on what seemed to them to be solider ground. In the fourth century before Christ, Euclid used axioms and rigorous logic to create a mathematical temple for the ages. He proved things about infinity, like the inexhaustibility of the primes, but he didn’t use infinitesimals. When Archimedes broke with Greek tradition and used infinitesimals to make new discoveries, “he went back and proved every one of them by conventional geometrical means, avoiding any use of the infinitely small” (Introduction, pg. 11).

So even Archimedes regarded them as dubious. Aristotle rejected them altogether and Aristotle became the most important pre-Christian influence on Thomas Aquinas and Catholic philosophy. Accordingly, when mathematicians began to look at infinitesimals again, the strictest Catholics opposed the new development. Revolutionaries like Galileo were opposed by reactionaries like Urban VIII.

But the story is complicated: Urban had been friendly to Galileo until “the publication of Galileo’s Dialogue on the Copernican system and some unfavourable political developments” (pg. 301). So I don’t think the mathematics was driving events in the way that Alexander suggests. Copernicus didn’t use them and the implications of his heliocentrism were much more obvious to many more people than the implications of infinitesimals could ever have been. That’s why Copernicus was frightened of publishing his ideas and why Galileo faced the Inquisition for his astronomy, not his mathematics.

But Amir’s thesis makes an even more interesting story: the tiniest possible things had the largest possible consequences, creating a new world of science, politics and art. In Italy, two of the chief antagonists were Galileo and Urban; in England, two were the mathematician John Wallis (1616-1703) and the philosopher Thomas Hobbes (1588-1679). Alexander discusses Wallis and Hobbes in Part II of the book, “Leviathan and the Infinitesimal”. Hobbes thought that de minimis curat rex – “the king cares about tiny things”. Unless authority was absolute and the foundations of knowledge certain, life would be “nasty, brutish and short”.

However, there was a big problem with his reasoning: he thought he’d achieved certainty when he hadn’t. Hobbes repeatedly claimed to have solved the ancient problem of the “quadrature of the circle” – that is, creating a square equal in size to a given circle using only a compass and an unmarked ruler. Wallis demolished his claims, made Hobbes look foolish, and strengthened the case for religious toleration and political freedom. But I don’t think this new liberalism depended on new mathematics. Instead, both were products of a new psychology. Genetics will shed more light on the Jesuits and their opponents than polemics and geometry textbooks from the period. Alexander’s theory is fun but flawed.

Read Full Post »

Numericon by Marianne Freiberger and Rachel ThomasNumericon, Marianne Freiberger and Rachel Thomas (Quercus Editions 2014)

An easy-to-read introduction to some profound and difficult ideas. You can start climbing the foothills of Mount Maths here and train for the icy cliffs and avalanche-scoured slopes above. And perhaps the mountain rises for ever. There may be important mathematical questions that are impossible to answer. But some answers we already have, like the irrationality of √2 and the infinitude of the primes, are astonishing to contemplate. How are finite creatures able to discover facts about infinity? Logic is a lever that can move more than the universe. Euclid described 2,300 years ago how it could be used to prove that primes never ended: for every integer, there is a prime.

Numericon explains his proof, then goes on to describe how the German Georg Cantor (1845-1918) used logic to prove that there is more than one kind of infinity. In fact, there’s an infinite hierarchy of infinities, climbing endlessly into the metaphysical empyrean. That seems like an insane idea and Cantor did end his life in a sanatorium. He’s an extreme example of something Freiberger and Thomas note in their introduction: that mathematicians are often eccentric. It’s a strange subject that doesn’t come naturally to human beings. We can’t escape it, because our brains and bodies are governed by mathematics, but we don’t need to apply it explicitly and consciously to get through life. Those who lift the surface of reality and gaze upon its brilliant mathematical core can find that the light troubles and even subverts their brains.

And some avert their gaze. The German Carl Friedrich Gauss (1777-1855) may have been the greatest mathematician who ever lived, but he declined to publish his revolutionary ideas about Euclid’s fifth axiom: that parallel lines never meet. New geometries arise if the axiom is eliminated, but Gauss didn’t claim the credit for discovering them. As this book describes, it was the younger mathematicians János Bolyai (1802-60) and the Russian Nikolai Lobachevsky (1792-1865). And Bolyai’s mathematician father had tried to warn his son off.

Mathematicians need a sense of adventure. They need recognition and support too, but sometimes even the great ones find both hard to win. Sometimes their greatness is part of the problem, because the work they produce is too new and powerful to be properly appreciated. The Norwegian Niels Henrik Abel (1802-29) died at 26 “from tuberculosis and in abject poverty” (pg. 183). The Frenchman Évariste Galois (1811-32) died even younger, at 21, fatally wounded in a duel. Perhaps it was an affair de cœur, perhaps a plot by his enemies: Galois was revolutionary in both his mathematics and his politics. The Indian Srinivasa Ramanujan (1887-1920) is another great who died young after making discoveries of permanent value.

This book discusses all three and many more, but mathematicians aren’t truly important. Mathematics is necessary; mathematicians are contingent. If advanced civilizations exist on other planets or in parallel universes, their art and literature might be entirely different from our own or might not exist at all. But their mathematics would be recognizable, whatever the nature of the brains that had discovered it. Advanced civilization is impossible to imagine without mathematics and although we can ignore mathematics if we choose, we’re missing something central to existence if we do. As Darwin said: it seems to give one an extra sense. It’s a mind’s eye that can see into infinity – and into infinitesimality.

As though to reflect the importance of mind in maths, this book has relatively few and simple illustrations. Maths can yield gorgeous complexity for real eyes, but the mind’s eye is more important. So this book is eye-candy for the mind. Eye-brandy too: maths can both dazzle you and make you drunk. It’s appropriate that Numericon echoes Necronomicon, because new worlds wait within the pages of both.

Read Full Post »