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 Webster, Colin; (2014)
Euclid's Optics and Geometrical Astronomy (/isis/citation/CBB001451440/)

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

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

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/)

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

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/)

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

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

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

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

Article Raymond, Dwayne; (2011)
From a Particular Diagram to a Universal Result: Euclid's Elements, Book I (/isis/citation/CBB001250013/)

Article Saito, Ken; (2012)
Traditions of the Diagram, Tradition of the Text: A Case Study (/isis/citation/CBB001211476/)

Authors & Contributors
Vitrac, Bernard
Krol, Z.
Euclid
Caglayan, Gunhan
Mode,
Webster, Colin
Journals
Science in Context
Kwartalnik Historii Nauki i Techniki
Archive for History of Exact Sciences
Apeiron: Journal for Ancient Philosophy and Science
Zeitschrift für Geschichte der Arabisch-Islamischen Wissenschaften
Synthese
Publishers
Presses Universitaires de France
Museum Tusculanum Press
de Gruyter
CSLI Publications
Concepts
Geometry
Mathematics
Arab/Islamic world, civilization and culture
Manuscripts
Transmission of texts
Translations
People
Euclid
Eudoxus of Cnidos
Aristotle
Pappus of Alexandria
Heiberg, Johan Ludvig
Theaetetus of Athens
Time Periods
Ancient
Medieval
Renaissance
19th century
Places
Greece
Rome (Italy)
Denmark
Comments

Be the first to comment!

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

Log in or register to comment