Browse By

1960s

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.

1960s

62 entries

Branch

Topic Area

Proved By

Statement Form

Artin-Verdier Duality

Atiyah-Singer Index Theorem

Ax-Grothendieck Theorem

Ax-Kochen Theorem

Baker's Theorem

Balinski's Theorem

Barwise Compactness Theorem

Bauer-Fike Theorem

Bell's Theorem

Blum's Speedup Theorem

Bombieri-Vinogradov Theorem

Bondareva-Shapley Theorem

Brown Representability Theorem

Carleson's Theorem

Coleman-Mandula Theorem

Curtis-Hedlund-Lyndon Theorem

Edgeworth's Limit Theorem

Ehrenfeucht-Fraisse Theorem

Elias Bassalygo Bound

Erdos-Gallai Theorem

Erdos-Ginzburg-Ziv Theorem

Erdos-Ko-Rado Theorem

Feit-Thompson Theorem

Friendship Theorem

Frisch-Waugh-Lovell Theorem

Gale-Shapley Theorem

Girsanov's Theorem

Goldstone's Theorem

Greibach's Theorem

Grinberg's Theorem

H-Cobordism Theorem

Higman's Embedding Theorem

Hoeffding's Inequality

Jurkat-Richert Theorem

Kamp's Theorem

Kochen-Specker Theorem

Kruskal's Tree Theorem

Kuiper's Theorem

Lawvere's Fixed-Point Theorem

Le Cam's Theorem

Lindstrom's Theorem

Linton's Theorem (Equational Theory)

Lochs' Theorem

Malgrange Preparation Theorem

Mermin-Wagner Theorem

Nash-Williams Formula

No-Hair Theorem

Okishio's Theorem

Ore's Theorem

Penrose-Hawking Singularity Theorems

Reeh-Schlieder Theorem

Richardson's Theorem

Ringel-Youngs Theorem

Shapley-Folkman Theorem

Shoenfield's Absoluteness Theorem

Stark-Heegner Theorem

Sunflower Lemma

Time Hierarchy Theorem

Turan-Kubilius Inequality

Ugly Duckling Theorem

Uzawa's Theorem

Vizing's Theorem