List of misnamed theorems

List of misnamed theorems

This is a list of misnamed theorems in mathematics. It includes theorems (and lemmas, corollaries, conjectures, laws, and perhaps even the odd object) that are well known in mathematics, but which are not named for the originator. That is, these items on this list illustrate Stigler's law of eponymy (which is not, of course, due to Stigler, who credits Merton!).


*Benford's law. This was first stated in 1881 by Simon Newcomb,cite journal|author=Newcomb, S.| title=Note on the frequency of use of the different digits in natural numbers|journal=Amer. J. Math.|year=1881|volume=4|pages=39–40| doi=10.2307/2369148] and rediscovered in 1938 by Frank Benford.cite journal|author=Benford, F.|title=The law of anomalous numbers| journal=Proc. Amer. Phil. Soc.| volume=78|year=1938|pages=551–572] The first rigorous formulation and proof seems to be due to Ted Hill in 1988.cite journal|author=Hill, Theodore P.|title=The Significant Digit Phenomenon| journal=Am. Math. Monthly| volume=102 |number=4|month=April |year=1995|pages=322–327|doi=10.2307/2974952]

*Bézout's theorem. The statement may have been made first by Isaac Newton in 1665. The matter of a proof was taken up by Colin MacLaurin (c. 1720) and Leonhard Euler as well as Etienne Bézout (c. 1750). However, Bézout's "proof" was "incorrect". The first correct proof seems to be due mostly to Georges-Henri Halphen in the 1870s.cite book|author=Bix, Robert|title=Conics and Cubics|publisher=Springer| year=1998|id=ISBN 0-387-98401-1]

*Burnside's lemma. This was stated and proven without attribution in Burnside's 1897 textbook,cite book|author=Burnside, William |title=Theory of groups of finite order|publisher=Cambridge University Press|year=1897] but it has previously been discussed by Augustin Cauchy, in 1845, and by Georg Frobenius in 1887.

*Cramer's paradox. This was first noted by Colin Maclaurin in 1720, and then rediscovered by Leonhard Euler in 1748 (whose paper was not published for another two years, as Euler wrote his papers faster than his printers could print them). It was also discussed by Gabriel Cramer in 1750, who independently suggested the essential idea needed for the resolution, although providing a rigorous proof remained an outstanding open problem for much of the 19th century. Even though Cramer had cited Maclaurin, the paradox became known after Cramer rather than Maclaurin. Halphen, Arthur Cayley, and several other luminaries contributed to the earliest more or less correct proof. See cite journal|author=Scott, Charlotte Agnas|title=On the Intersection of Plane Curves | journal=Bull. Am. Math. Soc.| volume=4 | year=1898 | month=March |pages=260–273|doi=10.1090/S0002-9904-1898-00489-5] for an excellent review.

*Cramer's Rule. It is named after Gabriel Cramer (1704 - 1752), who published the rule in his 1750 "Introduction à l'analyse des lignes courbes algébriques", although Colin Maclaurin also published the method in his 1748 "Treatise of Algebra" (and probably knew of the method as early as 1729).cite book|author=Carl B. Boyer|title=A History of Mathematics, 2nd edition|publisher=Wiley|year=1968|pages=431]

*Fermat's last theorem. This was stated in 1637 in a marginal note in one of his books by Pierre de Fermat, who famously wrote that he had proven it but that the margin was too small to write out the proof there. After Fermat's death, this intriguing notation was mentioned c. 1670 by his son in a new edition of Fermat's collected works, and it became known by its present name. However, the "theorem" remained a conjecture until in 1995 it was finally proven by Andrew Wiles.

*Frobenius theorem. This fundamental theorem was stated and proven in 1840 by Feodor Deahna.cite journal|author=Deahna, F.|title=Über die Bedingungen der Integrabilität|journal=J. Reine Angew. Math.|volume=20|year=1840|pages-340-350] Even though Frobenius cited Deahna's paper in his own 1875 paper,cite journal|author=Frobenius, Georg|title=Ūber die Pfaffsche Problem|journal=J. Reine Angew. Math.|year=1895|pages=230–315] it became known after Frobenius, not Deahna. See cite journal|author=Samelson, Hans|title=Differential Forms, the Early days; or the Stories of Deahna's Theorem and of Volterra's Theorem|journal=Am. Math. Monthly|volume=108|number=6|month=June-July|year=2001|pages=552–530|doi=10.2307/2695706] for a historical review.

*L'Hôpital's rule. The first appearance of this rule appear in L'Hôpital's book L'Analyse des Infiniment Petits pour l'Intelligence des Lignes Courbes in 1696. The rule is believed to be the work of Johann Bernoulli since l'Hôpital, a nobleman, paid Bernoulli a retainer of 300₣ per year to keep him updated on developments in calculus and to solve problems he had. See [http://en.wikipedia.org/wiki/L%27Analyse_des_Infiniment_Petits_pour_l%27Intelligence_des_Lignes_Courbes] and reference therein.

*Maclaurin series. The Maclaurin series was named after Colin Maclaurin, a professor in Edinburgh, who published the special case of the Brook Taylor's result in 1742, in which he never claimed to have discovered them. cite book|author=Thomas & Finney|title=Calculus and Analytic Geometry]

*Pell's equation. The solution of the equation x^2-d , y^2=1 where x,y are unknown positive integers and where d is a known positive integer which is not a perfect square, which is nominally ascribed to John Pell, was in fact known to Hindu mathematicians far earlier. In Europe, it seems to have been rediscovered by Fermat, who set it as a challenge problem in 1657. The first European solution is found in a joint work in 1658 by John Wallis and Lord Brouncker; in 1668, a shorter solution was given in an edition of a third mathemathetician's work by Pell; see cite book|author=Cajori, Florian|title=A History of Mathematics|location=New York|publisher=Chelsea|year=1999|id=ISBN 0-8284-0203-5 (reprint of fifth edition, 1891).] The first rigorous proof may be due to Lagrange. The misnomer apparently came about when Euler confused Brouncker and Pell; see cite book|author=Whitford, Edward Everett|title=The Pell Equation|location=New York|publisher=E. E. Whitford|year=1912 This is Whitford's 1912 Ph.D. dissertation, written at Columbia University and published at his own expense in 1912.] for an extensive account of the history of this equation.

*Poincaré lemma. This was mentioned in 1886 by Henri Poincaré,cite journal|author=Poincaré, H. |title=Sur les residus des intégrales doubles|journal=Acta Math.|volume=9|year=1886-1887|pages=321–380 |doi=10.1007/BF02406742] but was first proven in a series of 1889 papers by the distinguished Italian mathematician Vito Volterra. Nonetheless it has become known after Poincaré. See for the twisted history of this lemma.

*Pólya enumeration theorem. This was proven in 1927 in a difficult paper by J. H. Redfield.cite journal|author=Redfield, J. H.|title=The theory of group related distributions |journal=Amer. J. Math.|volume=49|year=1927|pages=433–445|doi=10.2307/2370675] Despite the prominence of the venue (the American Journal of Mathematics), the paper was overlooked. Eventually, the theorem was independently rediscovered in 1936 by George Pólya.cite journal|author=Pólya, G.|title=Algebraische Berechnung der Isomeren einiger organischer Verbindungen|journal=Zeitschrift für Kristallographie A| volume=93|year=1936|pages=414] Not until 1960 did Frank Harary unearth the much earlier paper by Redfield. See cite journal|author=Read, R. C. |title=Pólya's Theorem and its Progeny| journal=Mathematics Magazine|volume=60 | number=5 | month=December | year=1987 |pages=275–282] for historical and other information.

*Stokes' Theorem. It is named after Sir George Gabriel Stokes (1819–1903), although the first known statement of the theorem is by William Thomson (Lord Kelvin) and appears in a letter of his to Stokes. The theorem acquired its name from Stokes' habit of including it in the Cambridge prize examinations. In 1854, he asked his students to prove the theorem on an examination; it is unknown if anyone was able to do so. cite journal|author=Victor J. Katz | title=The History of Stokes' Theorem | journal=Mathematics Magazine | year=1979 | month=May | volume=52 | number=3 | pages=146–156 | url=http://links.jstor.org/sici?sici=0025-570X(197905)52%3A3%3C146%3ATHOST%3E2.0.CO%3B2-O ]

ee also

*Stigler's law of eponymy
*Matthew effect
*List of theorems

References


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • List of mathematics articles (L) — NOTOC L L (complexity) L BFGS L² cohomology L function L game L notation L system L theory L Analyse des Infiniment Petits pour l Intelligence des Lignes Courbes L Hôpital s rule L(R) La Géométrie Labeled graph Labelled enumeration theorem Lack… …   Wikipedia

  • Stigler's law of eponymy — is a process proposed by University of Chicago statistics professor Stephen Stigler in his 1980 publication Stigler’s law of eponymy [ (Gieryn T F, ed. ) Science and social structure: a festschrift for Robert K. Merton. New York: NY Academy of… …   Wikipedia

  • Number theory — A Lehmer sieve an analog computer once used for finding primes and solving simple diophantine equations. Number theory is a branch of pure mathematics devoted primarily to the study of the integers. Number theorists study prime numbers (the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”