|
Archimedean Field
In abstract algebra and analysis, the Archimedean property, named after the ancient Greek mathematician Archimedes of Syracuse, is a property held by some algebraic structures, such as ordered or normed groups, and fields. The property, as typically construed, states that given two positive numbers x and y, there is an integer n such that nx > y. It also means that the set of natural numbers is not bounded above. Roughly speaking, it is the property of having no ''infinitely large'' or ''infinitely small'' elements. It was Otto Stolz who gave the axiom of Archimedes its name because it appears as Axiom V of Archimedes’ '' On the Sphere and Cylinder''. The notion arose from the theory of magnitudes of ancient Greece; it still plays an important role in modern mathematics such as David Hilbert's axioms for geometry, and the theories of ordered groups, ordered fields, and local fields. An algebraic structure in which any two non-zero elements are ''comparable'', in the s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
01 Archimedisches Axiom
1 (one, unit, unity) is a number, Numeral (linguistics), numeral, and glyph. It is the first and smallest Positive number, positive integer of the infinite sequence of natural numbers. This fundamental property has led to its unique uses in other fields, ranging from science to sports, where it commonly denotes the first, leading, or top thing in a group. 1 is the unit (measurement), unit of counting or measurement, a determiner for singular nouns, and a gender-neutral pronoun. Historically, the representation of 1 evolved from ancient Sumerian and Babylonian symbols to the modern Arabic numeral. In mathematics, 1 is the multiplicative identity, meaning that any number multiplied by 1 equals the same number. 1 is by convention not considered a prime number. In Digital electronics, digital technology, 1 represents the "on" state in binary code, the foundation of computing. Philosophically, 1 symbolizes the ultimate reality or source of existence in various traditions. In math ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Infinitesimal
In mathematics, an infinitesimal number is a non-zero quantity that is closer to 0 than any non-zero real number is. The word ''infinitesimal'' comes from a 17th-century Modern Latin coinage ''infinitesimus'', which originally referred to the "infinity- th" item in a sequence. Infinitesimals do not exist in the standard real number system, but they do exist in other number systems, such as the surreal number system and the hyperreal number system, which can be thought of as the real numbers augmented with both infinitesimal and infinite quantities; the augmentations are the reciprocals of one another. Infinitesimal numbers were introduced in the development of calculus, in which the derivative was first conceived as a ratio of two infinitesimal quantities. This definition was not rigorously formalized. As calculus developed further, infinitesimals were replaced by limits, which can be calculated using the standard real numbers. In the 3rd century BC Archimedes used what ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ordered Field
In mathematics, an ordered field is a field together with a total ordering of its elements that is compatible with the field operations. Basic examples of ordered fields are the rational numbers and the real numbers, both with their standard orderings. Every subfield of an ordered field is also an ordered field in the inherited order. Every ordered field contains an ordered subfield that is isomorphic to the rational numbers. Every Dedekind-complete ordered field is isomorphic to the reals. Squares are necessarily non-negative in an ordered field. This implies that the complex numbers cannot be ordered since the square of the imaginary unit ''i'' is (which is negative in any ordered field). Finite fields cannot be ordered. Historically, the axiomatization of an ordered field was abstracted gradually from the real numbers, by mathematicians including David Hilbert, Otto Hölder and Hans Hahn. This grew eventually into the Artin–Schreier theory of ordered fields and f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ring (mathematics)
In mathematics, a ring is an algebraic structure consisting of a set with two binary operations called ''addition'' and ''multiplication'', which obey the same basic laws as addition and multiplication of integers, except that multiplication in a ring does not need to be commutative. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series. A ''ring'' may be defined as a set that is endowed with two binary operations called ''addition'' and ''multiplication'' such that the ring is an abelian group with respect to the addition operator, and the multiplication operator is associative, is distributive over the addition operation, and has a multiplicative identity element. (Some authors apply the term ''ring'' to a further generalization, often called a '' rng'', that omits the requirement for a multiplicative identity, and instead call the structure defi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Natural Number
In mathematics, the natural numbers are the numbers 0, 1, 2, 3, and so on, possibly excluding 0. Some start counting with 0, defining the natural numbers as the non-negative integers , while others start with 1, defining them as the positive integers Some authors acknowledge both definitions whenever convenient. Sometimes, the whole numbers are the natural numbers as well as zero. In other cases, the ''whole numbers'' refer to all of the integers, including negative integers. The counting numbers are another term for the natural numbers, particularly in primary education, and are ambiguous as well although typically start at 1. The natural numbers are used for counting things, like "there are ''six'' coins on the table", in which case they are called ''cardinal numbers''. They are also used to put things in order, like "this is the ''third'' largest city in the country", which are called ''ordinal numbers''. Natural numbers are also used as labels, like Number (sports), jersey ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Linearly Ordered Group
In mathematics, specifically abstract algebra, a linearly ordered or totally ordered group is a group (mathematics), group ''G'' equipped with a total order "≤" that is ''translation-invariant''. This may have different meanings. We say that (''G'', ≤) is a: * left-ordered group if ≤ is left-invariant, that is ''a'' ≤ ''b'' implies ''ca'' ≤ ''cb'' for all ''a'', ''b'', ''c'' in ''G'', * right-ordered group if ≤ is right-invariant, that is ''a'' ≤ ''b'' implies ''ac'' ≤ ''bc'' for all ''a'', ''b'', ''c'' in ''G'', * bi-ordered group if ≤ is bi-invariant, that is it is both left- and right-invariant. A group ''G'' is said to be left-orderable (or right-orderable, or bi-orderable) if there exists a left- (or right-, or bi-) invariant order on ''G''. A simple necessary condition for a group to be left-orderable is to have no elements of finite order; however this is not a sufficient condition. It is equival ... [...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] |
Heuristic
A heuristic or heuristic technique (''problem solving'', '' mental shortcut'', ''rule of thumb'') is any approach to problem solving that employs a pragmatic method that is not fully optimized, perfected, or rationalized, but is nevertheless "good enough" as an approximation or attribute substitution. Where finding an optimal solution is impossible or impractical, heuristic methods can be used to speed up the process of finding a satisfactory solution. Heuristics can be mental shortcuts that ease the cognitive load of making a decision. Context Gigerenzer & Gaissmaier (2011) state that sub-sets of ''strategy'' include heuristics, regression analysis, and Bayesian inference. Heuristics are strategies based on rules to generate optimal decisions, like the anchoring effect and utility maximization problem. These strategies depend on using readily accessible, though loosely applicable, information to control problem solving in human beings, machines and abstract i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Archimedes's Use Of Infinitesimals
''The Method of Mechanical Theorems'' (), also referred to as ''The Method'', is one of the major surviving works of the ancient Greek polymath Archimedes. ''The Method'' takes the form of a letter from Archimedes to Eratosthenes, the chief librarian at the Library of Alexandria, and contains the first attested explicit use of indivisibles (indivisibles are geometric versions of infinitesimals). The work was originally thought to be lost, but in 1906 was rediscovered in the celebrated Archimedes Palimpsest. The palimpsest includes Archimedes' account of the "mechanical method", so called because it relies on the center of weights of figures (centroid) and the law of the lever, which were demonstrated by Archimedes in ''On the Equilibrium of Planes''. Archimedes did not admit the method of indivisibles as part of rigorous mathematics, and therefore did not publish his method in the formal treatises that contain the results. In these treatises, he proves the same theorems by ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eudoxus Of Cnidus
Eudoxus of Cnidus (; , ''Eúdoxos ho Knídios''; ) was an Ancient Greece, ancient Greek Ancient Greek astronomy, astronomer, Greek mathematics, mathematician, doctor, and lawmaker. He was a student of Archytas and Plato. All of his original works are lost, though some fragments are preserved in Hipparchus' ''Commentaries on the Phenomena of Aratus and Eudoxus''. ''Theodosius' Spherics, Spherics'' by Theodosius of Bithynia may be based on a work by Eudoxus. Life Eudoxus, son of Aeschines, was born and died in Cnidus (also transliterated Knidos), a city on the southwest coast of Anatolia. The years of Eudoxus' birth and death are not fully known but Diogenes Laertius, Diogenes Laërtius gave several biographical details, mentioned that Apollodorus of Athens, Apollodorus said he reached his wikt:acme#English, acme in the 103rd Olympiad (368–), and claimed he died in his 53rd year. From this 19th century mathematical historians reconstructed dates of 408–, but 20th century schola ... [...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] |
Ancient Greece
Ancient Greece () was a northeastern Mediterranean civilization, existing from the Greek Dark Ages of the 12th–9th centuries BC to the end of classical antiquity (), that comprised a loose collection of culturally and linguistically related city-states and communities. Prior to the Roman period, most of these regions were officially unified only once under the Kingdom of Macedon from 338 to 323 BC. In Western history, the era of classical antiquity was immediately followed by the Early Middle Ages and the Byzantine period. Three centuries after the decline of Mycenaean Greece during the Bronze Age collapse, Greek urban poleis began to form in the 8th century BC, ushering in the Archaic period and the colonization of the Mediterranean Basin. This was followed by the age of Classical Greece, from the Greco-Persian Wars to the death of Alexander the Great in 323 BC, and which included the Golden Age of Athens and the Peloponnesian War. The u ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
