Browse By

1940s

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.

1940s

42 entries

Branch

Topic Area

Proved By

Statement Form

Alexandrov's Theorem on Polyhedra

Banach-Alaoglu Theorem

Berry-Esseen Theorem

Birkhoff-von Neumann Theorem

Blaschke-Santalo Inequality

Bonnet-Myers Theorem

Brauer-Siegel Theorem

Brooks' Theorem

Bruck-Ryser-Chowla Theorem

Chow's Theorem

Continuous Mapping Theorem

De Bruijn-Erdos Theorem (Incidence Geometry)

Erdos-Anning Theorem

Erdos-Kac Theorem

Erdos-Stone Theorem

Factor Price Equalization

Feynman-Kac Formula

Fisher's Inequality

Fisher-Tippett-Gnedenko Theorem

Goodstein's Theorem

Jacobson Density Theorem

Kakutani Fixed-Point Theorem

Krein-Milman Theorem

Lie-Kolchin Theorem

Linnik's Theorem

Mahler's Compactness Theorem

Mann's Theorem

Prigogine's Theorem

Proof that 22/7 Exceeds Pi

Ramanujan-Nagell Equation

Ramanujan-Nagell Theorem

Roy's Identity

Saint-Venant's Theorem

Sard's Theorem

S-m-n Theorem

Specht's Theorem

Stolper-Samuelson Theorem

Sylvester-Gallai Theorem

Turan's Theorem

Von Neumann-Morgenstern Utility Theorem

Wald's Identity

Whitehead Theorem