Search results
Results from the WOW.Com Content Network
In mathematics, the term undefined refers to a value, function, or other expression that cannot be assigned a meaning within a specific formal system. [ 1 ] Attempting to assign or use an undefined value within a particular formal system, may produce contradictory or meaningless results within that system.
The necessity for primitive notions is illustrated in several axiomatic foundations in mathematics: Set theory : The concept of the set is an example of a primitive notion. As Mary Tiles writes: [ 6 ] [The] 'definition' of 'set' is less a definition than an attempt at explication of something which is being given the status of a primitive ...
Although applicable to any area of mathematics, geometry is the branch of elementary mathematics in which this method has most extensively been successfully applied. [1] There are several components of an axiomatic system. [2] Primitives (undefined terms) are the most basic ideas. Typically they include objects and relationships.
Brāhmasphuṭasiddhānta is one of the first books to provide concrete ideas on positive numbers, negative numbers, and zero. [4] For example, it notes that the sum of a positive number and a negative number is their difference or, if they are equal, zero; that subtracting a negative number is equivalent to adding a positive number; that the product of two negative numbers is positive.
This is the same as Euclid's method of treating point and line as undefined primitive notions and axiomatizing their relationships. Great circles in many ways play the same logical role in spherical geometry as lines in Euclidean geometry, e.g., as the sides of (spherical) triangles.
"The present Seventh Edition of my book Foundations of Geometry brings considerable improvements and additions to the previous edition, partly from my subsequent lectures on this subject and partly from improvements made in the meantime by other writers. The main text of the book has been revised accordingly."
The Principia Mathematica (often abbreviated PM) is a three-volume work on the foundations of mathematics written by the mathematician–philosophers Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913.
The fact that the two approaches are equivalent has been proved by Emil Artin in his book Geometric Algebra. Because of this equivalence, the distinction between synthetic and analytic geometry is no more in use, except at elementary level, or for geometries that are not related to any sort of numbers, such as some finite geometries and non ...