Theorem of the Day

Other listings

Index of Mathematicians (and Honorary Mathematicians)

This index lists those mathematicians, statisticians, physicists, economists, composers(!), computer programs(!!) whose theorems, lemmas, formulae, rules, conjectures(!), problems (!!) are celebrated on this site. Theorem of the Day's descriptions of individual theorems generally include an attempt to attribute them to specific people and it is these people who are currently included in this index. I would be very grateful to have inaccuracies brought to my attention (either by emailing me or writing in the Visitors' Book). If a personal hero of yours is missing from the list, please suggest a theorem of theirs which I can add to Theorem of the Day, thereby including them here.

Clicking on a theorem will take you to the description of it offered by this website. Clicking on the name of a mathematician will open a new window with their biography from, say, MacTutor or Wikipedia, if one exists; failing that, you will get their own web page. Where I could find nothing helpful about them at all to link to you will get instead my list of mathematicians deserving a better web presence ...

The page features pop-up menus, potentially an enemy to accessibility. I seem to have it working OK for Firefox and Safari now, at least on Mac; I would be grateful if anyone continuing to have problems could let me know (as above). (I used stylesheet additions from Photoshopaid and a nice bit of htc code from Peterned —thanks!) Thank you also to John H. Halton whose idea this index was.

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

A	Niels Henrik Abel (1802–1829) The Abel-Hurwitz Binomial Theorem Louigi Addario-Berry Graph Colouring by Vertex Degree James W. Alexander (1888–1971) Reidemeister's Theorem Kenneth Appel The Four-Colour Theorem Jean Robert Argand (1768–1822) The Fundamental Theorem of Algebra Kenneth J. Arrow Arrow's Theorem
B	Milton Babbit Babbit's Theorem The Generalised Hexachord Theorem R.A. Bailey Bailey's Theorem on Latin Squares Yehoshua Bar-Hillel (1915–1975) The Pumping Lemma Isaac Barrow (1630–1677) The Fundamental Theorem of the Calculus Thomas Bayes (1702–1761) Bayes' Theorem Jillian Beardwood The Beardwood-Halton-Hammersley Theorem Lowell Beineke Beineke's Theorem on Line Graphs Frank A. Benford Jr. (1883–1948) Benford's Law Bhaskara (1114–1185) The Quadratic Formula Jacques Binet (1786–1856) Binet's Formula Bryan John Birch Neumann's Separation Lemma Garrett Birkhoff (1911–1996) Garrett Birkhoff's Theorem Rafael Bombelli (1526–1572) Cardano's Cubic Formula Karol Borsuk (1905–1982) The Borsuk-Ulam Theorem Raj Chandra Bose (1901–1987) The Bose Equivalence Theorem in Design Theory Thomas Bradwardine (1295–1345) The Merton College Theorem Brahmagupta (598–670) Brahmagupta's Formula Lev Bregman Bregman's Theorem Garland Baird Briggs Reidemeister's Theorem Luitzen E. J. Brouwer (1881–1966) Brouwer's Fixed Point Theorem Richard Hubert Bruck (1914–1991) The Bruck-Ryser-Chowla Theorem Viggo Brun (1885–1978) Brun's Theorem Robert G. Burns Neumann's Separation Lemma
C	Peter J. Cameron Cameron's Theorem on Distance-Transitive Graphs Sims' Conjecture An Erdős-Ko-Rado Theorem on Intersecting Permutations Georg Cantor (1845–1918) Cantor's Uncountability Theorem Cantor's Theorem Girolamo Cardano (1501–1576) Cardano's Cubic Formula Mary Cartwright (1900–1998) Cartwright's Theorem John William Scott Cassels Catalan's Conjecture Augustin Louis Cauchy (1789–1857) The Fundamental Theorem of the Calculus The Cauchy-Kovalevskya Theorem The Orbit Counting Lemma Arthur Cayley (1821–1895) Cayley's Theorem (Group Theory) Cayley's Formula (Tree Enumeration) Melody Chan A Theorem of Melody Chan on Group Actions Amanda Chetwynd 1-Factorisation of Regular Graphs Sarvadaman D. S. Chowla (1907–1995) The Bruck-Ryser-Chowla Theorem Maria Chudnovsky The Strong Perfect Graph Theorem John H. Conway The Fifteen Theorem Stephen Cook Cook's Theorem James Cooley The Convolution Theorem Julian Lowell Coolidge (1873–1954) Brahmagupta's Formula Sylvie Corteel The Polynomial Coprimality Theorem
D	Ketan Dalal Graph Colouring by Vertex Degree Martin Davies The DPRM Theorem de la Vallée Poussin (1866–1962) The Prime Number Theorem Scipione del Ferro (1465–1526) Cardano's Cubic Formula Philippe Delsarte The Delsarte-Goethals-Seidel Theorem Abraham De Moivre (1667–1754) Stirling's Approximation Augustus De Morgan (1806–1871) De Morgan's Laws Michel Marie Deza An Erdős-Ko-Rado Theorem on Intersecting Permutations Edsger Dijkstra (1930–2002) The Pythagorean Theorem Robert Dilworth (1914–1993) Dilworth's Theorem John D. Dixon Netto's Conjecture (Dixon's Theorem) John Dumbleton (?–c. 1349) The Merton College Theorem
E	Georgy Egorychev van der Waerden's Conjecture EQP The Robbins Problem Paul Erdős (1913–1996) A Theorem of Erdős and Wilson on Edge Colouring The Lovász Local Lemma Euclid of Alexandria (c. 325–c. 265) Euclid's Infinity of Primes Leonard Euler (1707–1783) Euler's Formula Euler's Identity The Euler-Hierholzer "Bridges of Königsberg" Theorem Fermat's Little Theorem
F	Dmitry Falikman van der Waerden's Conjecture Samuel P. Ferguson Kepler's Conjecture Pierre de Fermat (1601–1665) Fermat's Last Theorem Fermat's Little Theorem Anthony D. Forbes The Design of the Century Péter Frankl An Erdős-Ko-Rado Theorem on Intersecting Permutations Ferdinand Georg Frobenius (1849–1917) The Frobenius-König Theorem
G	Stephen M. Gagola III The Lagrange Property for Moufang Loops David Gale (1921–2008) The Stable Marriage Theorem Evariste Galois (1811–1832) Galois' Theorem on Finite Fields Carl Friedrich Gauss (1777–1855) The Fundamental Theorem of Arithmetic The Fundamental Theorem of Algebra Gauss' Law of Quadratic Reciprocity Sophie Germain (1776–1831) Germain's Theorem Albert Girard (1595–1632) Girard's Theorem Kurt Gödel (1906–1978) Gödel's First Incompleteness Theorem Gödel's Second Incompleteness Theorem Jean-Marie Goethals The Delsarte-Goethals-Seidel Theorem Edray Herber Goins The Goins-Maddox-Rusin Theorem on Heron Triangles Reuben Louis Goodstein (1912–1985) Goodstein's Theorem Mike Grannell The Design of the Century Ben J. Green The Green-Tao Theorem on Primes in Arithmetic Progression Terry S. Griggs The Design of the Century Alexander Grishkov The Lagrange Property for Moufang Loops Karl W. Gruenberg (1928–2007) Gruenberg's Theorem on Nilpotent Groups
H	Jacques Hadamard (1865–1963) The Prime Number Theorem Wolfgang Haken The Four-Colour Theorem Thomas C. Hales Kepler's Conjecture Jonathan I. Hall The Lagrange Property for Moufang Loops Philip Hall (1904–1982) The Marriage Theorem John H. Halton The Beardwood-Halton-Hammersley Theorem John M. Hammersley (1920–2004) The Beardwood-Halton-Hammersley Theorem Godfrey Harold Hardy (1877–1947) The Hardy-Ramanujan Asymptotic Partition Formula Thomas Harriot (1560–1621) Girard's Theorem William Heytesbury (1313–1372/73) The Merton College Theorem Carl Hierholzer (1840–1871) The Euler-Hierholzer "Bridges of Königsberg" Theorem Theodore Hill Benford's Law Anthony Hilton 1-Factorisation of Regular Graphs Adolf Hurwitz (1859–1919) The Abel-Hurwitz Binomial Theorem
J	Peter Jones The Analyst's Travelling Salesman Theorem
K	Aleksandr Khinchin (1894–1959) Khinchin's Theorem on Continued Fractions Gustav Kirchoff (1824–1887) The Matrix Tree Theorem Esther Klein (1910–2005) The Happy Ending Problem Chao Ko (1910–2002) Catalan's Conjecture Alan G. Konheim The Parking Function Formula Julius König (1849–1913) The Frobenius-König Theorem Sofia Kovalevskaya (1850–1891) The Cauchy-Kovalevskya Theorem Cheng Yeaw Ku An Erdős-Ko-Rado Theorem on Intersecting Permutations Kazimierz Kuratowski (1896–1980) Kuratowski's Theorem
L	Joseph-Louis Lagrange (1736–1813) Lagrange's Theorem Lagrange's Four Squares Theorem Johann Heinrich Lambert (1738–1777) Lambert's Formula Gabriel Lamé (1795–1870) Lamé's Theorem Benoit Larose An Erdős-Ko-Rado Theorem on Intersecting Permutations Victor Amedee Lebesgue (1791–1875) Catalan's Conjecture Adrien-Marie Legendre (1752–1833) Euler's Formula Leonid Levin Cook's Theorem David Lewin (1933–2003) The Generalised Hexachord Theorem László Lovász Kneser's Conjecture The Lovász Local Lemma Edouard Lucas (1842–1891) Lucas' Theorem Elizabeth Lutz The Lutz-Nagell Theorem Aleksandr Lyapunov (1857–1918) The Central Limit Theorem
M	Sheila Oates Macdonald Neumann's Separation Lemma F. Jessie MacWilliams (1917–1990) MacWilliams' Theorem Davin Maddox The Goins-Maddox-Rusin Theorem on Heron Triangles Claudia Malvenuto An Erdős-Ko-Rado Theorem on Intersecting Permutations Marvin Marcus van der Waerden's Conjecture Yuri Matiyasevich The DPRM Theorem William McCune The Robbins Problem Colin McDiarmid Graph Colouring by Vertex Degree Preda Mihăilescu Catalan's Conjecture Auguste Miquel (?–?) The Five Circle Theorem Miquel's Triangle Theorem Eliakim Moore (1862–1932) Galois' Theorem on Finite Fields G. Eric Moorhouse The Lagrange Property for Moufang Loops Frank Morley (1860–1937) Morley's Miracle Ruth Moufang (1905–1977) Moufang's Theorem
N	Trygve Nagell (1895–1988) The Lutz-Nagell Theorem Peter M. Neumann Neumann's Separation Lemma Morris Newman van der Waerden's Conjecture Rolf Nevanlinna (1895–1980) Nevanlinna's Five-Value Theorem Isaac Newton (1643–1727) The Binomial Theorem The Fundamental Theorem of the Calculus Emmy Amalie Noether (1882–1935) Noether's Symmetry Theorem The First Isomorphism Theorem The Second and Third Isomorphism Theorems
O	Kate Okikiolu The Analyst's Travelling Salesman Theorem
P	Pappus of Alexandria (c. 290–c. 350) Pappus' Theorem Blaise Pascal (1623–1662) Pascal's Rule Micha A. Perles The Pumping Lemma George Alexander Pick (1859–1942) Pick's Theorem Pingala (3rd c. BC) The Binomial Theorem Siméon Denis Poisson (1781–1840) The Law of Large Numbers Cheryl E. Praeger Sims' Conjecture Hilary Putnam The DPRM Theorem Pythagoras of Samos(c. 569–c. 475 BC) The Pythagorean Theorem
R	Srinivasa Ramanujan (1887–1920) The Hardy-Ramanujan Asymptotic Partition Formula Frank Plumpton Ramsey (1903–1930) Ramsey's Theorem Bruce Reed Graph Colouring by Vertex Degree Kurt Reidemeister (1893–1971) Reidemeister's Theorem Neil Robertson The Robertson-Seymour Graph Minors Theorem The Strong Perfect Graph Theorem Julia Robinson (1919–1985) The DPRM Theorem Dave Rusin The Goins-Maddox-Rusin Theorem on Heron Triangles Herbert John Ryser (1923–1985) The Bruck-Ryser-Chowla Theorem
S	Pierre Frédéric Sarrus (1798–1861) The Rule of Sarrus Carla D. Savage The Polynomial Coprimality Theorem Jan Saxl Sims' Conjecture William Schneeberger The Fifteen Theorem Johan Jacob Seidel (1919–2001) The Delsarte-Goethals-Seidel Theorem Gary Seitz Sims' Conjecture Paul D. Seymour The Robertson-Seymour Graph Minors Theorem The Strong Perfect Graph Theorem Lloyd S. Shapley The Stable Marriage Theorem Oleksandr Mikolaiovich Sharkovsky Sharkovsky's Theorem Eli Shamir The Pumping Lemma Vera Sós The Three-Distance Theorem Emanuel Sperner (1905–1980) Sperner's Lemma James Stirling (1692–1770) Stirling's Approximation Sun Zi (c. 1400–c. 1460) The Chinese Remainder Theorem Richard Swineshead (fl. c. 1340–1354) The Merton College Theorem
T	Terence Tao The Green-Tao Theorem on Primes in Arithmetic Progression Nicolo Tartaglia (1500–1557) Cardano's Cubic Formula Thales of Miletus (c.624–c. 547 BC) Thales' Theorem Robin Thomas The Strong Perfect Graph Theorem Andrew Thomason Graph Colouring by Vertex Degree László Fejes Tóth (1915–2005) Kepler's Conjecture John Tukey (1915–2000) The Convolution Theorem Helge Tverberg The Tverberg Partition Theorem
U	Stanisław Ulam (1909–1984) The Borsuk-Ulam Theorem James Victor Uspensky (1883–1947) The Hardy-Ramanujan Asymptotic Partition Formula
V	François Viète (1540–1603) Viète's Formula
W	Klaus Wagner (1910–2000) Wagner's Theorem Benjamin Weiss The Parking Function Formula Andrew Wiles Fermat's Last Theorem Herbert S. Wilf The Polynomial Coprimality Theorem Robin J. Wilson A Theorem of Erdős and Wilson on Edge Colouring James Wood (1760–1839) The Fundamental Theorem of Algebra Larry Wos The Robbins Problem
Z	Andrei Zavarnitsine The Lagrange Property for Moufang Loops Edouard Zeckendorf (1901–1983) Zeckendorf's Theorem Doron Zeilberger The Polynomial Coprimality Theorem Ernst Zermelo (1871–1953) The Well-Ordering Theorem

Theorem of the Day is maintained by Robin Whitty. Comments or suggestions are welcomed by me.