Browse By

1930s

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.

1930s

70 entries

Branch

Topic Area

Proved By

Named After

Statement Form

Ado's Theorem

Antidynamo Theorem

Behrend's Theorem

Birkhoff Ergodic Theorem

Bochner's Theorem

Borsuk-Ulam Theorem

Chevalley-Warning Theorem

Church's Theorem

Cochran's Theorem

Compactness Theorem

Cramér's Theorem (Large Deviations)

Cramer-Wold Theorem

Cut-Elimination Theorem (Gentzen's Hauptsatz)

De Rham's Theorem

Diagonal Lemma

Entscheidungsproblem

Erdos-Mordell Inequality

Erdos-Szekeres Theorem

Fary's Theorem

Finsler-Hadwiger Theorem

Fisher Separation Theorem

Fisher's Fundamental Theorem of Natural Selection

Freudenthal Suspension Theorem

Frisch-Waugh-Lovell Theorem

Gelfond-Schneider Theorem

Gentzen's Consistency Proof

Gershgorin Circle Theorem

Glivenko-Cantelli Theorem

Godel's Incompleteness Theorems

Hall's Marriage Theorem

Hasse Norm Theorem

Hasse's Theorem on Elliptic Curves

Hellmann-Feynman Theorem

Herbrand's Theorem

Hopf-Rinow Theorem

Kleene's Recursion Theorem

Koenig's Theorem (Graph Theory)

Kramers' Theorem

Kuratowski's Theorem

Leray-Schauder Fixed-Point Theorem

Lerner Symmetry Theorem

Mayer-Vietoris Theorem

Mean Ergodic Theorem

Neyman-Pearson Lemma

Onsager Reciprocal Relations

Pompeiu's Theorem

Radon-Nikodym Theorem

Ramsey's Theorem

Robbins' Theorem

Rosser's Theorem

Shockley-Ramo Theorem

Spin-Statistics Theorem

Sprague-Grundy Theorem

Stone-Weierstrass Theorem

Strong Law of Large Numbers

Tarski's Undefinability Theorem

Tarski-Seidenberg Theorem

Turan-Kubilius Inequality

Turing's Proof

Tychonoff's Theorem

Undecidability of the Halting Problem

Van Kampen's Theorem

Vinogradov's Mean-Value Theorem

Vinogradov's Theorem

Wagner's Theorem

Wiener-Khinchin Theorem

Wigner's Theorem

Wilks' Theorem

Zahorski's Theorem

Zorn's Lemma