Home›Theorems›Proved›By Decade›1890sBrowse By1890sProved 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.1890sConnectionsSourcesComments (0)Reader Challenges (0)1890sFilter Results26 entriesBranchAllAlgebra (3)Algebraic Geometry (1)Analysis (3)Analytic Number Theory (1)Differential Equations (1)Differential Geometry (1)Dynamical Systems (1)Geometry (3)Graph Theory (2)Group Theory (1)Logic and Foundations (2)Number Theory (4)Optimization (1)Real Analysis (1)Representation Theory (1)Topology (1)Topic AreaAllAlgebraic Number Theory (1)Algebraic Topology (1)Class Field Theory (1)Combinatorial Number Theory (1)Convex and Discrete Geometry (1)Differential Equations (1)Differential Geometry (1)Economic Theory (1)Enumerative, Additive and Algebraic Combinatorics (1)Functional Analysis (2)Graph Theory (2)Lie Algebras and Representation Theory (2)Prime Number Distribution (1)Real Analysis (2)Ring Theory and Commutative Algebra (3)Set Theory (2)Statistical Mechanics and Thermodynamics (1)Triangle and Circle Geometry (2)Proved ByAllAugustin-Louis Cauchy (2)Charles-Jean de la Vallee Poussin (1)David Hilbert (4)Edward John Routh (1)Ernst Zermelo (1)Felix Hausdorff (1)Ferdinand Georg Frobenius (2)Frank Morley (1)Gaston Darboux (1)Georg Alexander Pick (1)Georg Cantor (2)Heinrich Martin Weber (1)Heinrich Maschke (1)Henri Poincaré (2)Jacques Hadamard (1)Julius Petersen (1)Leopold Kronecker (1)Percy John Heawood (1)Peter Gustav Lejeune Dirichlet (1)Élie Cartan (1)Named AfterAllDavid Hilbert (4)Georg Cantor (1)Statement FormAllCharacterization Theorem (9)Existence Theorem (8)Identity or Equation (6)Inequality (3)Show ResultsBrowseCompareSelect all 262-Factor Theorem1890sArzela-Ascoli Theorem1890sBaire Category Theorem1890sBurnside's Lemma1890sCantor's Theorem1890sCantor-Schroder-Bernstein Theorem1890sCartan-Hadamard Theorem1890sCousin's Theorem1890sEnvelope Theorem1890sFive Color Theorem1890sFrobenius Reciprocity Theorem1890sHeine-Borel Theorem1890sHilbert's Basis Theorem1890sHilbert's Irreducibility Theorem1890sHilbert's Nullstellensatz1890sHilbert's Syzygy Theorem1890sKronecker-Weber Theorem1890sMaschke's Theorem1890sMorley's Trisector Theorem1890sPeano Existence Theorem1890sPick's Theorem1890sPoincare Duality Theorem1890sPoincare Recurrence Theorem1890sPrime Number Theorem1890sRouth's Theorem1890sZsigmondy's Theorem1890sConnectionsShowing 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.