ProofWiki:Wanted proofs list

Notes:


 * $(1): \quad$ This may not be every wanted proof. This is just an explicit list that users would like to see. For other pages that have had links created but the page has not yet been created see this page. The proofs below will also be included on that page.


 * $(2): \quad$ The original intention of this page was to list significant results which have been attributed a particular name. If we were to fill it up with sundry statements whose title merely describes the contents, this page would rapidly become unmanageably unwieldy. If you feel the need to keep track of such lesser results, feel free to implement such a list in your personal user page.


 * Whitney Immersion Theorem --Prime.mover 08:09, 18 January 2009 (UTC)
 * Whitney Embedding Theorem --Prime.mover 08:09, 18 January 2009 (UTC)
 * Topological h-Cobordism Theorem --Prime.mover 08:09, 18 January 2009 (UTC)
 * Thurston's Geometrization Conjecture --Prime.mover 08:09, 18 January 2009 (UTC)
 * Tartaglia's Formula --Prime.mover 06:39, 15 March 2009 (UTC)
 * Burnside's Theorem --Joe (talk) 16:50, 16 March 2009 (UTC)
 * Abel-Ruffini Theorem --Prime.mover 20:45, 16 March 2009 (UTC)
 * Equivalence of Definitions of Trigonometric Functions --Cynic (talk) 20:41, 4 May 2009 (UTC)
 * Gödel's Second Incompleteness Theorem --Prime.mover 21:08, 8 May 2009 (UTC)


 * Liouville's Theorem (Hamiltonian Mechanics) --Prime.mover 21:08, 8 May 2009 (UTC)
 * Liouville's Lemma --Prime.mover 21:08, 8 May 2009 (UTC)
 * Liouville's Theorem (Differential Algebra) --Prime.mover 21:08, 8 May 2009 (UTC)
 * Liouville's Theorem (Conformal Mappings) --Prime.mover 21:08, 8 May 2009 (UTC)
 * Braess's Paradox --Prime.mover 21:08, 8 May 2009 (UTC)
 * Bézout's Theorem --Prime.mover 21:08, 8 May 2009 (UTC)
 * Weierstrass Preparation Theorem --Prime.mover 21:08, 8 May 2009 (UTC)
 * Grötzsch Modulus Theorem --Prime.mover 21:08, 8 May 2009 (UTC)
 * Sturm's Theorem --Prime.mover 21:08, 8 May 2009 (UTC)
 * Montel's Theorem --Prime.mover 21:08, 8 May 2009 (UTC)
 * Lindemann-Weierstrass Theorem --Prime.mover 21:08, 8 May 2009 (UTC)
 * Sturm-Picone Comparison Theorem --Prime.mover 21:08, 8 May 2009 (UTC)
 * Rescaling Lemma --Prime.mover 21:08, 8 May 2009 (UTC)
 * Sokhatsky-Weierstrass Theorem --Prime.mover 21:08, 8 May 2009 (UTC)
 * Sturm Separation Theorem --Prime.mover 21:08, 8 May 2009 (UTC)
 * Riemann Uniformization Theorem --Prime.mover 21:08, 8 May 2009 (UTC)
 * Stone-Weierstrass Theorem --Prime.mover 21:08, 8 May 2009 (UTC)
 * Extended Euclidean Divison Algorithm --Prime.mover 21:08, 8 May 2009 (UTC)
 * Zalcman's Rescaling Lemma --Prime.mover 21:08, 8 May 2009 (UTC)
 * Knuth-Bendix Completion Algorithm --Prime.mover 21:08, 8 May 2009 (UTC)
 * Teichmüller Modulus Theorem --Prime.mover 21:08, 8 May 2009 (UTC)
 * Knuth-Morris-Pratt Algorithm --Prime.mover 21:08, 8 May 2009 (UTC)
 * Bruck-Ryser-Chowla Theorem --Joe (talk) 16:06, 14 July 2009 (UTC)
 * Girard's Theorem --Prime.mover 13:15, 21 July 2009 (UTC)
 * Hardy-Littlewood Tauberian Theorem --Prime.mover 13:15, 21 July 2009 (UTC)
 * Minkowski-Steiner Formula --Prime.mover 13:15, 21 July 2009 (UTC)
 * Cauchy-Kovalevskaya Theorem --Prime.mover 13:15, 21 July 2009 (UTC)
 * Gauss-Kronrod Quadrature Formula --Prime.mover 13:15, 21 July 2009 (UTC)
 * Hardy's Theorem --Prime.mover 13:15, 21 July 2009 (UTC)
 * Minkowski's Theorem (Geometry of Numbers) --Prime.mover 13:15, 21 July 2009 (UTC)
 * Carathéodory-Jacobi-Lie Theorem --Prime.mover 13:15, 21 July 2009 (UTC)
 * Whitney Graph Isomorphism Theorem --Prime.mover 13:15, 21 July 2009 (UTC)
 * Brahmagupta Interpolation Formula --Prime.mover 13:15, 21 July 2009 (UTC)
 * Church-Rosser Theorem --Prime.mover 13:29, 21 July 2009 (UTC)
 * Carmichael's Theorem --Prime.mover 13:29, 21 July 2009 (UTC)
 * Generalized Gauss-Bonnet Theorem --Prime.mover 13:29, 21 July 2009 (UTC)
 * Borel-Kolmogorov Paradox --Prime.mover 13:29, 21 July 2009 (UTC)
 * Separating Axis Theorem --Prime.mover 13:29, 21 July 2009 (UTC)
 * Cauchy-Frobenius Lemma --Prime.mover 13:29, 21 July 2009 (UTC)
 * Ostrowski-Hadamard Gap Theorem --Prime.mover 13:29, 21 July 2009 (UTC)
 * Mohr-Mascheroni Theorem --Prime.mover 16:08, 21 July 2009 (UTC)
 * Gauss's Digamma Theorem --Prime.mover 16:08, 21 July 2009 (UTC)
 * Lewis Carroll Identity --Prime.mover 16:08, 21 July 2009 (UTC)
 * Schwarz Reflection Principle --Prime.mover 08:56, 30 January 2010 (UTC)
 * Gelfand-Naimark Theorem --Prime.mover 08:56, 30 January 2010 (UTC)
 * Kolmogorov Continuity Theorem --Prime.mover 08:56, 30 January 2010 (UTC)
 * Birkhoff-Grothendieck Theorem --Prime.mover 08:56, 30 January 2010 (UTC)
 * Shirshov-Witt Theorem --Prime.mover 08:56, 30 January 2010 (UTC)
 * Roberts-Chebyshev Theorem --Prime.mover 08:56, 30 January 2010 (UTC)
 * Germain's Theorem --Prime.mover 08:56, 30 January 2010 (UTC)
 * Hilbert-Speiser Theorem --Prime.mover 08:56, 30 January 2010 (UTC)
 * Jordan Curve Theorem --Prime.mover 08:56, 30 January 2010 (UTC)
 * Heine's Identity --Prime.mover 08:56, 30 January 2010 (UTC)
 * Chen's Theorem --Prime.mover 06:27, 2 February 2010 (UTC)
 * Modularity Theorem --137.205.30.192 19:43, 27 April 2010 (UTC)
 * Feit-Thompson Theorem --137.205.30.192 19:43, 27 April 2010 (UTC)
 * Classification of Finite Simple Groups --137.205.30.192 19:43, 27 April 2010 (UTC)
 * Fermat's Last Theorem --137.205.30.192 19:46, 27 April 2010 (UTC)
 * Vizing's Theorem --94.40.193.22 19:46, 30 May 2010 (UTC)
 * Pumping Lemma for Context-Free Languages --94.40.193.22 19:46, 30 May 2010 (UTC)
 * Osborne's Rule --84.217.52.50 15:06, 8 Nov 2010 (UTC)
 * Benford's Law --Alec (talk) 19:30, 9 November 2010 (UTC)
 * Ado's Theorem -- BigPansy 18:19, 8 June 2011 (CDT)
 * Schottky's Theorem --prime mover 15:43, 9 July 2011 (CDT)
 * Krull's Principal Ideal Theorem --prime mover 15:43, 9 July 2011 (CDT)
 * Thom's Classification Theorem --prime mover 15:43, 9 July 2011 (CDT)
 * Chebyshev's Sum Inequality --prime mover 15:43, 9 July 2011 (CDT)
 * Taniyama-Shimura Conjecture --prime mover 15:43, 9 July 2011 (CDT)
 * Kolmogorov's Zero-One Law --prime mover 15:43, 9 July 2011 (CDT)
 * Hasse-Arf Theorem --prime mover 15:43, 9 July 2011 (CDT)
 * Sophie Germain's Theorem --prime mover 15:43, 9 July 2011 (CDT)
 * Dickson's Lemma --prime mover 15:43, 9 July 2011 (CDT)
 * Pascal's Theorem --prime mover 15:43, 9 July 2011 (CDT)
 * Hausdorff Moment Problem --prime mover 15:43, 9 July 2011 (CDT)
 * Sylvester's Determinant Theorem --prime mover 15:43, 9 July 2011 (CDT)
 * Routh-Hurwitz Stability Criterion --prime mover 15:43, 9 July 2011 (CDT)
 * Fekete-Szegő Inequality --prime mover 15:43, 9 July 2011 (CDT)
 * McShane-Whitney Extension Theorem --prime mover 15:43, 9 July 2011 (CDT)
 * Poincaré-Hopf Theorem --prime mover 15:43, 9 July 2011 (CDT)
 * Cesàro's Theorem --prime mover 15:43, 9 July 2011 (CDT)
 * Gauss-Bonnet Theorem --prime mover 15:43, 9 July 2011 (CDT)
 * Lasker-Noether Theorem --prime mover 15:43, 9 July 2011 (CDT)
 * Routh-Hurwitz Theorem --prime mover 15:43, 9 July 2011 (CDT)
 * Schwarz-Pick Theorem --prime mover 01:59, 13 July 2011 (CDT)
 * Dijkstra's Algorithm --prime mover 01:59, 13 July 2011 (CDT)
 * Hasse Principle --prime mover 01:59, 13 July 2011 (CDT)
 * Hodge Conjecture --prime mover 01:59, 13 July 2011 (CDT)
 * Euler-Bernoulli Beam Equation --prime mover 01:59, 13 July 2011 (CDT)
 * Sylvester-Gallai Theorem --prime mover 01:59, 13 July 2011 (CDT)
 * Norm Theorem --prime mover 01:59, 13 July 2011 (CDT)
 * Jacobi's Formula --prime mover 01:59, 13 July 2011 (CDT)
 * Binet's Theorem --prime mover 01:59, 13 July 2011 (CDT)
 * Gelfand-Mazur Theorem --prime mover 01:59, 13 July 2011 (CDT)
 * Sobolev Inequality --prime mover 01:59, 13 July 2011 (CDT)
 * Hilbert Inequality --prime mover 01:59, 13 July 2011 (CDT)
 * Krull-Schmidt Theorem --prime mover 01:59, 13 July 2011 (CDT)
 * Nagata-Smirnov Metrization Theorem --prime mover 01:59, 13 July 2011 (CDT)
 * Welch-Berlekamp Algorithm --prime mover 01:59, 13 July 2011 (CDT)
 * Jordan-Chevalley Decomposition --prime mover 01:59, 13 July 2011 (CDT)
 * Gauss-Codazzi Equations --prime mover 01:59, 13 July 2011 (CDT)
 * Hasse Norm Theorem --prime mover 01:59, 13 July 2011 (CDT)
 * Birch and Swinnerton-Dyer Conjecture --prime mover 01:59, 13 July 2011 (CDT)
 * Ruffini's Rule --prime mover 01:59, 13 July 2011 (CDT)
 * Von Neumann Bicommutant Theorem --prime mover 01:59, 13 July 2011 (CDT)
 * Strong Law of Small Numbers --prime mover 01:59, 13 July 2011 (CDT)
 * Littlewood-Offord Problem --prime mover 01:59, 13 July 2011 (CDT)
 * Nagata-Biran Conjecture --prime mover 01:59, 13 July 2011 (CDT)
 * Willmore Conjecture --prime mover 01:59, 13 July 2011 (CDT)
 * Cesàro Equation --prime mover 01:59, 13 July 2011 (CDT)
 * Berlekamp-Massey Algorithm --prime mover 01:59, 13 July 2011 (CDT)
 * Erdős Conjecture on Arithmetic Progressions --prime mover 01:59, 13 July 2011 (CDT)
 * Stadium Paradox --prime mover 01:59, 13 July 2011 (CDT)
 * Mirsky's Theorem --prime mover 01:59, 13 July 2011 (CDT)
 * Kruskal's Tree Theorem --prime mover 01:59, 13 July 2011 (CDT)
 * Szegő Inequality --prime mover 01:59, 13 July 2011 (CDT)
 * Dirichlet Stability Criterion --prime mover 01:59, 13 July 2011 (CDT)
 * Abel Equation --prime mover 01:59, 13 July 2011 (CDT)
 * Witt's Theorem --prime mover 01:59, 13 July 2011 (CDT)
 * Tarski-Kuratowski Algorithm --prime mover 01:59, 13 July 2011 (CDT)
 * Weber's Theorem --prime mover 01:59, 13 July 2011 (CDT)
 * Equidistribution Theorem --prime mover 01:59, 13 July 2011 (CDT)
 * Merton's Theorem --prime mover 01:59, 13 July 2011 (CDT)
 * Markov's Rule --prime mover 01:59, 13 July 2011 (CDT)
 * Riemann-Brill-Noether Theorem --prime mover 01:59, 13 July 2011 (CDT)
 * Gauss's Principle of Least Constraint --prime mover 01:59, 13 July 2011 (CDT)
 * Erdős-Ko-Rado Theorem --prime mover 02:03, 13 July 2011 (CDT)
 * Erdős-Rado Theorem --prime mover 02:08, 13 July 2011 (CDT)
 * Power of a Point Theorem --prime mover 01:36, 25 July 2011 (CDT)
 * Kolmogorov Extension Theorem --prime mover 02:37, 13 August 2011 (CDT)
 * Vizing's Theorem --prime mover 02:37, 13 August 2011 (CDT)
 * Zariski's Main Theorem --prime mover 02:37, 13 August 2011 (CDT)
 * Hahn-Kolmogorov Theorem --prime mover 02:37, 13 August 2011 (CDT)
 * Stone-von Neumann Theorem --prime mover 02:37, 13 August 2011 (CDT)
 * Littlewood's Problem --prime mover 02:37, 13 August 2011 (CDT)
 * Jacobson Density Theorem --prime mover 02:37, 13 August 2011 (CDT)
 * Kronecker's Theorem (Number Theory) --prime mover 02:37, 13 August 2011 (CDT)
 * Nash-Moser Theorem --prime mover 02:37, 13 August 2011 (CDT)
 * Kolmogorov-Arnold-Moser Theorem --prime mover 02:37, 13 August 2011 (CDT)
 * Milnor-Thurston Kneading Theory --prime mover 02:37, 13 August 2011 (CDT)
 * Sylvester's Matrix Theorem --prime mover 02:37, 13 August 2011 (CDT)
 * Kolmogorov's Inequality --prime mover 02:37, 13 August 2011 (CDT)
 * Sobolev Embedding Theorem --prime mover 02:37, 13 August 2011 (CDT)
 * Bôcher's Equation --prime mover 02:37, 13 August 2011 (CDT)
 * Bôcher's Theorem --prime mover 02:37, 13 August 2011 (CDT)
 * Brunn-Minkowski Theorem --prime mover 02:37, 13 August 2011 (CDT)
 * Banach-Mazur Theorem --prime mover 02:37, 13 August 2011 (CDT)
 * Riesz-Thorin Theorem --prime mover 02:37, 13 August 2011 (CDT)
 * Banach-Schauder Theorem --prime mover 02:37, 13 August 2011 (CDT)
 * Karamata's Inequality --prime mover 02:37, 13 August 2011 (CDT)
 * Schreier's Subgroup Lemma --prime mover 02:37, 13 August 2011 (CDT)
 * Löwenheim-Skolem Theorem --prime mover 02:44, 14 August 2011 (CDT)
 * Lagrange's Remainder Estimation Theorem --Alec  (talk) 18:37, 24 August 2011 (CDT)
 * Archimedes' Hat-Box Theorem --Alec (talk) 12:08, 16 December 2011 (CST)
 * Fubini's Theorem --GFauxPas 16:14, 20 April 2012 (EDT)
 * Hilbert's Theorem 90 --Lord_Farin 17:45, 24 April 2012 (EDT)
 * Hironaka's Theorem --Lord_Farin 18:20, 16 May 2012 (EDT)
 * Snake Lemma WP --Lord_Farin 15:46, 11 June 2012 (EDT)
 * Marden's Theorem (on inellipses) --Lord_Farin 13:21, 24 July 2012 (UTC)
 * Mostowski Collapsing Lemma --Andrew Salmon 05:24, 25 July 2012 (UTC)
 * Aleph Hypothesis Implies Axiom of Choice --Andrew Salmon 04:59, 27 July 2012 (UTC)
 * Whitehead's Theorem --Lord_Farin (talk) 09:16, 8 December 2012 (UTC)
 * CW Approximation Theorem --Lord_Farin (talk) 09:16, 8 December 2012 (UTC)
 * Cellular Approximation Theorem --Lord_Farin (talk) 09:16, 8 December 2012 (UTC)
 * Homotopy Excision Theorem --Lord_Farin (talk) 09:16, 8 December 2012 (UTC)
 * Freudenthal's Suspension Theorem --Lord_Farin (talk) 09:16, 8 December 2012 (UTC)
 * Stone's Representation Theorem for Boolean Algebras --Dfeuer (talk) 04:43, 16 December 2012 (UTC)
 * Gödel's Completeness Theorem --Dfeuer (talk) 04:51, 16 December 2012 (UTC)
 * Kleene Fixed-Point Theorem --Dfeuer (talk) 20:42, 22 December 2012 (UTC)
 * Giraud's Theorem --Lord_Farin (talk) 23:18, 24 December 2012 (UTC)
 * Morley's Theorem --Lord_Farin (talk) 23:18, 24 December 2012 (UTC)
 * Craig Interpolation Theorem --Lord_Farin (talk) 23:18, 24 December 2012 (UTC)
 * Robinson's Consistency Theorem --Lord_Farin (talk) 23:18, 24 December 2012 (UTC)
 * Riemann-Roch Theorem --prime mover (talk) 19:06, 7 June 2013 (UTC)
 * Tarski Monster Group is Non-Amenable with no Free Subgroup of Two Generators --prime mover (talk) 10:35, 2 July 2014 (UTC)

Also see

 * Category:Proof Wanted