number-theoretic formula
71Duality (mathematics) — In mathematics, a duality, generally speaking, translates concepts, theorems or mathematical structures into other concepts, theorems or structures, in a one to one fashion, often (but not always) by means of an involution operation: if the dual… …
72Michael Atiyah — Sir Michael Atiyah Born 22 April 1929 (1929 04 22) (age 82) …
73Peano axioms — In mathematical logic, the Peano axioms, also known as the Dedekind Peano axioms or the Peano postulates, are a set of axioms for the natural numbers presented by the 19th century Italian mathematician Giuseppe Peano. These axioms have been used… …
74Mereology — In philosophy and mathematical logic, mereology (from the Greek μέρος, root: μερε(σ) , part and the suffix logy study, discussion, science ) treats parts and the wholes they form. Whereas set theory is founded on the membership relation between a …
75List of important publications in mathematics — One of the oldest surviving fragments of Euclid s Elements, found at Oxyrhynchus and dated to circa AD 100. The diagram accompanies Book II, Proposition 5.[1] This is a list of important publications in mathematics, organized by field. Some… …
76Intersection theory (mathematics) — In mathematics, intersection theory is a branch of algebraic geometry, where subvarieties are intersected on an algebraic variety, and of algebraic topology, where intersections are computed within the cohomology ring. The theory for varieties is …
77Dependence logic — is a logical formalism, created by Jouko Väänänen[1], which adds dependence atoms to the language of first order logic. A dependence atom is an expression of the form , where are terms, and corresponds to the statement that the value of is… …
78Perron–Frobenius theorem — In linear algebra, the Perron–Frobenius theorem, proved by Oskar Perron (1907) and Georg Frobenius (1912), asserts that a real square matrix with positive entries has a unique largest real eigenvalue and that the corresponding… …
79Cluster analysis — The result of a cluster analysis shown as the coloring of the squares into three clusters. Cluster analysis or clustering is the task of assigning a set of objects into groups (called clusters) so that the objects in the same cluster are more… …
80History of logic — Philosophy ( …
