Browse By

1950s

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.

1950s

65 entries

Branch

Topic Area

Proved By

Statement Form

Amitsur-Levitzki Theorem

Ankeny-Artin-Chowla Congruence

Arrow's Impossibility Theorem

Artin-Rees Lemma

Basu's Theorem

Beckman-Quarles Theorem

Berge's Theorem

Beth Definability Theorem

Blackwell's Approachability Theorem

Blackwell's Informativeness Theorem

Chernoff Bound

Chowla-Mordell Theorem

Chung-Fuchs Theorem

CPT Theorem

Craig Interpolation Theorem

Debreu's Theorems

Dilworth's Theorem

Dirac's Theorem

Donsker's Theorem

Doob Decomposition Theorem

Dorfman-Steiner Theorem

Eilenberg-Zilber Theorem

Erdos-Rado Theorem

Fluctuation-Dissipation Theorem

Fodor's Lemma

Fundamental Theorems of Welfare Economics

Furstenberg's Proof of the Infinitude of Primes

Gleason's Theorem

Grotzsch's Theorem

Grunwald-Wang Theorem

Haag's Theorem

Ito's Lemma

Kotzig's Theorem

Kővári-Sos-Turán Theorem

Kuhn's Theorem

Lambek-Moser Theorem

Lax-Milgram Theorem

Loeb's Theorem

Mahler's Theorem

Maximum Theorem

May's Theorem

Mergelyan's Theorem

Mixture-Space Theorem

Modigliani-Miller Theorem

Myhill Isomorphism Theorem

Myhill-Nerode Theorem

Nagata-Smirnov Metrization Theorem

Nakayama's Lemma

Nash Embedding Theorem

Nash Equilibrium

Rauch Comparison Theorem

Rice's Theorem

Roth's Theorem (Thue-Siegel-Roth)

Rybczynski Theorem

Ryll-Nardzewski Theorem

Sanov's Theorem

Shapley's Theorem

Shephard's Lemma

Smale's Theorem (Sphere Eversion)

Tennenbaum's Theorem

Trakhtenbrot's Theorem

Turan-Kubilius Inequality

Tutte Homotopy Theorem

Tutte-Berge Formula

Wick's Theorem