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

1895 1

20th century

31 entries

Branch

Topic Area

Proved By

Statement Form

Alexander Duality

Alexander's Theorem, Braid Closure

Atiyah-Singer Index Theorem

Borsuk-Ulam Theorem

Brouwer Fixed-Point Theorem

Brown Representability Theorem

Curtis-Hedlund-Lyndon Theorem

De Rham's Theorem

Donaldson's Theorem

Eilenberg-Zilber Theorem

Four Color Theorem

Freedman's Theorem

Freudenthal Suspension Theorem

Gromov's Non-Squeezing Theorem

H-Cobordism Theorem

Invariance of Domain

Kakutani Fixed-Point Theorem

Kuiper's Theorem

Lefschetz Fixed-Point Theorem

Leray-Schauder Fixed-Point Theorem

Mayer-Vietoris Theorem

Nagata-Smirnov Metrization Theorem

Reidemeister's Theorem

Sard's Theorem

Schoenflies Theorem

Smale's Theorem (Sphere Eversion)

Tychonoff's Theorem

Uniformization Theorem

Urysohn Metrization Theorem

Van Kampen's Theorem

Whitehead Theorem