Browse By

1920s

Proved places a theorem in the year its proof was actually finished. Wikipedia records that "after 358 years of effort by mathematicians, the first successful proof was released in 1994 by Andrew Wiles and formally published in 1995." Browsing by proved year shows how long a stated theorem can wait before a genuine proof arrives.

1920s

45 entries

Branch

Topic Area

Proved By

Named After

Statement Form

Adiabatic Theorem

Alexander's Theorem, Braid Closure

Artin Reciprocity Law

Artin-Schreier Theorem

Banach Fixed-Point Theorem

Banach-Steinhaus Theorem

Banach-Tarski Paradox

Bernstein's Theorem on Monotone Functions

Birkhoff's Theorem (General Relativity)

Bloch's Theorem (Complex Analysis)

Bloch's Theorem (Solid-State Physics)

Bohr-Mollerup Theorem

Cantelli's Inequality

Chebotarev Density Theorem

Denjoy-Wolff Theorem

Denjoy-Young-Saks Theorem

Ehrenfest Theorem

Fueter-Polya Theorem

Godel's Completeness Theorem

Hahn-Banach Theorem

Konig's Lemma

Krull's Principal Ideal Theorem

Krull's Theorem

Lasker-Noether Theorem

Lefschetz Fixed-Point Theorem

Menger's Theorem

Minimax Theorem

Mordell-Weil Theorem

Nielsen-Schreier Theorem

Noether Normalization Lemma

Noether's Isomorphism Theorems

Peter-Weyl Theorem

Polya Enumeration Theorem

Principal Ideal Theorem

Radon's Theorem

Reidemeister's Theorem

Riesz-Thorin Interpolation Theorem

Siegel's Theorem on Integral Points

Skolem-Noether Theorem

Sperner's Theorem

Steinitz's Theorem (Convex Polytopes)

Titchmarsh Convolution Theorem

Urysohn Metrization Theorem

Van der Waerden's Theorem

Weak Law of Large Numbers