|
Elements (Euclid)
The ''Elements'' ( ) is a mathematical treatise written 300 BC by the Ancient Greek mathematician Euclid. ''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, propositions and mathematical proofs that covers plane and solid Euclidean geometry, elementary number theory, and incommensurable lines. These include 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. Often referred to as the most successful textbook ever written, the ''Elements'' has continued to be used for introductory geometry from the time it was written up through the present day. It was translated into Arabic and Latin in the medieval period, wh ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclid
Euclid (; ; 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 philo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commensurability (mathematics)
In mathematics, two non- zero real numbers ''a'' and ''b'' are said to be ''commensurable'' if their ratio ' is a rational number; otherwise ''a'' and ''b'' are called ''incommensurable''. (Recall that a rational number is one that is equivalent to the ratio of two integers.) There is a more general notion of commensurability in group theory. For example, the numbers 3 and 2 are commensurable because their ratio, , is a rational number. The numbers \sqrt and 2\sqrt are also commensurable because their ratio, \frac=\frac, is a rational number. However, the numbers \sqrt and 2 are incommensurable because their ratio, \frac, is an irrational number. More generally, it is immediate from the definition that if ''a'' and ''b'' are any two non-zero rational numbers, then ''a'' and ''b'' are commensurable; it is also immediate that if ''a'' is any irrational number and ''b'' is any non-zero rational number, then ''a'' and ''b'' are incommensurable. On the other hand, if both ''a'' and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Set Theory
Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory – as a branch of mathematics – is mostly concerned with those that are relevant to mathematics as a whole. The modern study of set theory was initiated by the German mathematicians Richard Dedekind and Georg Cantor in the 1870s. In particular, Georg Cantor is commonly considered the founder of set theory. The non-formalized systems investigated during this early stage go under the name of ''naive set theory''. After the discovery of Paradoxes of set theory, paradoxes within naive set theory (such as Russell's paradox, Cantor's paradox and the Burali-Forti paradox), various axiomatic systems were proposed in the early twentieth century, of which Zermelo–Fraenkel set theory (with or without the axiom of choice) is still the best-known and most studied. Set the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Science
Science is a systematic discipline that builds and organises knowledge in the form of testable hypotheses and predictions about the universe. Modern science is typically divided into twoor threemajor branches: the natural sciences, which study the physical world, and the social sciences, which study individuals and societies. While referred to as the formal sciences, the study of logic, mathematics, and theoretical computer science are typically regarded as separate because they rely on deductive reasoning instead of the scientific method as their main methodology. Meanwhile, applied sciences are disciplines that use scientific knowledge for practical purposes, such as engineering and medicine. The history of science spans the majority of the historical record, with the earliest identifiable predecessors to modern science dating to the Bronze Age in Ancient Egypt, Egypt and Mesopotamia (). Their contributions to mathematics, astronomy, and medicine entered and shaped the Gree ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. Informal logic examines arguments expressed in natural language whereas formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a specific logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises that leads to a conclusion. An example is the argument from the premises "it's Sunday" and "if it's Sunday then I don't have to work" leading to the conclusion "I don't have to wor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics In The Medieval Islamic World
Mathematics during the Golden Age of Islam, especially during the 9th and 10th centuries, was built upon syntheses of Greek mathematics (Euclid, Archimedes, Apollonius) and Indian mathematics (Aryabhata, Brahmagupta). Important developments of the period include extension of the place-value system to include decimal fractions, the systematised study of algebra and advances in geometry and trigonometry. The medieval Islamic world underwent significant developments in mathematics. Muhammad ibn Musa al-Khwārizmī played a key role in this transformation, introducing algebra as a distinct field in the 9th century. Al-Khwārizmī's approach, departing from earlier arithmetical traditions, laid the groundwork for the arithmetization of algebra, influencing mathematical thought for an extended period. Successors like Al-Karaji expanded on his work, contributing to advancements in various mathematical domains. The practicality and broad applicability of these mathematical metho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Textbook
A textbook is a book containing a comprehensive compilation of content in a branch of study with the intention of explaining it. Textbooks are produced to meet the needs of educators, usually at educational institutions, but also of learners (who could be independent learners outside of formal education). Schoolbooks are textbooks and other books used in schools. Today, many textbooks are published in both print and digital formats. History The history of textbooks dates back to ancient civilizations. For example, Ancient Greeks wrote educational texts. The modern textbook has its roots in the mass production made possible by the printing press. Johannes Gutenberg himself may have printed editions of ''Ars Minor'', a schoolbook on Latin grammar by Aelius Donatus. Early textbooks were used by tutors and teachers (e.g. alphabet books), as well as by individuals who taught themselves. The Greek philosopher Socrates lamented the loss of knowledge because the media of transmis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Regular Polyhedra
A regular polyhedron is a polyhedron whose symmetry group acts transitively on its flags. A regular polyhedron is highly symmetrical, being all of edge-transitive, vertex-transitive and face-transitive. In classical contexts, many different equivalent definitions are used; a common one is that the faces are congruent regular polygons which are assembled in the same way around each vertex. A regular polyhedron is identified by its Schläfli symbol of the form , where ''n'' is the number of sides of each face and ''m'' the number of faces meeting at each vertex. There are 5 finite convex regular polyhedra (the Platonic solids), and four regular star polyhedra (the Kepler–Poinsot polyhedra), making nine regular polyhedra in all. In addition, there are five regular compounds of the regular polyhedra. The regular polyhedra There are five convex regular polyhedra, known as the Platonic solids; four regular star polyhedra, the Kepler–Poinsot polyhedra; and five regular ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Regular Polygons
In Euclidean geometry, a regular polygon is a polygon that is Equiangular polygon, direct equiangular (all angles are equal in measure) and Equilateral polygon, equilateral (all sides have the same length). Regular polygons may be either ''convex polygon, convex'' or ''star polygon, star''. In the limit (mathematics), limit, a sequence of regular polygons with an increasing number of sides approximates a circle, if the perimeter or area is fixed, or a regular apeirogon (effectively a Line (geometry), straight line), if the edge length is fixed. General properties These properties apply to all regular polygons, whether convex or star polygon, star: *A regular ''n''-sided polygon has rotational symmetry of order ''n''. *All vertices of a regular polygon lie on a common circle (the circumscribed circle); i.e., they are concyclic points. That is, a regular polygon is a cyclic polygon. *Together with the property of equal-length sides, this implies that every regular polygon also h ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compass-and-straightedge Construction
In geometry, straightedge-and-compass construction – also known as ruler-and-compass construction, Euclidean construction, or classical construction – is the construction of lengths, angles, and other geometric figures using only an idealized ruler and a compass. The idealized ruler, known as a straightedge, is assumed to be infinite in length, have only one edge, and no markings on it. The compass is assumed to have no maximum or minimum radius, and is assumed to "collapse" when lifted from the page, so it may not be directly used to transfer distances. (This is an unimportant restriction since, using a multi-step procedure, a distance can be transferred even with a collapsing compass; see compass equivalence theorem. Note however that whilst a non-collapsing compass held against a straightedge might seem to be equivalent to marking it, the neusis construction is still impermissible and this is what unmarked really means: see Markable rulers below.) More formally, the o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclid's Theorem
Euclid's theorem is a fundamental statement in number theory that asserts that there are Infinite set, infinitely many prime number, prime numbers. It was first proven by Euclid in his work ''Euclid's Elements, Elements''. There are several proofs of the theorem. Euclid's proof Euclid offered a proof published in his work ''Elements'' (Book IX, Proposition 20), which is paraphrased here. Consider any finite list of prime numbers ''p''1, ''p''2, ..., ''p''''n''. It will be shown that there exists at least one additional prime number not included in this list. Let ''P'' be the product of all the prime numbers in the list: ''P'' = ''p''1''p''2...''p''''n''. Let ''q'' = ''P'' + 1. Then ''q'' is either prime or not: *If ''q'' is prime, then there is at least one more prime that is not in the list, namely, ''q'' itself. *If ''q'' is not prime, then some prime factor ''p'' divides ''q''. If this factor ''p'' were in our list, then it wo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Greatest Common Divisor
In mathematics, the greatest common divisor (GCD), also known as greatest common factor (GCF), of two or more integers, which are not all zero, is the largest positive integer that divides each of the integers. For two integers , , the greatest common divisor of and is denoted \gcd (x,y). For example, the GCD of 8 and 12 is 4, that is, . In the name "greatest common divisor", the adjective "greatest" may be replaced by "highest", and the word "divisor" may be replaced by "factor", so that other names include highest common factor, etc. Historically, other names for the same concept have included greatest common measure. This notion can be extended to polynomials (see ''Polynomial greatest common divisor'') and other commutative rings (see ' below). Overview Definition The ''greatest common divisor'' (GCD) of integers and , at least one of which is nonzero, is the greatest positive integer such that is a divisor of both and ; that is, there are integers and such that ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
