Browse By

20th century

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.

Facts

Comparison

Era Of Emergence

1950 1

20th century

59 entries

Branch

Proved By

Statement Form

Approximate Max-Flow Min-Cut Theorem

Balinski's Theorem

Baranyai's Theorem

Berge's Theorem

Birkhoff-von Neumann Theorem

Bondy's Theorem

Bregman-Minc Inequality

Brooks' Theorem

Bruck-Ryser-Chowla Theorem

Corners Theorem

Courcelle's Theorem

Crossing Number Inequality

De Bruijn-Erdos Theorem (Incidence Geometry)

Dilworth's Theorem

Dinitz Theorem

Dirac's Theorem

Elias Bassalygo Bound

Erdos-Gallai Theorem

Erdos-Ko-Rado Theorem

Erdos-Rado Theorem

Erdos-Stone Theorem

Erdos-Szekeres Theorem

Fary's Theorem

Fisher's Inequality

Friendship Theorem

Grinberg's Theorem

Grotzsch's Theorem

Hajnal-Szemeredi Theorem

Hall's Marriage Theorem

Koenig's Theorem (Graph Theory)

Kotzig's Theorem

Kovari-Sos-Turan Theorem

Kruskal's Tree Theorem

Kuratowski's Theorem

Lambek-Moser Theorem

Lovasz Local Lemma

MacMahon's Master Theorem

Mantel's Theorem

Menger's Theorem

Mirsky's Theorem

Nash-Williams Formula

Ore's Theorem

Perfect Graph Theorem

Polya Enumeration Theorem

Ramsey's Theorem

Ringel-Youngs Theorem

Robbins' Theorem

Schnyder's Theorem

Sperner's Theorem

Steinitz's Theorem (Convex Polytopes)

Sunflower Lemma

Szemeredi Regularity Lemma

Turan's Theorem

Tutte Homotopy Theorem

Tutte-Berge Formula

Ugly Duckling Theorem

Van der Waerden's Theorem

Vizing's Theorem

Wagner's Theorem