Article ID: CBB308715233

Gapless Lines and Gapless Proofs: Intersections and Continuity in Euclid’s Elements (2021)

unapi

In this paper, I attempt a reconstruction of the theory of intersections in the geometry of Euclid. It has been well known, at least since the time of Pasch onward, that in the Elements there are no explicit principles governing the existence of the points of intersections between lines, so that in several propositions of Euclid the simple crossing of two lines (two circles, for instance) is regarded as the actual meeting of such lines, it being simply assumed that the point of their intersection exists. Such assumptions are labelled, today, as implicit claims about the continuity of the lines, or about the continuity of the underlying space. Euclid’s proofs, therefore, would seem to have some demonstrative gaps that need to be filled by a set of continuity axioms (as we do, in fact, find in modern axiomatizations). I show that Euclid’s theory of intersections was not in fact based on any notion of continuity at all. This is not only because Greek concepts of continuity (such as the Aristotelian ones) were largely insufficient to ground a geometrical theory of intersections, but also, at a deeper level, because continuity was simply not regarded as a notion that had any role to play in the latter theory. Had Euclid been asked to explain why the points of intersections of lines and circles should exist, it would have never occurred to him to mention continuity in this connection. Ancient geometry was very different from ours, and it is only our modern views on continuity that tend to give rise to the expectation that this latter must be included in the foundations of elementary mathematics. We may hope to reconstruct Euclid’s views on intersections if we undertake a critical examination both of the extension and of the limits of ancient diagrammatic practices. This is tantamount to attempting to understand to what extent the existence of an intersection point may be inferred just from the inspection of a diagram, and in which cases we need rather to supplement such inference by propositional rules. This leads us to discuss Euclid’s definition of a point, and to work out the details of the complex interaction between diagrams and text in ancient geometry. We will see, then, that Euclid may have possessed a theory of intersections that was sufficiently rigorous to dispel the main objections that could be advanced in antiquity.

...More
Citation URI
https://data.isiscb.org/isis/citation/CBB308715233/

Similar Citations

Article Solere, Jean-Luc; (2003)
L'ordre axiomatique comme modèle d'écriture philosophique dans l'Antiquité et au Moyen Age (/isis/citation/CBB000770963/)

Article Harari, Orna; (2003)
The Concept of Existence and the Role of Constructions in Euclid's Elements (/isis/citation/CBB000300433/)

Article Geymonat, Mario; (2009)
Arithmetic and Geometry in Ancient Rome: Surveyors, Intellectuals, and Poets (/isis/citation/CBB000933728/)

Article Mode, ; (2007)
A Study of the Editions of Euclid's Elements (II) (/isis/citation/CBB000760544/)

Article Krol, Z.; (2007)
Introduction to Ancient Theories of Proportion (/isis/citation/CBB000931652/)

Article Aboav, David; (2008)
Euclid's Book on Divisions of Figures: A Conjecture as to Its Origin (/isis/citation/CBB000850606/)

Article Vitrac, Bernard; Djebbar, Ahmed; (2012)
Le Livre XIV des Éléments d'Euclide: versions grecques et arabes (seconde partie) (/isis/citation/CBB001252980/)

Article Berggren, J. L.; Brummelen, Glen van; (2002-2003)
From Euclid to Apollonius: al-Kūhī's Lemmas to the Conics (/isis/citation/CBB000501033/)

Article Mueller, Ian; (2003)
Remarks on Euclid's Elements I, 32 and the Parallel Postulate (/isis/citation/CBB000740732/)

Book Euclid, ; Taisbak, Christian Marinus; (2003)
Dedomena---Euclid's Data, or, The Importance of Being Given (/isis/citation/CBB000301663/)

Book Suppes, Patrick; Moravcsik, Julius M.; Mendell, Henry; (2000)
Ancient & Medieval Traditions in the Exact Sciences: Essays in Memory of Wilbur Knorr (/isis/citation/CBB000101823/)

Book Tóth, Imre; (2010)
Fragmente und Spuren nichteuklidischer Geometrie bei Aristoteles (/isis/citation/CBB001420976/)

Article Webster, Colin; (2014)
Euclid's Optics and Geometrical Astronomy (/isis/citation/CBB001451440/)

Article Le Meur, Guy; (2012)
Le rôle des diagrammes dans quelques traités de la Petite astronomie (/isis/citation/CBB001211449/)

Article De Groot, Jean; (2009)
Modes of Explanation in the Aristotelian “Mechanical Problems” (/isis/citation/CBB000932570/)

Article Gunhan Caglayan; (2016)
Exploring the Lunes of Hippocrates in a Dynamic Geometry Environment (/isis/citation/CBB484034654/)

Authors & Contributors
Vitrac, Bernard
Krol, Z.
Euclid
Caglayan, Gunhan
Mode,
Webster, Colin
Concepts
Geometry
Mathematics
Physics
Transmission of texts
Translations
Digital humanities
Time Periods
Ancient
Medieval
Renaissance
19th century
Places
Greece
Rome (Italy)
Denmark
Alexandria (Egypt)
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment