Euclid in the context of "History of mathematics"

Science in classical antiquity encompasses inquiries into the workings of the world or universe aimed at both practical goals (e.g., establishing a reliable calendar or determining how to cure a variety of illnesses) as well as more abstract investigations belonging to natural philosophy. Classical antiquity is traditionally defined as the period between the 8th century BC (beginning of Archaic Greece) and the 6th century AD (after which there was medieval science). It is typically limited geographically to the Greco-Roman West, Mediterranean basin, and Ancient Near East, thus excluding traditions of science in the ancient world in regions such as China and the Indian subcontinent.

Ideas regarding nature that were theorized during classical antiquity were not limited to science but included myths as well as religion. Those who are now considered as the first scientists may have thought of themselves as natural philosophers, as practitioners of a skilled profession (e.g., physicians), or as followers of a religious tradition (e.g., temple healers). Some of the more widely known figures active in this period include Hippocrates, Aristotle, Euclid, Archimedes, Hipparchus, Galen, and Ptolemy. Their contributions and commentaries spread throughout the Eastern, Islamic, and Latin worlds and contributed to the birth of modern science. Their works covered many different categories including mathematics, cosmology, medicine, and physics.

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.

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.

The Elements (Ancient Greek: Στοιχεῖα Stoikheîa) is a mathematical treatise written c. 300 BC by the Ancient Greek mathematician Euclid.

The Elements is the oldest extant large-scale deductive treatment of mathematics. Drawing on the works of earlier mathematicians such as Hippocrates of Chios, Eudoxus of Cnidus, and Theaetetus, the Elements is a collection in 13 books of definitions, postulates, geometric constructions, and theorems with their proofs that covers plane and solid Euclidean geometry, elementary number theory, and incommensurability. These include the Pythagorean theorem, Thales' theorem, the Euclidean algorithm for greatest common divisors, Euclid's theorem that there are infinitely many prime numbers, and the construction of regular polygons and polyhedra.

Apollonius of Perga (Ancient Greek: Ἀπολλώνιος ὁ Περγαῖος Apollṓnios ho Pergaîos; c. 240 BC – c. 190 BC) was an ancient Greek geometer and astronomer known for his work on conic sections. Beginning from the earlier contributions of Euclid and Archimedes on the topic, he brought them to the state prior to the invention of analytic geometry. His definitions of the terms ellipse, parabola, and hyperbola are the ones in use today. With his predecessors Euclid and Archimedes, Apollonius is generally considered among the greatest mathematicians of antiquity.

Aside from geometry, Apollonius worked on numerous other topics, including astronomy. Most of this work has not survived, where exceptions are typically fragments referenced by other authors like Pappus of Alexandria. His hypothesis of eccentric orbits to explain the apparently aberrant motion of the planets, commonly believed until the Middle Ages, was superseded during the Renaissance. The Apollonius crater on the Moon is named in his honor.

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.