Ad
related to: undefined terms definition geometry meaning
Search results
Results From The WOW.Com Content Network
Contrast the term primitive notion, which is a core concept not defined in terms of other concepts. Primitive notions are used as building blocks to define other concepts. Contrast also the term undefined behavior in computer science, in which the term indicates that a function may produce or return any result, which may or may not be correct.
The notions themselves may not necessarily need to be stated; Susan Haack (1978) writes, "A set of axioms is sometimes said to give an implicit definition of its primitive terms." [9] Euclidean geometry: Under Hilbert's axiom system the primitive notions are point, line, plane, congruence, betweeness, and incidence.
In Euclidean geometry, similarity is used to describe objects that have the same shape, while congruence is used to describe objects that are the same in both size and shape. [69] Hilbert, in his work on creating a more rigorous foundation for geometry, treated congruence as an undefined term whose properties are defined by axioms.
A good example is the relative consistency of absolute geometry with respect to the theory of the real number system. Lines and points are undefined terms (also called primitive notions) in absolute geometry, but assigned meanings in the theory of real numbers in a way that is consistent with both axiom systems. [citation needed]
They understand the role of undefined terms, definitions, axioms and theorems in Euclidean geometry. However, students at this level believe that axioms and definitions are fixed, rather than arbitrary, so they cannot yet conceive of non-Euclidean geometry. Geometric ideas are still understood as objects in the Euclidean plane. Level 4.
Euclid set forth the first great landmark of mathematical thought, an axiomatic treatment of geometry. [2] He selected a small core of undefined terms (called common notions) and postulates (or axioms) which he then used to prove various geometrical statements.
A geometry: it is equipped with a metric and is flat. A topology: there is a notion of open sets. There are interfaces among these: Its order and, independently, its metric structure induce its topology. Its order and algebraic structure make it into an ordered field.
In other words, the elements of geometry form a system which is not susceptible of extension, if we regard the five groups of axioms as valid. The old axiom V.2 is now Theorem 32. The last two modifications are due to P. Bernays. Other changes of note are: The term straight line used by Townsend has been replaced by line throughout.