law of isomorphism
Смотреть что такое "law of isomorphism" в других словарях:
Artin reciprocity law — The Artin reciprocity law, established by Emil Artin in a series of papers (1924; 1927; 1930), is a general theorem in number theory that forms a central part of the global class field theory.[1] The term reciprocity law refers to a long line of… … Wikipedia
Peirce's law — in logic is named after the philosopher and logician Charles Sanders Peirce. It was taken as an axiom in his first axiomatisation of propositional logic. In propositional calculus, Peirce s law says that (( P → Q )→ P )→ P . Written out, this… … Wikipedia
Eilhard Mitscherlich — Infobox Scientist name = Eilhard Mitscherlich |200px image width = 200px caption = Eilhard Mitscherlich (1794 1863) birth date = birth date|1794|1|7|df=y birth place = Neuende, Jever death date = death date and age|1863|8|28|1794|1|7|df=y death… … Wikipedia
Mitscherlich , Eilhardt — (1794–1863) German chemist Mitscherlich, who was born at Neuende in Germany, studied oriental languages at Heidelberg and Berlin. He then turned to the study of medicine at Göttingen in 1817, where he became interested in crystallography. For two … Scientists
Berzelius, Jöns Jacob — ▪ Swedish chemist Introduction born August 20, 1779, near Linköping, Sweden died August 7, 1848, Stockholm one of the founders of modern chemistry. He is especially noted for his determination of atomic weights (atomic weight), the development… … Universalium
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
Modular lattice — Hasse diagram of N5, the smallest non modular lattice. In the branch of mathematics called order theory, a modular lattice is a lattice that satisfies the following self dual condition: Modular law x ≤ b implies… … Wikipedia
Vector space — This article is about linear (vector) spaces. For the structure in incidence geometry, see Linear space (geometry). Vector addition and scalar multiplication: a vector v (blue) is added to another vector w (red, upper illustration). Below, w is… … Wikipedia
Metric tensor — In the mathematical field of differential geometry, a metric tensor is a type of function defined on a manifold (such as a surface in space) which takes as input a pair of tangent vectors v and w and produces a real number (scalar) g(v,w) in a… … Wikipedia
Formal group — In mathematics, a formal group law is (roughly speaking) a formal power series behaving as if it were the product of a Lie group. They were first defined in 1946 by S. Bochner. The term formal group sometimes means the same as formal group law,… … Wikipedia
Hilbert space — For the Hilbert space filling curve, see Hilbert curve. Hilbert spaces can be used to study the harmonics of vibrating strings. The mathematical concept of a Hilbert space, named after David Hilbert, generalizes the notion of Euclidean space. It… … Wikipedia