Home›Theorems›Proved›By Decade›1980sBrowse By1980sProved 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.1980sConnectionsSourcesComments (0)Reader Challenges (0)1980sFilter Results22 entriesBranchAllAlgebra (2)Algebraic Geometry (1)Computational Complexity Theory (3)Differential Topology (1)Game Theory (1)Geometry (1)Graph Theory (3)Mathematical Physics (3)Number Theory (3)Topology (1)Topic AreaAllAlgebraic Number Theory (3)Computability and Complexity Theory (3)Economic Theory (3)Electromagnetism, Optics and Continuum Mechanics (1)Equilibria, Bargaining and Cooperative Games (1)Geometric and Differential Topology (3)Graph Theory (3)Group Theory (1)Linear Algebra and Matrix Theory (1)Quantum Mechanics and Quantum Field Theory (2)Proved ByAllEdward Witten (1)Endre Szemerédi (1)George David Birkhoff (1)Gerd Faltings (1)Ken Ribet (1)Michael Freedman (1)Mikhail Gromov (1)Simon Donaldson (1)Statement FormAllCharacterization Theorem (5)Classification Theorem (3)Existence Theorem (3)Identity or Equation (2)Impossibility Theorem (2)Inequality (7)Uniqueness Theorem (1)Show ResultsBrowseCompareSelect all 22Approximate Max-Flow Min-Cut Theorem1980sBirkhoff's Theorem (Electromagnetism)1980sClassification of Finite Simple Groups1980sCrossing Number Inequality1980sDonaldson's Theorem1980sFaltings's Theorem1980sFreedman's Theorem1980sGamas's Theorem1980sGreenwald-Stiglitz Theorem1980sGromov's Non-Squeezing Theorem1980sHolmstrom's Theorem1980sImmerman-Szelepcsenyi Theorem1980sLeggett-Garg Inequality1980sNo-Cloning Theorem1980sNo-Trade Theorem1980sRibet's Theorem1980sRubinstein Bargaining Model1980sSchnyder's Theorem1980sSipser-Lautemann Theorem1980sTunnell's Theorem1980sValiant-Vazirani Theorem1980sWeinberg-Witten Theorem1980sConnectionsShowing the first 400 of 908 connections.SourcesMacTutor History of Mathematics Archivetier 1University of St Andrews, School of Mathematics and StatisticsContains: Central Limit TheoremContains: Bayes' TheoremView the SourceWikipedia: Noether's Theoremtier 2Wikimedia FoundationContains: Noether's TheoremView the SourceWikipedia: Cayley's Theoremtier 2Wikimedia FoundationContains: Cayley's TheoremView the SourceComments (0)No comments yet. Be the first to share a thought.Sign in to join the discussion.Reader Challenges (0)No disputes yet. Spotted an error or a better source? Open the first one.Sign in to dispute this or suggest a correction.