Opinionated History of Mathematics

Copernicus’s planetary models contain elements also found in the works of late medieval Islamic astronomers associated with the Maragha School, including the Tusi couple and Ibn al-Shatir’s models for the Moon and Mercury. On this basis many historians have concluded that Copernicus must have gotten his hands on these Maragha ideas somehow or other, even … Continue reading Did Copernicus steal ideas from Islamic astronomers?

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.

Reviel Netz’s New History of Greek Mathematics contains a number of factual errors, both mathematical and historical. Netz is dismissive of traditional scholarship in the field, but in some ways represents a step backwards with respect to that tradition. I argue against Netz’s dismissal of many anecdotal historical testimonies as fabrications, and his “ludic proof” … Continue reading Review of Netz’s New History of Greek Mathematics

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.

The discovery of non-Euclidean geometry in the 19th century radically undermined traditional conceptions of the relation between mathematics and the world. Instead of assuming that physical space was the subject matter of geometry, mathematicians elaborated numerous alternative geometries abstractly and formally, distancing themselves from reality and intuition.

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.

Rationalism says mathematical knowledge comes from within, from pure thought; empiricism that it comes from without, from experience and observation. Rationalism led Kepler to look for divine design in the universe, and Descartes to reduce all mechanical phenomena to contact mechanics and all curves in geometry to instrumental generation. Empiricism led Newton to ignore the cause of gravity and dismiss the foundational importance of constructions in geometry.

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.

Philosophical movements in the 17th century tried to mimic the geometrical method of the ancients. Some saw Euclid—with his ruler and compass in hand—as a “doer,” and thus characterised geometry as a “maker’s knowledge.” Others got into a feud about what to do when Euclid was at odds with Aristotle. Descartes thought Euclid’s axioms should be justified via theology.

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 mathematical proofs.