71
$\begingroup$

The point of this question is to compile a list of theorems that don't give credit to right people in the sense that the name(s) of the mathematician(s) who first proved the theorem doesn't (do not) appear in the theorem name.

For instance the Cantor Schröder Bernstein theorem was first proved by Dedekind.

I'd also like to include situations in which someone conjectured something, didn't prove it, then someone else conjectured the same thing later, also without proving it, and was credited with having first conjectured it.

Similar unfair things which I didn't remember to include might also be considered.

Some kind of reference is appreciated.

$\endgroup$
14
  • 18
    $\begingroup$ Maybe this should be made a community wiki? $\endgroup$
    – Shuhao Cao
    Jun 3, 2013 at 20:06
  • 1
    $\begingroup$ I learned a while back that you need a mod to make a question CW (but not an answer). $\endgroup$
    – rurouniwallace
    Jun 3, 2013 at 20:07
  • 4
    $\begingroup$ This has been discussed before: here and here and here. $\endgroup$
    – vadim123
    Jun 3, 2013 at 20:14
  • 9
    $\begingroup$ Note that you can now buy your own theorem. $\endgroup$
    – Calvin Lin
    Jun 3, 2013 at 20:17
  • 5
    $\begingroup$ Not only theorems: after being so dumb as species as not taking almost into consideration half of our members in science, there are several women who had been snubbed even very reciently. Take a peek to news.nationalgeographic.com/news/2013/13/… . This is annoying, deeply unfair and can push women further away from science. $\endgroup$
    – DonAntonio
    Jun 3, 2013 at 21:52

24 Answers 24

Reset to default
54
$\begingroup$

Wikipedia has an article on everything: List of misnamed theorems.

$\endgroup$
30
$\begingroup$

Obviously this list is incomplete without Stigler's law of eponymy, stipulating that no scientific discovery is due to the person it is named for, and which, according to Stigler, is due to Robert K. Merton.

http://en.wikipedia.org/wiki/Stigler%27s_law_of_eponymy

[I know this is not a theorem. We have "eponysterical". Has anyone coined "ironymous" or "erronymous"?]

$\endgroup$
2
  • 9
    $\begingroup$ Counterexamples: Galois group, Noetherian ring/module, and Artin $L$-function. Those concepts are aptly named for the person who isolated their essential defining feature. $\endgroup$
    – KCd
    Jun 3, 2013 at 23:53
  • 5
    $\begingroup$ @KCd, Good points---I did say it wasn't a theorem! Laws can be difficult to enforce. That's why I prefer theorems: they enforce themselves. $\endgroup$
    – Stephen
    Jun 4, 2013 at 1:29
25
$\begingroup$

A proof of the Bolzano–Weierstrass theorem was published by Bolzano about 2 years after Weierstrass was born.

$\endgroup$
1
  • 40
    $\begingroup$ They got their math started early back in the day ;) $\endgroup$
    – Dhruv Ranganathan
    Jun 3, 2013 at 21:29
21
$\begingroup$

L'Hospital's rule was popularized by him but proved by Johann Bernoulli. Supposedly he paid off Bernoulli to keep quiet.

$\endgroup$
7
  • 61
    $\begingroup$ And usually L'Hospital gets all the credit instead of L'Hôpital. $\endgroup$
    – WimC
    Jun 3, 2013 at 21:09
  • 13
    $\begingroup$ Which is not at all wrong since the circumflex just denotes a left-out 's' from old French spelling. $\endgroup$
    – Gregor Botero
    Jun 3, 2013 at 23:09
  • 26
    $\begingroup$ L'Hospital spelled his name thus. L'Hôpital is due to modern(ish) spelling reform. $\endgroup$
    – wnoise
    Jun 3, 2013 at 23:12
  • 18
    $\begingroup$ The last sentence ("Supposedly he paid off Bernoulli to keep quiet") is fine if the intention is to be funny, but the truth is that L'Hospital hired Bernoulli to teach him calculus, and it was part of the contract that L'Hospital could publish what he learned in a book. And he did. And got the credit. That's all. $\endgroup$
    – ShreevatsaR
    Jun 4, 2013 at 6:18
  • 12
    $\begingroup$ L'Hôpital really did as much as you could expect in giving Bernoulli credit for the work in the textbook. The miscredit is to due to all but L'Hôpital. $\endgroup$
    – Ragib Zaman
    Jun 4, 2013 at 13:32
18
$\begingroup$

I think the best example of this is Pell's equation, which was studied and solved by Lord Brouncker. John Pell had literally nothing to do with it, but Euler got the two of them mixed up.

There are plenty of examples of $A$ getting legitimate credit for their own work even though $B$ did it first, or European $A$ getting legitimate credit for work done earlier and independently by Asian $B$, but this is an example of an unconnected person getting entirely undeserved credit through a complete error.

$\endgroup$
15
$\begingroup$

Nobody's mentioned the Pythagorean theorem yet?

$\endgroup$
9
  • 5
    $\begingroup$ en.wikipedia.org/wiki/Baudhayana a solid 200-300 years before Pythagoras. In his defense, Pythagoras never claimed the theorem as his. $\endgroup$
    – slebetman
    Jun 4, 2013 at 6:10
  • 9
    $\begingroup$ I think in most of these cases the people didn't claim the result was their own; it's just that sloppy people named results after the first places they learned them, even if those sources explicitly mentioned the original source! $\endgroup$
    – Daniel McLaury
    Jun 4, 2013 at 9:02
  • 2
    $\begingroup$ @Neer Most probably. Pythagoras had no possibility of contacting Baudhayana. Of course we Chinese always like to pretend to be the inventors - apparently much before Baudhayana, some Chinese math book stated without proof that the hypotenuse of a right triangle with sides 3 and 4 has hypotenuse 5 (six words: 勾三股四玄五). That person gets all the credit in our textbooks ;) $\endgroup$
    – ithisa
    Jun 4, 2013 at 13:50
  • 2
    $\begingroup$ I imagine the Pythagorean theorem is folk mathematics and goes back extremely far, and that 3-4-5 triangles might even be prehistoric. $\endgroup$
    – Daniel McLaury
    Jun 4, 2013 at 20:16
  • 1
    $\begingroup$ Pythagororean Theorem was known before Pythagoras, but it was proved after his death, and the first proof was using Thales Theorem. $\endgroup$
    – Yiorgos S. Smyrlis
    Jan 12, 2014 at 16:19
11
$\begingroup$

Wilhelm Killing:

To quote Wikipedia:
" From 1888 to 1890, Killing essentially classified the complex finite dimensional simple Lie algebras, as a requisite step of classifying Lie groups, inventing the notions of a Cartan subalgebra and the Cartan matrix "

Also Coleman in the greatest mathematical paper of all time says
"By one of those miscarriages of justice which are commonplace in mathematics, most of the fundamental results about Lie algebras which were discovered by Killing are usually attributed to E.Cartan."
and
" He (Wilhelm Killing) exhibited the characteristic equation of the Weyl group when Weyl was 3 years old and listed the orders of the Coxeter transformation 19 years before Coxeter was born."

Also Killing was the one who introduced the notion of the 'characteristic polynomial' (see this).

$\endgroup$
3
  • 2
    $\begingroup$ To make this example even more entertaining, the Killing form was popularized by Élie Cartan. (Although according to Wikipedia, Killing wrote it down first, but then didn't do anything with it). $\endgroup$
    – mdp
    Jun 4, 2013 at 15:57
  • 4
    $\begingroup$ To make this example still more entertaining, I had thought for a long time that the Killing form was not named after any mathematician at all, but rather, like, it kills nilpotent algebras ... $\endgroup$
    – Hagen von Eitzen
    Jun 10, 2013 at 15:40
  • 1
    $\begingroup$ @HagenvonEitzen: The first thing my professor said to us when he taught us about the Killing form was that it was named after a mathematician and not because it kills nilpotent algebras:) Probably he had the same misinterpretation as you, about the 'etymology' of the Killing form. $\endgroup$
    – P..
    Jun 10, 2013 at 18:46
7
$\begingroup$

Burnside's lemma was first proved by Frobenius. Vandermonde's identity was known in China long before. Pólya's enumeration theorem is due to Redfield. And $3/4$ of calculus was proved by Euler, but credited to all sorts of other people!

The list goes on ad nauseam.

$\endgroup$
5
  • 6
    $\begingroup$ Gaussian elimination was known in China about 2000 years earlier. Even within Europe, Newton used it long before Gauss. $\endgroup$
    – Erick Wong
    Jun 3, 2013 at 20:24
  • 3
    $\begingroup$ The Euler remark is funny. +1 $\endgroup$
    – Git Gud
    Jun 3, 2013 at 20:45
  • 24
    $\begingroup$ The following is taken from the Wikipedia article List of things named after Leonhard Euler: "Physicists and mathematicians sometimes jest that, in an effort to avoid naming everything after Euler, discoveries and theorems are named after the `first person after Euler to discover it'." $\endgroup$
    – awwalker
    Jun 3, 2013 at 21:13
  • 1
    $\begingroup$ Burnside attributed the lemma to Frobenius, but it was known to Cauchy forty years earlier. I like to call it the Cauchy-Frobenius-Burnside-Redfeld-Pólya lemma because I think it's funny. $\endgroup$
    – MJD
    Jun 4, 2013 at 13:18
  • $\begingroup$ Actually before Euler calculas was known in India. $\endgroup$
    – Neer
    Jun 4, 2013 at 16:31
6
$\begingroup$

Stokes' Theorem was basically formulated by everyone else but Stokes.

$\endgroup$
6
$\begingroup$

Fibonacci's contributions to the study of the Fibonacci sequence are essentially zero. One of the numerous arithmetic exercises in his 1202 book Liber Abaci is to calculate the decimal expansions of the first twelve Fibonacci numbers; this is the source of the name, and his sole connection with the problem.

$\endgroup$
6
$\begingroup$

How about the famous cryptosystem RSA? It was named after Ron Rivest, Adi Shamir and Leonard Adleman who invented it in 1977, but it was already invented years earlier (1973) by Clifford Cocks. Unfortunately for him his invention was classified, and only 20 years later it turned out that he was actually the one who discovered the algorithm first...

$\endgroup$
5
$\begingroup$

Zorn's lemma was formulated and proved in various forms prior to Zorn, going back to the Hausdorff maximal principle. The version currently known as "Zorn's Lemma" was formulated and proved by Kuratowski in 1922. Zorn's contribution, in 1935, was an equivalent but different maximal principle.

(See Paul J. Campbell, "The Origin of ‘Zorn's Lemma’", Historia Mathematica 5 (1978), pp. 77–89.)

$\endgroup$
3
$\begingroup$

My contribution:

$\bullet$ The Cantor Schröder Bernstein theorem was first proved by Dedekind.

$\bullet$ The Cauchy-Schwarz inequality should perhaps also be credited to Viktor Bunyakovsky and Cauchy.

$\endgroup$
4
  • $\begingroup$ This gets very murky. Are you sure about Cauchy-Schwarz? There are so many different settings. Even your own link disagrees with your statement above. :) $\endgroup$
    – Ted Shifrin
    Jun 3, 2013 at 20:08
  • $\begingroup$ @TedShifrin I didn't even read it. I had read something else on a different source and assumed it was the same in the wiki page. I'll edit my answer. Thanks. $\endgroup$
    – Git Gud
    Jun 3, 2013 at 20:10
  • 4
    $\begingroup$ Cauchy proved the inequality for finite dimensional real vector spaces. Bunyakovsky obtained the integral inequality from here. Later, Schwarz proved it for inner product spaces. So Cauchy-Schwarz is the right name IMO, Cauchy discovered it and Schwarz proved the most general case... $\endgroup$
    – N. S.
    Jun 4, 2013 at 15:07
  • $\begingroup$ @N.S. I agree. I'll keep my answer because your comment is informative and clarifies everything. Thanks. $\endgroup$
    – Git Gud
    Jun 4, 2013 at 15:11
3
$\begingroup$

Not quite an answer but maybe relevant:

Arnold's Principle: If a notion bears a personal name, then this name is not the name of the discoverer.

Berry Principle: Arnold's Principle is applicable to itself.

[source]

By the way this MO thread on Arnold's principle contains a lot of actual answers to OP question.

$\endgroup$
1
  • $\begingroup$ Yours seems like the same answer as this. $\endgroup$
    – Git Gud
    Jun 3, 2013 at 21:01
3
$\begingroup$

Edmonds-Karp's algorithm is actually Dinic's. In addition to that, Dinic found a better running time.

$\endgroup$
3
$\begingroup$

Wilson's Theorem may be an example.

$\endgroup$
3
$\begingroup$

Pascal's triangle existed way before him.

The Chinese call it Yang Hui Triangle, not even the first Chinese mathematician to discover it in 11th century.

It was two Persians who first found it in 10th century (i.e. Karaji and Khayyam).

$\endgroup$
3
$\begingroup$

The calculus (integral) is a good example, Leibnitz and Newton "invented" it independently, but Newton tried to discredit Leibnitz, so when I learned in college in the UK they taught it to me as Newton integral, although I later learned in Austria that the method we use nowadays is Leibnitz' and Newtons method was unpractical. Actually, the formal definitions and proofs were given by Riemann and some French and Italians whose names I can't remember.

Sum and mean of the rectangles under a curve as an approximation of the integral was already used by Babylonians, Egyptians and Greeks even though we are not sure if they already did infinitesimal calculus (Archimedes did, for example contained in the proof the arc length formula).

Also, I would like to mention that the Pythagorean Theorem was used for centuries before Pythagoras did. The Babylonians also devised an own method of approximation in order to calculate the square roots needed for the Pythagorean theorem. Evidence has been found on clay tablets used probably by Babylonian schoolboys where they had to calculate such things as exercise.

$\endgroup$
2
$\begingroup$

Fermat's last theorem was proved by Andrew Wiles and Richard Taylor. The Poincaré conjecture was proved by Grigori Perelman. Maybe the millennium problems won't change name if they are proved. By the way, I think the name of the theorem also should credit the person who came up with the conjecture since this is also an important part.

$\endgroup$
9
  • $\begingroup$ More precisely, Andrew Wiles and Richard Taylor proved FLT. $\endgroup$
    – John Bentin
    Jun 3, 2013 at 20:49
  • $\begingroup$ @JohnBentin Yes, thank you. $\endgroup$
    – N.U.
    Jun 3, 2013 at 20:51
  • 1
    $\begingroup$ @JohnBentin, with important help from Ribet, Shimura, Taniyama,...! One of the nice things about modern mathematics is how many different people contribue to a given theorem. $\endgroup$
    – Stephen
    Jun 3, 2013 at 20:59
  • 9
    $\begingroup$ I'm not sure if things like Poincaré's conjecture are what the OP is looking for, because no one would interpret the name as giving credit to Poincaré to the proof. $\endgroup$
    – Trevor Wilson
    Jun 3, 2013 at 21:05
  • 1
    $\begingroup$ I'd like to add something that I think may have some historical significance in the future: FLT was actually proved by both Wiles and Taylor. The latter one is many times omited, but the truth is, imo, that without his actuation the problem Wiles's proof showed back in 1993 could probably never have been solved and we'd still be trying to prove that theorem... $\endgroup$
    – DonAntonio
    Jun 3, 2013 at 21:48
1
$\begingroup$

When I first heard that some people are calling the standard trick from calculus books the Feynman's trick my first impression was WTF?! Are you kidding me?!

Then I saw that more and more people calling the trick known to Leibnitz as the Feynman trick. I knew where it came from, I have read Surely you are joking Mr Feynman?! This might be one of the most preposterious cases illustrating the Stigler's law of eponymy.

The other similar situation is with Glasser's Master Theorem that dates back to Boole, 1857. There isn't yet a Wikipedia or Wolfram article for Feynman's trick, but there is for Glasser's Master Theorem. Boole is not even mentioned in these articles.

$\endgroup$
1
$\begingroup$

In his paper Robert Granger argues that the Lucas-Lehmer test could in principle have been discovered by the ancient Greeks. The Miller–Rabin primality test was first discovered by Russian mathematician M. M. Artjuhov in 1967. See: Artjuhov, M. M. (1966–1967), "Certain criteria for primality of numbers connected with the little Fermat theorem", Acta Arithmetica, 12: 355–364.

$\endgroup$
0
$\begingroup$

An interesting "inappropriate" credit is for the Diffie-Hellman key exchange, not mentioning Ralph Merkle.

Hellman himself suggested the algorithm be called Diffie–Hellman–Merkle key exchange and has quoted that:

"The system...has since become known as Diffie–Hellman key exchange. While that system was first described in a paper by Diffie and me, it is a public key distribution system, a concept developed by Merkle, and hence should be called 'Diffie–Hellman–Merkle key exchange' if names are to be associated with it. I hope this small pulpit might help in that endeavor to recognize Merkle's equal contribution to the invention of public key cryptography."

I find it very interesting that one of the names of the key exchange actually would like to add another name for credit.

$\endgroup$
0
$\begingroup$

  • The Wiener process, also called Brownian motion, was already known to Louis Bachelier (11 March 1870 – 28 April 1946) who worked on an option pricing theory five years before Einstein published his Brownian motion paper (1905). Norbert Wiener showed among other things the non-differentiability of the Brownian paths in the early 1920-ies.

  • An early version of Ito's lemma (1944) was known to Wolfgang Doeblin (17 March 1915 – 21 June 1940).

$\endgroup$
0
$\begingroup$

Newton's relations are two classical identities in the study of symmetric functions. They were derived by Albert Girard in 1629 before Newton was even born.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .