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 system 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 mathematics in which this method has most extensively been successfully applied. There are several components of an axiomatic system. Primitives (undefined terms) are the most basic ideas. Typically they include objects and relationships. In geometry, the objects are things like points, lines and planes while a fundamental relationship is that of incidence – of one object meeting or joining with another. The terms themselves are undefined. Hilbert once remarked that instead of points, lines and planes one might just as well talk of tables, chairs and beer mugs. His point being that the primitive terms are just empty shells, place holders if you will, and have no intrinsic properties. Axioms (or postulates) are statements about these primitives; for example, any two points are together incident with just one line (i.e. that for any two points, there is just one line which passes through both of them). Axioms are assumed true, and not proven. They are the building blocks of geometric concepts, since they specify the properties that the primitives have.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (45)

Related courses (5)

Related lectures (64)

Alessandro Padoa

Alessandro Padoa (14 October 1868 – 25 November 1937) was an Italian mathematician and logician, a contributor to the school of Giuseppe Peano. He is remembered for a method for deciding whether, given some formal theory, a new primitive notion is truly independent of the other primitive notions. There is an analogous problem in axiomatic theories, namely deciding whether a given axiom is independent of the other axioms.

Birkhoff's axioms

In 1932, G. D. Birkhoff created a set of four postulates of Euclidean geometry in the plane, sometimes referred to as Birkhoff's axioms. These postulates are all based on basic geometry that can be confirmed experimentally with a scale and protractor. Since the postulates build upon the real numbers, the approach is similar to a model-based introduction to Euclidean geometry. Birkhoff's axiom system was utilized in the secondary-school textbook by Birkhoff and Beatley.

Pasch's axiom

In geometry, Pasch's axiom is a statement in plane geometry, used implicitly by Euclid, which cannot be derived from the postulates as Euclid gave them. Its essential role was discovered by Moritz Pasch in 1882. The axiom states that, Let A, B, C be three points that do not lie on a line and let a be a line in the plane ABC which does not meet any of the points A, B, C. If the line a passes through a point of the segment AB, it also passes through a point of the segment AC, or through a point of segment BC.

MATH-124: Geometry for architects I

Ce cours entend exposer les fondements de la géométrie à un triple titre : 1/ de technique mathématique essentielle au processus de conception du projet, 2/ d'objet privilégié des logiciels de concept

MATH-126: Geometry for architects II

Ce cours traite des 3 sujets suivants : la perspective, la géométrie descriptive, et une initiation à la géométrie projective.

CS-308: Introduction to quantum computation

The course introduces the paradigm of quantum computation in an axiomatic way. We introduce the notion of quantum bit, gates, circuits and we treat the most important quantum algorithms. We also touch

Geometry: Euclidean Elements & Vitruvius

Explores Euclid's first proposition, ancient symmetria, and Vitruvius' architectural figures.

Geometric Transformations: Meanings and Applications MATH-124: Geometry for architects I

Explores geometric transformations, invariant properties, and mean relationships in modern geometry.

Elements of Euclidean Geometry

Explores Euclidean geometry fundamentals and the concept of symmetry from ancient to modern applications.