theorem
in mathematics, a statement that has been proved
Schnyder's theorem
order dimension of incidences in planar graphs
seven circles theorem
about a chain of six circles tangent to a seventh circle and each to its 2 neighbors
space hierarchy theorem
theorem
sphere theorem
on when elements of the 2nd homotopy group of a 3-manifold can be embedded spheres
tilted large deviation principle
mathematical formula
transposition
rule in propositional logic allowing an antecedent and consequent to be transposed if they are also both negated
Tunnell's theorem
resolution to the congruent number problem
uniform limit theorem
theorem that the uniform limit of a sequence of continuous functions is continuous
structure theorem for finitely generated modules over a principal ideal domain
result in abstract algebra
universal approximation theorem
theorem that a feed-forward network with a single hidden layer can approximate continuous functions
universal Turing machine theorem
mathematical theorem in computability theory that there exists a partial two-variable computable function 𝑢 such that, for every one-variable partial computable function 𝑓, an 𝑒 exists such that f(𝑥)≃𝑢(𝑒,𝑥) for all 𝑥
Post's lattice
lattice of all clones (sets of logical connectives closed under composition and containing all projections) on a two-element set {0, 1}, ordered by inclusion
strong perfect graph theorem
perfect graphs have neither odd holes nor odd antiholes
Bloch's formula
Result in algebraic K-theory relating Chow groups to cohomology
Fabry gap theorem
mathematical theorem
one-shot deviation principle
principle of optimality in game theory: a strategy profile of a finite extensive-form game is a subgame perfect equilibrium iff there exist no profitable one-shot deviations for each subgame and every player
Posner's theorem
theorem in algebra
Universal chord theorem
guarantees chords of length 1/n for functions satisfying certain conditions
Fuss' theorem
mathematical theorem
Cubical complex
polyhedral complex built of points, lines, squares, cubes and hypercube of any dimensions
Wilks' theorem
statistical theorem
theorem of the highest weight
in representation theory, the theorem that irreducible representations of semisimple Lie algebras or compact Lie groups are classified by their highest weights
Carnot's theorem (perpendiculars)
Condition for 3 lines with common point to be perpendicular to the sides of triangle
Theorem of transition
theorem about commutative rings and subrings
Bergman's diamond lemma
gröbner bases for non-commutative algebra
transversality theorem
theorem
proof by contradiction
form of proof
pigeonhole principle
mathematical lemma that, if 𝑛 items are put into 𝑚 containers, with 𝑛>𝑚, then at least one container must contain more than one item
lemma
theorem for proving more complex theorems
Monotone class theorem
theorem
adiabatic theorem
theorem
monstrous moonshine
connection between representation theory of the monster group and the modular j-invariant
Fisher separation theorem
theorem
Montel's theorem
theorem
Little's Law
theorem in queueing theory
isosceles triangle theorem
theorem
folk theorem
class of theorems about possible Nash equilibrium payoff profiles in repeated games
fundamental theorem of arithmetic
theorem about prime factorization of a number
ham sandwich theorem
theorem that any three objects in space can be simultaneously bisected by a plane