I do not know why Euclid included these propositions because they are all evident from the 5 requirements. In other words, you can't have right angle or straight line, etc unless these things are established in the Prologue (5 requirements).

Prologue to Euclid's Elements:

[ Ссылка ]

Lecture on the 5 requirements:

[ Ссылка ]

Link to applet used in video:

[ Ссылка ]

. IS NOT a point
____ IS NOT a line
o IS NOT a circle

The de facto foundations of mathematics are Euclid's Elements, not the rot known as ZFC axioms and set theory. Everything we know about science is derived from the Elements without any exception.

I quote a Greek scholar ([ Ссылка ]):

Τα Στοιχεία Ευκλείδου δέν είναι Γεωμετρία (ούτε επιπεδομετρία, ούτε γεωμετρία χώρου), απλώς μπορούν να παραχθούν από αύτα «Γεωμετρίες» (είτε «Ευκλείδειες,» είτε «μή Ευκλείδειες», κλπ), όπως επίσης μπορούν να παραχθούν πολλές άλλες θεωρίες «Μαθηματικές» καί όχι μόνο, π.χ. Θεωρία Αριθμών, Aναλογίες, Aσύμμετρα Μεγέθη, Θεωρία της Σχετικότητας, κ.α.

Τα Στοιχεία τού Ευκλείδου δεν είναι ούτε αντικείμενα του Πραγματικού κόσμου, καίούτε είναι αντικείμενα τών Μαθηματικών, αλλά χωρίς αυτά, όλα τά παραπάνω δέν μπορούν να περιγραφούν, να κατανοηθούν, να ερμηνευτούν.

Πολλοί συγχέουν τον πραγματικό χώρο τών «Φυσικών» επιστημών με τά Στοιχεία Ευκλείδου. Aπό τα Στοιχεία Ευκλείδου προέρχονται οί πλείστες μαθηματικές καί φυσικές επιστήμες, τόσο οί παραδοσιακές όσο καί οί μοντέρνες. Γιά τις τεχνολογίες αυτό είναι προφανές.

Τα Στοιχεία Ευκλείδου αποτελούν ένα ενιαίον όλο, ένα «Σύστημα», τό οποίο είναι «κλειστό καί ἀνοικτό», τόσο όσο καί ή σκέψη, ό λόγος καί ή γραμματική τής ανθρώπινης υπόστασης. H πληρότητα καί ἡ συνέπεια είναι δομημένες μέ έναν εκπληκτικό τρόπο, πού τό καθιστούν μοναδικό.

My καθαρεύουσα (high Greek) Greek is very poor, but here is my translation:

Euclidean Elements are not Geometry (neither plane geometry nor space geometry), from these can be produced "Geometries" (either "Euclidean" or "non-Euclidean", etc.), as well as many other "Mathematical" theories can be produced and not only, e.g. Number Theory, Proportions, Asymmetric Sizes, Theory of Relativity, etc.

The Elements of Euclid are neither objects of the real world, nor are they objects of Mathematics, but without them, all the above cannot be described, understood, interpreted. Many confuse the real world of the "Natural" sciences with the Euclidean Elements. Most of the mathematical and natural sciences, both traditional and modern, come from the Euclidean Elements. For technologies this is obvious.

The Euclidean Elements constitute a single whole, a "System", which is "closed and open", as much as the thought, reason and grammar of the human condition. Completeness and consistency are structured in an amazing way, which make it unique.

----------------------------------------------------------

This professor (of Physics and mathematics) also reads all the Ancient texts and gives lectures. He is quite an interesting academic and very learned. He is currently reading all of Aristotle's texts:

[ Ссылка ]

While I do not agree with everything he writes, I am inclined to agree that Euclid's Elements are a template for scientific thought - a means to investigating any science whatsoever.

Mathematics is the science of measure and number

свернуть