Sidoli, Nathan Camillo (Author)
Archive for History of Exact Sciences
Volume: 72
Issue: 4
Pages: 403-452
In this paper, I present an interpretation of the use of constructions in both the problems and theorems of Elements I–VI, in light of the concept of given as developed in the Data, that makes a distinction between the way that constructions are used in problems, problem-constructions, and the way that they are used in theorems and in the proofs of problems, proof-constructions. I begin by showing that the general structure of a problem is slightly different from that stated by Proclus in his commentary on the Elements. I then give a reading of all five postulates, Elem. I.post.1–5, in terms of the concept of given. This is followed by a detailed exhibition of the syntax of problem-constructions, which shows that these are not practical instructions for using a straightedge and compass, but rather demonstrations of the existence of an effective procedure for introducing geometric objects, which procedure is reducible to operations of the postulates but not directly stated in terms of the postulates. Finally, I argue that theorems and the proofs of problems employ a wider range of constructive and semi- and non-constructive assumptions that those made possible by problems.
...MoreSimilar Citations
Article
Fabio Bellissima;
(2011)
L'antanairesi e la teoria armonica greca
(/isis/citation/CBB718056038/)
Article
Nathan Sidoli;
(2018)
The Concept of Given in Greek Mathematics
(/isis/citation/CBB871621734/)
Thesis
Lacey, Duane J.;
(2007)
Euclid's Taxonomy of Irrationals
(/isis/citation/CBB001560851/)
Article
Chen, Kaixian;
(2003)
An interpretation of fourteen types of ancient algorithms of Shushu Ji Yi: A procedural viewpoint
(/isis/citation/CBB000340137/)
Article
Yusta, Piedad;
(2008)
Geometry in Mesopotamia and Genesis of Algorithms
(/isis/citation/CBB000953453/)
Article
Friberg, Jöran;
(2014)
Geometric Division Problems, Quadratic Equations, and Recursive Geometric Algorithms in Mesopotamian Mathematics
(/isis/citation/CBB001321048/)
Article
Miatello, Luca;
(2011)
Transformations of Geometrical Objects in Middle Egyptian Mathematical Texts
(/isis/citation/CBB276663683/)
Book
Chemla, Karine;
(2012)
The History of Mathematical Proof in Ancient Traditions
(/isis/citation/CBB001320137/)
Chapter
Wenlin Li;
(2015)
On the Algorithmic Tradition in the History of Mathematics
(/isis/citation/CBB947400792/)
Article
Tang, Quan;
(2011)
A Further Discussion on the Algorithm of Expansion and Contraction Difference in Ancient Chinese Planetary Theory
(/isis/citation/CBB001210066/)
Book
Imhausen, Annette;
(2003)
Ägyptische Algorithmen: Eine Untersuchung zu den Mittelägyptischen Mathematischen Aufgabentexten
(/isis/citation/CBB000550853/)
Book
David S. Richeson;
(2019)
Tales of Impossibility: The 2000-Year Quest to Solve the Mathematical Problems of Antiquity
(/isis/citation/CBB243851906/)
Article
Ortiz García, Paloma;
(2006)
La traducción de textos matemáticos griegos al españo
(/isis/citation/CBB001023872/)
Article
Takahashi, Ken'ichi;
(2001)
A Manuscript of Euclid's De speculis: A Latin Text of MS 98.22 of the Archivo y Biblioteca Capitulares de la Catedral, Toledo
(/isis/citation/CBB000102365/)
Article
Harari, Orna;
(2003)
The Concept of Existence and the Role of Constructions in Euclid's Elements
(/isis/citation/CBB000300433/)
Article
Marcella Giulia Lorenzi;
Mauro Francaviglia;
(2010)
Dal cosmo al numero e alla geometria euclidea
(/isis/citation/CBB384645759/)
Book
Berlinski, David;
(2013)
The King of Infinite Space: Euclid and His Elements
(/isis/citation/CBB001213232/)
Article
Acerbi, Fabio;
(2009)
The Meaning of [Greek transliteration begin]plasmatikon[Greek transliteration end] in Diophantus' Arithmetica
(/isis/citation/CBB000932071/)
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/)
Technai, An International Journal for Ancient Science and Technology
Ziran Kexueshi Yanjiu (Studies in the History of Natural Sciences)
Sciamvs: Sources and Commentaries in Exact Sciences
Physis: Rivista Internazionale di Storia della Scienza
Journal of Dialectics of Nature
Be the first to comment!