Ordered geometryOrdered geometry is a form of geometry featuring the concept of intermediacy (or "betweenness") but, like projective geometry, omitting the basic notion of measurement. Ordered geometry is a fundamental geometry forming a common framework for affine, Euclidean, absolute, and hyperbolic geometry (but not for projective geometry). Moritz Pasch first defined a geometry without reference to measurement in 1882. His axioms were improved upon by Peano (1889), Hilbert (1899), and Veblen (1904).
Axiomes de TarskiLes axiomes de Tarski, dus à Alfred Tarski, sont un système d'axiomes pour la géométrie euclidienne exprimé en logique du premier ordre. Les prédicats utilisés dans le langage sont : le point y est entre les points x et z : (entre deux ou en anglais betweenness) ; la distance de x à y est égale à la distance de z à u : (congruence). A1: Réflexivité de la congruence A2: Transitivité de la congruence A3: Segment nul A4: Report de segment A5: Cinq segments A6: Identité A7: Axiome de Pasch A8: Plus petite dimension Il existe trois points non colinéaires, il n'existe donc pas de modèle de la théorie de dimension < 2.
Alessandro PadoaAlessandro Padoa (1868 - 1937) est un mathématicien et logicien italien, élève de Giuseppe Peano. La logique déductive dans sa dernière phase de développement, 1912 Catégorie:Logicien italien Catégorie:Mathématicien italien du XIXe siècle Catégorie:Mathématicien italien du XXe siècle Catégorie:École mathématique italienne Catégorie:Membre de l'Academia pro Interlingua Catégorie:Naissance en octobre 1868 Catégorie:Naissance à Venise Catégorie:Décès à Gênes Catégorie:Décès en novembre 1937 Catégorie:Décès à 6
Mario PieriMario Pieri (Lucques, – Capannori, ) est un mathématicien italien, connu pour ses études sur la géométrie projective et les questions de logique développées sous l'influence des travaux de Giuseppe Peano. Il est un représentant de l'École italienne de géométrie algébrique. Pieri est né à Lucques, en Italie, de Pellegrino Pieri, avocat, et d'Ermina Luporini. Il fait ses études élémentaires dans cette ville, où il a étudié la musique et le piano, dédicaces auxquelles il a longtemps été enclin.
Motion (geometry)In geometry, a motion is an isometry of a metric space. For instance, a plane equipped with the Euclidean distance metric is a metric space in which a mapping associating congruent figures is a motion. More generally, the term motion is a synonym for surjective isometry in metric geometry, including elliptic geometry and hyperbolic geometry. In the latter case, hyperbolic motions provide an approach to the subject for beginners. Motions can be divided into direct and indirect motions.
Moritz PaschMoritz Pasch, né le à Breslau (Allemagne), aujourd'hui Wrocław (Pologne) et mort le à Bad Hombourg (Allemagne), est un mathématicien allemand spécialisé dans les fondements de la géométrie. Il obtient une thèse à l'université de Breslau à l'âge de 22 ans, et enseigne à l'université de Giessen. En 1882, Pasch publie un livre, Vorlesungen über neuere Geometrie, appelant à fonder la géométrie euclidienne sur des notions et des axiomes plus précis, et à un plus grand soin dans les méthodes déductives employées pour valider les propositions et théorèmes.
Somme des angles d'un trianglethumb|upright=1.5|Deux méridiens sont des "droites" (en géométrie sphérique) perpendiculaires à l'équateur. Dans ce cas, un triangle dont les angles mesurent respectivement 90°, 50° et 90° peut exister. En géométrie euclidienne (voir encadré), ce n'est pas possible : si un triangle possède un angle de 90° et un angle de 50°, le troisième angle doit mesurer 40°. En géométrie euclidienne, la somme des angles d'un triangle est égale à l'angle plat, soit 180 degrés ou π radians. Ce résultat est connu et démontré par Euclide, dans ses Éléments.
Axiome de PaschEn mathématiques, l'axiome de Pasch est un axiome de la géométrie, énoncé en 1882, et visant à mettre en évidence une propriété implicitement utilisée jusque-là, en particulier dans les Éléments d'Euclide. L'axiome de Pasch s'énonce de la façon suivante : Soient A, B, et C trois points non alignés et (d) une droite du plan ABC qui ne passe par aucun des points A, B et C ; si la droite (d) passe par l'un des points du segment AB, elle passe ou par un point du segment BC ou par un point du segment AC.
Birkhoff's axiomsIn 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.
Axiomes de Hilbertthumb|right|David Hilbert Dans un mémoire paru en 1899, Les fondements de la géométrie (Grundlagen der Geometrie), David Hilbert propose une axiomatisation de la géométrie euclidienne. Ce sont ces axiomes, qui ont été révisés au cours des éditions successives par Hilbert lui-même, ou des axiomes directement inspirés de sa présentation que l'on appelle axiomes de Hilbert.
