Euclid's Elements in the context of "History of mathematics"

Ancient Greek mathematics refers to the history of mathematical ideas and texts in Ancient Greece during classical and late antiquity, mostly from the 5th century BC to the 6th century AD. Greek mathematicians lived in cities spread around the shores of the ancient Mediterranean, from Anatolia to Italy and North Africa, but were united by Greek culture and the Greek language. The development of mathematics as a theoretical discipline and the use of deductive reasoning in proofs is an important difference between Greek mathematics and those of preceding civilizations.

The early history of Greek mathematics is obscure, and traditional narratives of mathematical theorems found before the fifth century BC are regarded as later inventions. It is now generally accepted that treatises of deductive mathematics written in Greek began circulating around the mid-fifth century BC, but the earliest complete work on the subject is Euclid's Elements, written during the Hellenistic period. The works of renown mathematicians Archimedes and Apollonius, as well as of the astronomer Hipparchus, also belong to this period. In the Imperial Roman era, Ptolemy used trigonometry to determine the positions of stars in the sky, while Nicomachus and other ancient philosophers revived ancient number theory and harmonics. During late antiquity, Pappus of Alexandria wrote his Collection, summarizing the work of his predecessors, while Diophantus' Arithmetica dealt with the solution of arithmetic problems by way of pre-modern algebra. Later authors such as Theon of Alexandria, his daughter Hypatia, and Eutocius of Ascalon wrote commentaries on the authors making up the ancient Greek mathematical corpus.

Euclid (/ˈjuːklɪd/; Ancient Greek: Εὐκλείδης; fl. 300 BC) was an ancient Greek mathematician active as a geometer and logician. Considered the "father of geometry", he is chiefly known for the Elements treatise, which established the foundations of geometry that largely dominated the field until the early 19th century. His system, now referred to as Euclidean geometry, involved innovations in combination with a synthesis of theories from earlier Greek mathematicians, including Eudoxus of Cnidus, Hippocrates of Chios, Thales and Theaetetus. With Archimedes and Apollonius of Perga, Euclid is generally considered among the greatest mathematicians of antiquity, and one of the most influential in the history of mathematics.

Very little is known of Euclid's life, and most information comes from the scholars Proclus and Pappus of Alexandria many centuries later. Medieval Islamic mathematicians invented a fanciful biography, and medieval Byzantine and early Renaissance scholars mistook him for the earlier philosopher Euclid of Megara. It is now generally accepted that he spent his career in Alexandria and lived around 300 BC, after Plato's students and before Archimedes. There is some speculation that Euclid studied at the Platonic Academy and later taught at the Musaeum; he is regarded as bridging the earlier Platonic tradition in Athens with the later tradition of Alexandria.

A mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning that establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning that establish "reasonable expectation". Presenting many cases in which the statement holds is not enough for a proof, which must demonstrate that the statement is true in all possible cases. A proposition that has not been proved but is believed to be true is known as a conjecture, or a hypothesis if frequently used as an assumption for further mathematical work.

Proofs employ logic expressed in mathematical symbols, along with natural language that usually admits some ambiguity. In most mathematical literature, proofs are written in terms of rigorous informal logic. Purely formal proofs, written fully in symbolic language without the involvement of natural language, are considered in proof theory. The distinction between formal and informal proofs has led to much examination of current and historical mathematical practice, quasi-empiricism in mathematics, and so-called folk mathematics, oral traditions in the mainstream mathematical community or in other cultures. The philosophy of mathematics is concerned with the role of language and logic in proofs, and mathematics as a language.

Theon of Alexandria (/ˌθiːən, -ɒn/; Ancient Greek: Θέων ὁ Ἀλεξανδρεύς; c. AD 335 – c. 405) was a Greek scholar and mathematician who lived in Alexandria, Egypt. He edited and arranged Euclid's Elements and wrote commentaries on works by Euclid and Ptolemy. His daughter Hypatia also won fame as a mathematician.

Euclidean geometry is a mathematical system attributed to Euclid, an ancient Greek mathematician, which he described in his textbook on geometry, Elements. Euclid's approach consists in assuming a small set of intuitively appealing axioms (postulates) and deducing many other propositions (theorems) from these. One of those is the parallel postulate which relates to parallel lines on a Euclidean plane. Although many of Euclid's results had been stated earlier, Euclid was the first to organize these propositions into a logical system in which each result is proved from axioms and previously proved theorems.

The Elements begins with plane geometry, still taught in secondary school (high school) as the first axiomatic system and the first examples of mathematical proofs. It goes on to the solid geometry of three dimensions. Much of the Elements states results of what are now called algebra and number theory, explained in geometrical language.

Theaetetus of Athens (/ˌθiːɪˈtiːtəs/; Ancient Greek: Θεαίτητος Theaítētos; c. 417 – c. 369 BCE), possibly the son of Euphronius of the Athenian deme Sunium, was a Greek mathematician. His principal contributions were on irrational lengths, which was included in Book X of Euclid's Elements and proving that there are precisely five regular convex polyhedra. A friend of Socrates and Plato, he is the central character in Plato's eponymous Socratic dialogue.

Theaetetus, like Plato, was a student of the Greek mathematician Theodorus of Cyrene. Cyrene was a prosperous Greek colony on the coast of North Africa, in what is now Libya, on the eastern end of the Gulf of Sidra. Theodorus had explored the theory of incommensurable quantities, and Theaetetus continued those studies with great enthusiasm; specifically, he classified various forms of irrational numbers according to the way they are expressed as square roots. This theory is presented in great detail in Book X of Euclid's Elements.

Euclid of Megara (/ˈjuːklɪd/; Ancient Greek: Εὐκλείδης Eucleides; c. 435 – c. 365 BC) was a Greek Socratic philosopher who founded the Megarian school of philosophy. He was a pupil of Socrates in the late 5th century BC, and was present at his death. He held the supreme good to be one, eternal and unchangeable, and denied the existence of anything contrary to the good. Editors and translators in the Middle Ages often confused him with Euclid of Alexandria when discussing the latter's Elements.
Cite error: There are <ref group=lower-alpha> tags or {{efn}} templates on this page, but the references will not show without a {{reflist|group=lower-alpha}} template or {{notelist}} template (see the help page).