Pasch's theorem

Pasch's theorem

In geometry, Pasch's theorem, stated in 1882, is a result of plane geometry which cannot be derived from Euclid's postulates. It would now be considered as order theory, but the point it makes is in relation to the axiomatic method.

The statement is as follows. Given points

:"a", "b", "c", and "d "

on a line, if it is known that the points are ordered as (a,b,c) and (b,c,d), then it is also true that (a,b,d).

References

* [http://mathworld.wolfram.com/PaschsTheorem.html MathWorld page]


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Pasch (surname) — Pasch is a German surname and may refer to:Family name name = Pasch imagesize= caption= pronunciation = meaning = region = Northern Europe origin = Old Norse, Middle High German related names = Basch footnotes = * Dave Pasch, sports broadcaster * …   Wikipedia

  • Pasch's axiom — In geometry, Pasch s axiom, is a result of plane geometry used by Euclid, but yet which cannot be derived from Euclid s postulates. Its axiomatic role was discovered by Moritz Pasch.The axiom states that, in the plane, :A line which intersects… …   Wikipedia

  • Moritz Pasch — Pour les articles homonymes, voir Pasch. Moritz Pasch Naissance 8 novembre 1843 Breslau (Silésie) Décès 20 septembre 1930 …   Wikipédia en Français

  • Moritz Pasch — (8 November 1843, Breslau, Germany (now Wrocław, Poland) – 20 September 1930, Bad Homburg, Germany) was a German mathematician specializing in the foundations of geometry. He completed his Ph.D. at the University of Breslau at only 22 years of… …   Wikipedia

  • Menelaus' theorem — Menelaus theorem, case 1: line DEF passes inside triangle ABC Menelaus theorem, named for Menelaus of Alexandria, is a theorem about triangles in plane geometry. Given a triangle ABC, and a transversal line that crosses BC, AC and AB at points D …   Wikipedia

  • List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… …   Wikipedia

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • Hilbert's axioms — are a set of 20 assumptions (originally 21), David Hilbert proposed in 1899 as the foundation for a modern treatment of Euclidean geometry. Other well known modern axiomatizations of Euclidean geometry are those of Tarski and of George… …   Wikipedia

  • mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium

  • Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”