Skip to Main Content

Mathematics Atlas

How Proof Is Made

Sign In

Text size

100%

Theme

Switch Atlas

Interactive AtlasThe Family Home

The Inner World

The Civil World

The Natural World

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.

20th century

414 entries

Branch

Topic Area

Proved By

Named After

Statement Form

15 and 290 Theorems

Adiabatic Theorem

Ado's Theorem

Alexander Duality

Alexander's Theorem, Braid Closure

Alexandrov's Theorem on Polyhedra

Amitsur-Levitzki Theorem

Ankeny-Artin-Chowla Congruence

Antidynamo Theorem

Apery's Theorem

Approximate Max-Flow Min-Cut Theorem

Arrow's Impossibility Theorem

Art Gallery Problem

Artin Reciprocity Law

Artin-Rees Lemma

Artin-Schreier Theorem

Artin-Verdier Duality

Atiyah-Singer Index Theorem

Aumann's Agreement Theorem

Ax-Grothendieck Theorem

Ax-Kochen Theorem

Baker-Gill-Solovay Theorem

Baker's Theorem

Balinski's Theorem

Banach Fixed-Point Theorem

Banach-Alaoglu Theorem

Banach-Steinhaus Theorem

Banach-Tarski Paradox

Baranyai's Theorem

Barwise Compactness Theorem

Basu's Theorem

Bauer-Fike Theorem

Beckman-Quarles Theorem

Behrend's Theorem

Bell's Theorem

Berge's Theorem

Bernstein's Theorem on Monotone Functions

Berry-Esseen Theorem

Beth Definability Theorem

Birkhoff Ergodic Theorem

Birkhoff's Theorem (Electromagnetism)

Birkhoff's Theorem (General Relativity)

Birkhoff-von Neumann Theorem

Bishop-Cannings Theorem

Blackwell's Approachability Theorem

Blackwell's Informativeness Theorem

Blaschke-Santalo Inequality

Bloch's Theorem (Complex Analysis)

Bloch's Theorem (Solid-State Physics)

Blum's Speedup Theorem

Bochner's Theorem

Bohr-Mollerup Theorem

Bohr-van Leeuwen Theorem

Bombieri-Vinogradov Theorem

Bondareva-Shapley Theorem

Bondy's Theorem

Bonnet-Myers Theorem

Borel Determinacy Theorem

Borel-Cantelli Lemma

Borsuk-Ulam Theorem

Brauer-Siegel Theorem

Bregman-Minc Inequality

Brooks' Theorem

Brouwer Fixed-Point Theorem

Brown Representability Theorem

Bruck-Ryser-Chowla Theorem

Brun's Theorem

Brun-Titchmarsh Theorem

Buckingham Pi Theorem

Burnside's Theorem

Cantelli's Inequality

Caratheodory's Theorem (Convex Geometry)

Caratheodory's Theorem (Convex Hull)

Carleson's Theorem

Carmichael's Theorem

Chebotarev Density Theorem

Chernoff Bound

Chevalley-Warning Theorem

Choi's Theorem on Completely Positive Maps

Chowla-Mordell Theorem

Chow's Theorem

Chung-Fuchs Theorem

Church's Theorem

Classification of Finite Simple Groups

Cochran's Theorem

Coleman-Mandula Theorem

Compactness Theorem

Continuous Mapping Theorem

Cook-Levin Theorem

Corners Theorem

Courcelle's Theorem

CPT Theorem

Craig Interpolation Theorem

Cramér's Theorem (Large Deviations)

Cramer-Wold Theorem

Crossing Number Inequality

Curtis-Hedlund-Lyndon Theorem

Cut-Elimination Theorem (Gentzen's Hauptsatz)

De Bruijn-Erdos Theorem (Incidence Geometry)

De Rham's Theorem

Debreu's Theorems

Denjoy-Wolff Theorem

Denjoy-Young-Saks Theorem

Diaconescu's Theorem

Diagonal Lemma

Dilworth's Theorem

Dinitz Theorem

Dirac's Theorem

Donaldson's Theorem

Donsker's Theorem

Doob Decomposition Theorem

Dorfman-Steiner Theorem

Easton's Theorem

Edgeworth's Limit Theorem

Egorov's Theorem

Ehrenfest Theorem

Ehrenfeucht-Fraisse Theorem

Eilenberg-Zilber Theorem

Elias Bassalygo Bound

Elitzur's Theorem

Entscheidungsproblem

Equidistribution Theorem

Erdos-Anning Theorem

Erdos-Gallai Theorem

Erdos-Ginzburg-Ziv Theorem

Erdos-Kac Theorem

Erdos-Ko-Rado Theorem

Erdos-Mordell Inequality

Erdos-Rado Theorem

Erdos-Stone Theorem

Erdos-Szekeres Theorem

Ewald-Oseen Extinction Theorem

Factor Price Equalization

Faltings's Theorem

Fary's Theorem

Feit-Thompson Theorem

Fermat's Last Theorem

Ferrero-Washington Theorem

Feynman-Kac Formula

Finsler-Hadwiger Theorem

Fisher Separation Theorem

Fisher's Fundamental Theorem of Natural Selection

Fisher's Inequality

Fisher-Tippett-Gnedenko Theorem

Fluctuation-Dissipation Theorem

Fodor's Lemma

Four Color Theorem

Frankova-Helly Selection Theorem

Fredholm Alternative

Freedman's Theorem

Freudenthal Suspension Theorem

Friedlander-Iwaniec Theorem

Friendship Theorem

Frisch-Waugh-Lovell Theorem

Fubini's Theorem

Fueter-Polya Theorem

Fundamental Theorems of Welfare Economics

Furstenberg's Proof of the Infinitude of Primes

Gale-Shapley Theorem

Gamas's Theorem

Gelfond-Schneider Theorem

Gentzen's Consistency Proof

Gershgorin Circle Theorem

Gibbard's Theorem

Gibbard-Satterthwaite Theorem

Girsanov's Theorem

Gleason's Theorem

Glivenko-Cantelli Theorem

Godel's Completeness Theorem

Godel's Incompleteness Theorems

Goldstone's Theorem

Gomory's Theorem

Goodstein's Theorem

Greenwald-Stiglitz Theorem

Greibach's Theorem

Grinberg's Theorem

Gromov's Non-Squeezing Theorem

Gronwall's Inequality

Grotzsch's Theorem

Grunwald-Wang Theorem

Haag's Theorem

Hahn-Banach Theorem

Hajnal-Szemerédi Theorem

Hall's Marriage Theorem

Harsanyi's Purification Theorem

Hasse Norm Theorem

Hasse's Theorem on Elliptic Curves

H-Cobordism Theorem

Hellmann-Feynman Theorem

Helly's Theorem

Herbrand's Theorem

Higman's Embedding Theorem

Hilbert-Waring Theorem

Hoeffding's Inequality

Holmstrom's Theorem

Hopf-Rinow Theorem

Immerman-Szelepcsenyi Theorem

Invariance of Domain

Ito's Lemma

Jacobson Density Theorem

Jurkat-Richert Theorem

Kakutani Fixed-Point Theorem

Kamp's Theorem

Kepler Conjecture

Kleene's Recursion Theorem

Kochen-Specker Theorem

Koenig's Theorem (Graph Theory)

Konig's Lemma

Konig's Theorem (Set Theory)

Kostant's Convexity Theorem

Kotzig's Theorem

Kővári-Sos-Turán Theorem

Kramers' Theorem

Krein-Milman Theorem

Krull's Principal Ideal Theorem

Krull's Theorem

Krull-Schmidt Theorem

Kruskal's Tree Theorem

Kuhn's Theorem

Kuiper's Theorem

Kuratowski's Theorem

Ladner's Theorem

Lambek-Moser Theorem

Landau Prime Ideal Theorem

Lasker-Noether Theorem

Lawvere's Fixed-Point Theorem

Lax-Milgram Theorem

Le Cam's Theorem

Lebesgue Differentiation Theorem

Lefschetz Fixed-Point Theorem

Leggett-Garg Inequality

Leray-Schauder Fixed-Point Theorem

Lerner Symmetry Theorem

Lester's Theorem

Levi Decomposition Theorem

Lie-Kolchin Theorem

Lindstrom's Theorem

Linnik's Theorem

Linton's Theorem (Equational Theory)

Lochs' Theorem

Loeb's Theorem

Loewenheim-Skolem Theorem

Lovasz Local Lemma

Lusin's Theorem

MacMahon's Master Theorem

Mahler's Compactness Theorem

Mahler's Theorem

Malgrange Preparation Theorem

Mann's Theorem

Mantel's Theorem

Marginal Value Theorem

Matiyasevich's Theorem

Maximum Theorem

Mayer-Vietoris Theorem

May's Theorem

Mazur's Control Theorem

McKelvey-Schofield Chaos Theorem

Mean Ergodic Theorem

Menger's Theorem

Mercer's Theorem

Mergelyan's Theorem

Mermin-Wagner Theorem

Minimax Theorem

Mirsky's Theorem

Mixture-Space Theorem

Modigliani-Miller Theorem

Monotone Convergence Theorem

Mordell-Weil Theorem

Muntz-Szasz Theorem

Myhill Isomorphism Theorem

Myhill-Nerode Theorem

Nagata-Smirnov Metrization Theorem

Nakayama's Lemma

Namioka's Theorem

Nash Embedding Theorem

Nash Equilibrium

Nash-Williams Formula

Neyman-Pearson Lemma

Nielsen-Schreier Theorem

No Free Lunch Theorem

No-Cloning Theorem

Noether Normalization Lemma

Noether's Isomorphism Theorems

Noether's Second Theorem

Noether's Theorem

No-Hair Theorem

No-Trade Theorem

Okishio's Theorem

Onsager Reciprocal Relations

Ore's Theorem

Ostrowski's Theorem

Paris-Harrington Theorem

Pataraia's Theorem

PCP Theorem

Penrose-Hawking Singularity Theorems

Perfect Graph Theorem

Perron-Frobenius Theorem

Peter-Weyl Theorem

Phragmen-Lindelof Principle

Planar Separator Theorem

Plancherel Theorem

Poincare-Bendixson Theorem

Polya Enumeration Theorem

Polya-Vinogradov Inequality

Pompeiu's Theorem

Prigogine's Theorem

Primitive Element Theorem

Principal Ideal Theorem

Proof that 22/7 Exceeds Pi

Rabin's Calibration Theorem

Radon-Nikodym Theorem

Radon's Theorem

Ramanujan-Nagell Equation

Ramanujan-Nagell Theorem

Ramsey's Theorem

Rauch Comparison Theorem

Reeh-Schlieder Theorem

Reidemeister's Theorem

Ribet's Theorem

Rice's Theorem

Richardson's Theorem

Riesz Representation Theorem

Riesz-Fischer Theorem

Riesz-Thorin Interpolation Theorem

Ringel-Youngs Theorem

Robbins' Theorem

Rosser's Theorem

Roth's Theorem (Thue-Siegel-Roth)

Roy's Identity

Rubinstein Bargaining Model

Rybczynski Theorem

Ryll-Nardzewski Theorem

Saint-Venant's Theorem

Sanov's Theorem

Sard's Theorem

Savitch's Theorem

Scallop Theorem

Schmidt Subspace Theorem

Schnyder's Theorem

Schoenflies Theorem

Shapley-Folkman Theorem

Shapley's Theorem

Sharp-P-Completeness of 01-Permanent

Shephard's Lemma

Shockley-Ramo Theorem

Shoenfield's Absoluteness Theorem

Siegel's Theorem on Integral Points

Silver's Theorem

Sipser-Lautemann Theorem

Skolem-Noether Theorem

Smale's Theorem (Sphere Eversion)

S-m-n Theorem

Solovay-Kitaev Theorem

Solovay's Theorem

Specht's Theorem

Sperner's Theorem

Spin-Statistics Theorem

Sprague-Grundy Theorem

Stark-Heegner Theorem

Steinitz's Theorem (Convex Polytopes)

Stolper-Samuelson Theorem

Stone-Weierstrass Theorem

Strong Law of Large Numbers

Sunflower Lemma

Sylvester-Gallai Theorem

Szemeredi Regularity Lemma

Szemeredi's Theorem

Tarski's Undefinability Theorem

Tarski-Seidenberg Theorem

Taylor-Proudman Theorem

Tennenbaum's Theorem

Thue's Theorem

Tijdeman's Theorem

Time Hierarchy Theorem

Titchmarsh Convolution Theorem

Toda's Theorem

Trakhtenbrot's Theorem

Tunnell's Theorem

Turan-Kubilius Inequality

Turan's Theorem

Turing's Proof

Tutte Homotopy Theorem

Tutte-Berge Formula

Tychonoff's Theorem

Ugly Duckling Theorem

Undecidability of the Halting Problem

Uniformization Theorem

Urysohn Metrization Theorem

Uzawa's Theorem

Valiant-Vazirani Theorem

Van der Waerden's Theorem

Van Kampen's Theorem

Vinogradov's Mean-Value Theorem

Vinogradov's Theorem

Vizing's Theorem

Von Neumann-Morgenstern Utility Theorem

Voronoi Formula

Wagner's Theorem

Wald's Identity

Weak Law of Large Numbers

Wedderburn's Little Theorem

Weil Conjectures

Weinberg-Witten Theorem

Whitehead Theorem

Wick's Theorem

Wiener-Khinchin Theorem

Wigner's Theorem

Wiles's Proof of Fermat's Last Theorem

Wilks' Theorem

Zahorski's Theorem

Zeckendorf's Theorem

Zermelo's Theorem (Game Theory)

Zermelo's Well-Ordering Theorem

Zorn's Lemma

Connections

Showing the first 400 of 908 connections.

Sources

MacTutor History of Mathematics Archive

University of St Andrews, School of Mathematics and Statistics

Contains: Central Limit Theorem
Contains: Bayes' Theorem

View the Source

Wikipedia: Noether's Theorem

Wikimedia FoundationContains: Noether's TheoremView the Source

Wikipedia: Cayley's Theorem

Wikimedia FoundationContains: Cayley's TheoremView the Source

Comments (0)

No comments yet. Be the first to share a thought.

Reader Challenges (0)

No disputes yet. Spotted an error or a better source? Open the first one.