HOME
*





Aristotle's Axiom
Aristotle's axiom is an axiom in the foundations of geometry, proposed by Aristotle in ''On the Heavens'' that states: If \widehat is an acute angle and AB is any segment, then there exists a point P on the ray \overrightarrow and a point Q on the ray \overrightarrow, such that PQ is perpendicular to OX and PQ > AB. Aristotle's axiom is a consequence of the Archimedean property, and the conjunction of Aristotle's axiom and the Lotschnittaxiom, which states that "Perpendiculars raised on each side of a right angle intersect", is equivalent to the Parallel Postulate In geometry, the parallel postulate, also called Euclid's fifth postulate because it is the fifth postulate in Euclid's ''Elements'', is a distinctive axiom in Euclidean geometry. It states that, in two-dimensional geometry: ''If a line segment .... Without the parallel postulate, Aristotle's axiom is equivalent to each of the following three incidence-geometric statements: *Given a line a and a point P on a, ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Foundations Of Geometry
Foundations of geometry is the study of geometries as axiomatic systems. There are several sets of axioms which give rise to Euclidean geometry or to non-Euclidean geometries. These are fundamental to the study and of historical importance, but there are a great many modern geometries that are not Euclidean which can be studied from this viewpoint. The term axiomatic geometry can be applied to any geometry that is developed from an axiom system, but is often used to mean Euclidean geometry studied from this point of view. The completeness and independence of general axiomatic systems are important mathematical considerations, but there are also issues to do with the teaching of geometry which come into play. Axiomatic systems Based on ancient Greek methods, an ''axiomatic system'' is a formal description of a way to establish the ''mathematical truth'' that flows from a fixed set of assumptions. Although applicable to any area of mathematics, geometry is the branch of elementary ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Aristotle
Aristotle (; grc-gre, Ἀριστοτέλης ''Aristotélēs'', ; 384–322 BC) was a Greek philosopher and polymath during the Classical period in Ancient Greece. Taught by Plato, he was the founder of the Peripatetic school of philosophy within the Lyceum and the wider Aristotelian tradition. His writings cover many subjects including physics, biology, zoology, metaphysics, logic, ethics, aesthetics, poetry, theatre, music, rhetoric, psychology, linguistics, economics, politics, meteorology, geology, and government. Aristotle provided a complex synthesis of the various philosophies existing prior to him. It was above all from his teachings that the West inherited its intellectual lexicon, as well as problems and methods of inquiry. As a result, his philosophy has exerted a unique influence on almost every form of knowledge in the West and it continues to be a subject of contemporary philosophical discussion. Little is known about his life. Aristotle was born in th ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

On The Heavens
''On the Heavens'' (Greek: ''Περὶ οὐρανοῦ''; Latin: ''De Caelo'' or ''De Caelo et Mundo'') is Aristotle's chief cosmological treatise: written in 350 BC, it contains his astronomical theory and his ideas on the concrete workings of the terrestrial world. It should not be confused with the spurious work ''On the Universe'' (''De mundo'', also known as ''On the Cosmos''). This work is significant as one of the defining pillars of the Aristotelian worldview, a school of philosophy that dominated intellectual thinking for almost two millennia. Similarly, this work and others by Aristotle were important seminal works from which much of scholasticism was derived. Argument According to Aristotle in ''De Caelo'', the heavenly bodies are the most perfect realities, (or "substances"), whose motions are ruled by principles other than those of bodies in the sublunary sphere. The latter are composed of one or all of the four classical elements (earth, water, air, fire) and are ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Archimedean Property
In abstract algebra and analysis, the Archimedean property, named after the ancient Greek mathematician Archimedes of Syracuse, is a property held by some algebraic structures, such as ordered or normed groups, and fields. The property, typically construed, states that given two positive numbers ''x'' and ''y'', there is an integer ''n'' such that ''nx'' > ''y''. It also means that the set of natural numbers is not bounded above. Roughly speaking, it is the property of having no ''infinitely large'' or ''infinitely small'' elements. It was Otto Stolz who gave the axiom of Archimedes its name because it appears as Axiom V of Archimedes’ ''On the Sphere and Cylinder''. The notion arose from the theory of magnitudes of Ancient Greece; it still plays an important role in modern mathematics such as David Hilbert's axioms for geometry, and the theories of ordered groups, ordered fields, and local fields. An algebraic structure in which any two non-zero elements are ''comparabl ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Lotschnittaxiom
The Lotschnittaxiom (German for "axiom of the intersecting perpendiculars") is an axiom in the foundations of geometry, introduced and studied by Friedrich Bachmann.. It states: Bachmann showed that, in the absence of the Archimedean axiom, it is strictly weaker than the rectangle axiom, which states that there is a rectangle, which in turn is strictly weaker than the Parallel Postulate, as shown by Max Dehn. In the presence of the Archimedean axiom, the Lotschnittaxiom is equivalent with the Parallel Postulate. Equivalent formulations As shown by Bachmann, the Lotschnittaxiom is equivalent to the statement Through any point inside a right angle there passes a line that intersects both sides of the angle. It was shown in that it is also equivalent to the statement The altitude in an isosceles triangle with base angles of 45° is less than the base. and in that it is equivalent to the following axiom proposed by Lagrange: If the lines a and b are two intersecting line ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Parallel Postulate
In geometry, the parallel postulate, also called Euclid's fifth postulate because it is the fifth postulate in Euclid's ''Elements'', is a distinctive axiom in Euclidean geometry. It states that, in two-dimensional geometry: ''If a line segment intersects two straight lines forming two interior angles on the same side that are less than two right angles, then the two lines, if extended indefinitely, meet on that side on which the angles sum to less than two right angles.'' This postulate does not specifically talk about parallel lines; it is only a postulate related to parallelism. Euclid gave the definition of parallel lines in Book I, Definition 23 just before the five postulates. ''Euclidean geometry'' is the study of geometry that satisfies all of Euclid's axioms, ''including'' the parallel postulate. The postulate was long considered to be obvious or inevitable, but proofs were elusive. Eventually, it was discovered that inverting the postulate gave valid, albeit differ ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


picture info

Foundations Of Geometry
Foundations of geometry is the study of geometries as axiomatic systems. There are several sets of axioms which give rise to Euclidean geometry or to non-Euclidean geometries. These are fundamental to the study and of historical importance, but there are a great many modern geometries that are not Euclidean which can be studied from this viewpoint. The term axiomatic geometry can be applied to any geometry that is developed from an axiom system, but is often used to mean Euclidean geometry studied from this point of view. The completeness and independence of general axiomatic systems are important mathematical considerations, but there are also issues to do with the teaching of geometry which come into play. Axiomatic systems Based on ancient Greek methods, an ''axiomatic system'' is a formal description of a way to establish the ''mathematical truth'' that flows from a fixed set of assumptions. Although applicable to any area of mathematics, geometry is the branch of elementary ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]