|
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 geometry, 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 systems 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 t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Geometries
Geometry is a branch of mathematics concerned with questions of shape, size, relative position of figures, and the properties of space. Geometry is one of the oldest mathematical sciences. Types, methodologies, and terminologies of geometry. * Absolute geometry * Affine geometry * Algebraic geometry * Analytic geometry * Birational geometry * Complex geometry * Computational geometry * Conformal geometry * Constructive solid geometry * Contact geometry * Convex geometry * Descriptive geometry * Differential geometry * Digital geometry * Discrete geometry * Distance geometry * Elliptic geometry * Enumerative geometry * Epipolar geometry * Euclidean geometry * Finite geometry * Fractal geometry * Geometry of numbers * Hyperbolic geometry * Incidence geometry * Information geometry * Integral geometry * Inversive geometry * Inversive ring geometry * Klein geometry * Lie sphere geometry * Non-Euclidean geometry * Noncommutative algebraic geometry * Noncommutative geometry * Orde ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Alexandria
Alexandria ( ; ) is the List of cities and towns in Egypt#Largest cities, second largest city in Egypt and the List of coastal settlements of the Mediterranean Sea, largest city on the Mediterranean coast. It lies at the western edge of the Nile Delta, Nile River delta. Founded in 331 BC by Alexander the Great, Alexandria grew rapidly and became a major centre of Hellenic civilisation, eventually replacing Memphis, Egypt, Memphis, in present-day Greater Cairo, as Egypt's capital. Called the "Bride of the Mediterranean" and "Pearl of the Mediterranean Coast" internationally, Alexandria is a popular tourist destination and an important industrial centre due to its natural gas and petroleum, oil pipeline transport, pipelines from Suez. The city extends about along the northern coast of Egypt and is the largest city on the Mediterranean, the List of cities and towns in Egypt#Largest cities, second-largest in Egypt (after Cairo), the List of largest cities in the Arab world, fourth- ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Number Theory
Number theory is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic functions. Number theorists study prime numbers as well as the properties of mathematical objects constructed from integers (for example, rational numbers), or defined as generalizations of the integers (for example, algebraic integers). Integers can be considered either in themselves or as solutions to equations (Diophantine geometry). Questions in number theory can often be understood through the study of Complex analysis, analytical objects, such as the Riemann zeta function, that encode properties of the integers, primes or other number-theoretic objects in some fashion (analytic number theory). One may also study real numbers in relation to rational numbers, as for instance how irrational numbers can be approximated by fractions (Diophantine approximation). Number theory is one of the oldest branches of mathematics alongside geometry. One quirk of number theory is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebra
Algebra is a branch of mathematics that deals with abstract systems, known as algebraic structures, and the manipulation of expressions within those systems. It is a generalization of arithmetic that introduces variables and algebraic operations other than the standard arithmetic operations, such as addition and multiplication. Elementary algebra is the main form of algebra taught in schools. It examines mathematical statements using variables for unspecified values and seeks to determine for which values the statements are true. To do so, it uses different methods of transforming equations to isolate variables. Linear algebra is a closely related field that investigates linear equations and combinations of them called '' systems of linear equations''. It provides methods to find the values that solve all equations in the system at the same time, and to study the set of these solutions. Abstract algebra studies algebraic structures, which consist of a set of mathemati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Three Dimensions
In geometry, a three-dimensional space (3D space, 3-space or, rarely, tri-dimensional space) is a mathematical space in which three values (''coordinates'') are required to determine the position of a point. Most commonly, it is the three-dimensional Euclidean space, that is, the Euclidean space of dimension three, which models physical space. More general three-dimensional spaces are called ''3-manifolds''. The term may also refer colloquially to a subset of space, a ''three-dimensional region'' (or 3D domain), a ''solid figure''. Technically, a tuple of numbers can be understood as the Cartesian coordinates of a location in a -dimensional Euclidean space. The set of these -tuples is commonly denoted \R^n, and can be identified to the pair formed by a -dimensional Euclidean space and a Cartesian coordinate system. When , this space is called the three-dimensional Euclidean space (or simply "Euclidean space" when the context is clear). In classical physics, it serves as a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Solid Geometry
Solid geometry or stereometry is the geometry of Three-dimensional space, three-dimensional Euclidean space (3D space). A solid figure is the region (mathematics), region of 3D space bounded by a two-dimensional closed surface; for example, a solid ball (mathematics), ball consists of a sphere and its Interior (topology), interior. Solid geometry deals with the measurements of volumes of various solids, including Pyramid (geometry), pyramids, Prism (geometry), prisms (and other polyhedrons), cubes, Cylinder (geometry), cylinders, cone (geometry), cones (and Frustum, truncated cones). History The Pythagoreanism, Pythagoreans dealt with the regular solids, but the pyramid, prism, cone and cylinder were not studied until the Platonism, Platonists. Eudoxus of Cnidus, Eudoxus established their measurement, proving the pyramid and cone to have one-third the volume of a prism and cylinder on the same base and of the same height. He was probably also the discoverer of a proof that t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical Proof
A mathematical proof is a deductive reasoning, deductive Argument-deduction-proof distinctions, argument for a Proposition, mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning that establish logical certainty, to be distinguished from empirical evidence, empirical arguments or non-exhaustive inductive reasoning that establish "reasonable expectation". Presenting many cases in which the statement holds is not enough for a proof, which must demonstrate that the statement is true in ''all'' possible cases. A proposition that has not been proved but is believed to be true is known as a conjecture, or a hypothesis if frequently used as an assumption for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Secondary School
A secondary school, high school, or senior school, is an institution that provides secondary education. Some secondary schools provide both ''lower secondary education'' (ages 11 to 14) and ''upper secondary education'' (ages 14 to 18), i.e., both levels 2 and 3 of the International Standard Classification of Education, ISCED scale, but these can also be provided in separate schools. There may be other variations in the provision: for example, children in Australia, Hong Kong, and Spain change from the primary to secondary systems a year later at the age of 12, with the ISCED's first year of lower secondary being the last year of primary provision. In the United States, most local secondary education systems have separate Middle school#United States, middle schools and High school in the United States, high schools. Middle schools are usually from grades 6–8 or 7–8, and high schools are typically from grades 9–12. In the United Kingdom, most state schools and P ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Logical System
A formal system is an abstract structure and formalization of an axiomatic system used for deducing, using rules of inference, theorems from axioms. In 1921, David Hilbert proposed to use formal systems as the foundation of knowledge in mathematics. The term ''formalism'' is sometimes a rough synonym for ''formal system'', but it also refers to a given style of notation, for example, Paul Dirac's bra–ket notation. Concepts A formal system has the following: * Formal language, which is a set of well-formed formulas, which are strings of symbols from an alphabet, formed by a formal grammar (consisting of production rules or formation rules). * Deductive system, deductive apparatus, or proof system, which has rules of inference that take axioms and infers theorems, both of which are part of the formal language. A formal system is said to be recursive (i.e. effective) or recursively enumerable if the set of axioms and the set of inference rules are decidable set ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proposition
A proposition is a statement that can be either true or false. It is a central concept in the philosophy of language, semantics, logic, and related fields. Propositions are the object s denoted by declarative sentences; for example, "The sky is blue" expresses the proposition that the sky is blue. Unlike sentences, propositions are not linguistic expressions, so the English sentence "Snow is white" and the German "Schnee ist weiß" denote the same proposition. Propositions also serve as the objects of belief and other propositional attitudes, such as when someone believes that the sky is blue. Formally, propositions are often modeled as functions which map a possible world to a truth value. For instance, the proposition that the sky is blue can be modeled as a function which would return the truth value T if given the actual world as input, but would return F if given some alternate world where the sky is green. However, a number of alternative formalizations have be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Axiom
An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word (), meaning 'that which is thought worthy or fit' or 'that which commends itself as evident'. The precise definition varies across fields of study. In classic philosophy, an axiom is a statement that is so evident or well-established, that it is accepted without controversy or question. In modern logic, an axiom is a premise or starting point for reasoning. In mathematics, an ''axiom'' may be a " logical axiom" or a " non-logical axiom". Logical axioms are taken to be true within the system of logic they define and are often shown in symbolic form (e.g., (''A'' and ''B'') implies ''A''), while non-logical axioms are substantive assertions about the elements of the domain of a specific mathematical theory, for example ''a'' + 0 = ''a'' in integer arithmetic. N ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclid's Elements
The ''Elements'' ( ) is a mathematics, mathematical treatise written 300 BC by the Ancient Greek mathematics, Ancient Greek mathematician Euclid. ''Elements'' is the oldest extant large-scale deductive treatment of mathematics. Drawing on the works of earlier mathematicians such as Hippocrates of Chios, Eudoxus of Cnidus and Theaetetus (mathematician), Theaetetus, the ''Elements'' is a collection in 13 books of definitions, postulates, propositions and mathematical proofs that covers plane and solid Euclidean geometry, elementary number theory, and Commensurability (mathematics), incommensurable lines. These include Pythagorean theorem, Thales' theorem, the Euclidean algorithm for greatest common divisors, Euclid's theorem that there are infinitely many prime numbers, and the Compass-and-straightedge construction, construction of regular polygons and Regular polyhedra, polyhedra. Often referred to as the most successful textbook ever written, the ''Elements'' has continued to be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
