Opinionated History of Mathematics

There is nothing counterintuitive about an infinite shape with finite volume, contrary to the common propaganda version of the calculus trope known as Torricelli’s trumpet. Nor was this result seen as counterintuitive at the time of its discovery in the 17th century, contrary to many commonplace historical narratives. Transcript Torricelli’s trumpet is not counterintuitive. Your … Continue reading Torricelli’s trumpet is not counterintuitive

Einstein’s theory of special relativity defines time and space operationally, that is to say, in terms of the actions performed to measure them. This is analogous to the constructivist spirit of classical geometry.

Geometry might be innate in the same way as language. There are many languages, each of which is an equally coherent and viable paradigm of thought, and the same can be said for Euclidean and non-Euclidean geometries. As our native language is shaped by experience, so might our “native geometry” be. Yet substantive innate conceptions may be a precondition for any linguistic or spatial thought to be possible at all, as Chomsky said for language and Kant for geometry. Just as language learning requires singling out, from all the sounds in the environment, only the linguistic ones, so Poincaré articulated criteria for what parts of all sensory data should be regarded as pertaining to geometry.

Kant developed a philosophy of geometry that explained how geometry can be both knowable in pure thought and applicable to physical reality. Namely, because geometry is built into not only our minds but also the way in which we perceive the world. In this way, Kant solved the applicability problem of classical rationalism, albeit at the cost of making our perception of the world around us inextricably subjective. Kant’s theory also showed how rationalism, and philosophy generally, could be reconciled with Newtonian science, with which it had been seen as embarrassingly out of touch. In particular, Kant’s perspective shows how Newton’s notion of absolute space, which had seemed philosophically repugnant, can be accommodated from an epistemological point of view.

Euclid inspired Gothic architecture and taught Renaissance painters how to create depth and perspective. More generally, the success of mathematics went to its head, according to some, and created dogmatic individuals dismissive of other branches of learning. Some thought the uncompromising rigour of Euclid went hand in hand with totalitarianism in political and spiritual domains, while others thought creative mathematics was inherently free and liberal.

The use of diagrams in geometry raise questions about the place of the physical, the sensory, the human in mathematical reasoning. Multiple sources of evidence speak to how these dilemmas were tackled in antiquity: the linguistics of diagram construction, the state of drawings in the oldest extant manuscripts, commentaries of philosophers, and implicit assumptions in … Continue reading “Let it have been drawn”: the role of diagrams in geometry

The etymology of the term “postulate” suggests that Euclid’s axioms were once questioned. Indeed, the drawing of lines and circles can be regarded as depending on motion, which is supposedly proved impossible by Zeno’s paradoxes. Although whether these postulates correspond to ruler and compass or not is debatable, especially since Euclid seems to restrict himself … Continue reading Created equal: Euclid’s Postulates 1-4

How should axioms be justified? By appeal to intuition, or sensory perception? Or are axioms legitimated merely indirectly, by their logical consequences? Plato and Aristotle disagreed, and later Newton disagreed even more. Their philosophies can be seen as rival interpretations of Euclid’s Elements. Transcript What kinds of axioms do we want in our geometry? How … Continue reading What makes a good axiom?

The Pythagorean Theorem might have been used in antiquity to build the pyramids, dig tunnels through mountains, and predict eclipse durations, it has been said. But maybe the main interest in the theorem was always more theoretical. Euclid’s proof of the Pythagorean Theorem is perhaps best thought of not as establishing the truth of the … Continue reading Read Euclid backwards: history and purpose of Pythagorean Theorem

Proof-oriented geometry began with Thales. The theorems attributed to him encapsulate two modes of doing mathematics, suggesting that the idea of proof could have come from either of two sources: attention to patterns and relations that emerge from explorative construction and play, or the realisation that “obvious” things can be demonstrated using formal definitions and … Continue reading First proofs: Thales and the beginnings of geometry

The Greek islands were geographically predisposed to democracy. The ritualised, antagonistic debates of parliaments and law courts were then generalised to all philosophical domains, creating a unique intellectual climate that put a premium on adversarialism and pure reason. This style of thought proved ideal for mathematics. Transcript Why the Greeks, of all people? Why did … Continue reading Why the Greeks?

Our picture of Greek antiquity is distorted. Only a fraction of the masterpieces of antiquity have survived. Decisions on what to preserve were made by in ages of vastly inferior intellectual levels. Aristotelian philosophy is more accessible for mediocre minds than advanced mathematics and science. Hence this simpler part of Greek intellectual achievement was eagerly … Continue reading Historiography of Galileo’s relation to antiquity and middle ages