Browse By

1970s

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.

1970s

46 entries

Branch

Topic Area

Proved By

Statement Form

Apery's Theorem

Art Gallery Problem

Aumann's Agreement Theorem

Baker-Gill-Solovay Theorem

Baranyai's Theorem

Bishop-Cannings Theorem

Bondy's Theorem

Borel Determinacy Theorem

Bregman-Minc Inequality

Brun-Titchmarsh Theorem

Choi's Theorem on Completely Positive Maps

Cook-Levin Theorem

Corners Theorem

Diaconescu's Theorem

Easton's Theorem

Elitzur's Theorem

Ferrero-Washington Theorem

Four Color Theorem

Gibbard's Theorem

Gibbard-Satterthwaite Theorem

Gomory's Theorem

Hajnal-Szemerédi Theorem

Harsanyi's Purification Theorem

Kostant's Convexity Theorem

Ladner's Theorem

Lovasz Local Lemma

Marginal Value Theorem

Matiyasevich's Theorem

Mazur's Control Theorem

McKelvey-Schofield Chaos Theorem

Mirsky's Theorem

Namioka's Theorem

Paris-Harrington Theorem

Perfect Graph Theorem

Planar Separator Theorem

Savitch's Theorem

Scallop Theorem

Schmidt Subspace Theorem

Sharp-P-Completeness of 01-Permanent

Silver's Theorem

Solovay's Theorem

Szemeredi Regularity Lemma

Szemeredi's Theorem

Tijdeman's Theorem

Weil Conjectures

Zeckendorf's Theorem