nonstandard element

  • 21Digital single-lens reflex camera — Nikon D700 full frame (FX) digital SLR camera …

    Wikipedia

  • 22Generalized Verma module — Generalized Verma modules are object in the representation theory of Lie algebras, a field in mathematics. They were studied originally by James Lepowsky in seventies. The motivation for their study is that their homomorphisms correspond to… …

    Wikipedia

  • 23Développement décimal de l'unité — En mathématiques, le développement décimal périodique qui s écrit , que l on dénote encore par , ou , représente un nombre réel dont on peut montrer que c e …

    Wikipédia en Français

  • 24mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… …

    Universalium

  • 25logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …

    Universalium

  • 26Internal set theory — (IST) is a mathematical theory of sets developed by Edward Nelson which provides an axiomatic basis for a portion of the non standard analysis introduced by Abraham Robinson. Instead of adding new elements to the real numbers, the axioms… …

    Wikipedia

  • 27Implementation of mathematics in set theory — This article examines the implementation of mathematical concepts in set theory. The implementation of a number of basic mathematical concepts is carried out in parallel in ZFC (the dominant set theory) and in NFU, the version of Quine s New… …

    Wikipedia

  • 28Goodstein's theorem — In mathematical logic, Goodstein s theorem is a statement about the natural numbers made by Reuben Goodstein which states that every Goodstein sequence eventually terminates at 0. harvtxt|Kirby|Paris|1982 showed that it is unprovable in Peano… …

    Wikipedia

  • 29cosmos — /koz meuhs, mohs/, n., pl. cosmos, cosmoses for 2, 4. 1. the world or universe regarded as an orderly, harmonious system. 2. a complete, orderly, harmonious system. 3. order; harmony. 4. any composite plant of the genus Cosmos, of tropical… …

    Universalium

  • 30metaphysics — /met euh fiz iks/, n. (used with a sing. v.) 1. the branch of philosophy that treats of first principles, includes ontology and cosmology, and is intimately connected with epistemology. 2. philosophy, esp. in its more abstruse branches. 3. the… …

    Universalium