12
$\begingroup$

I recently stumbled over the "Happy Ending Problem" (cf e.g. http://en.wikipedia.org/wiki/Happy_Ending_problem), which made we wonder, if there are other conjectures, theorems or problems, whose names do not give any indication to what they are about or, to which person it is related;
the "kissing number" would not qualify here, because it is a definition, but neither a problem nor a theorem.

Besides the "Happy Ending Theorem", I also found

$\endgroup$
13
  • 13
    $\begingroup$ I thought Happy Ending referred to something completely different. $\endgroup$
    – Will Jagy
    Oct 22, 2014 at 4:35
  • 6
    $\begingroup$ voted to close because it's nowhere near research level. I'm not sure whether or not this is on-topic at math.SE because I don't know enough about that site. $\endgroup$ Oct 22, 2014 at 7:42
  • 8
    $\begingroup$ @WillJagy: See also the Going Down Theorem. $\endgroup$ Oct 22, 2014 at 18:38
  • 8
    $\begingroup$ Yes, I believe that's known as Yemon's Observation. $\endgroup$ Oct 22, 2014 at 22:05
  • 6
    $\begingroup$ I propose Myerson's Observation: "If we are going to add theorems named after the wrong people then we will be here all day." $\endgroup$
    – JRN
    Oct 23, 2014 at 5:16

12 Answers 12

16
$\begingroup$

I'm not sure if all these give "no clue", but they are somewhat obscure clues:

The Law of the Unconscious Statistician.

The Chinese Postman Problem

The Googol Game (aka the Secretary Problem)

The Butterfly Lemma and The Snake Lemma

The Art Gallery Theorem (or Problem)

and for those who know some Latin:

Theorema Egregium and Pons Asinorum

$\endgroup$
3
  • $\begingroup$ as this is a soft question, all of these are acceptable to me $\endgroup$ Oct 22, 2014 at 5:12
  • 2
    $\begingroup$ The Tomato Can principle. $\endgroup$ Oct 22, 2014 at 7:03
  • $\begingroup$ @RobertIsrael: Gauß has a theorema aureum, too. André Weil even wrote once something like, "he [the Princeps Mathematicorum] was very fond of this type of names"... $\endgroup$ Oct 23, 2014 at 0:18
15
$\begingroup$

The Ham Sandwich Theorem.

The Hungarian Method.

The Hairy Ball Theorem.

The Konigsberg Bridge Problem.

The St. Petersburg Paradox.

The Futurama Theorem.

$\endgroup$
5
12
$\begingroup$

The Ten Martini Problem was a conjecture posed by Kac and Simon and answered by Avila and Jitomirskaya.

$\endgroup$
11
$\begingroup$

The Killing-Hopf theorem (yes, Hopf is already dead).

The ugly duckling theorem.

The no free lunch theorem.

The Cox-Zucker machine.

$\endgroup$
4
  • $\begingroup$ For a layman hearing ‘Cox-Zucker’ for the first time, it might take on a whole different meaning. $\endgroup$ Oct 22, 2014 at 19:41
  • $\begingroup$ "problems, whose names do not give any indication to what they are about or, to which person it is related...." Do Killing-Hopf and Cox-Zucker qualify? $\endgroup$ Oct 22, 2014 at 22:07
  • $\begingroup$ In the strict sense: no, but let's be generous $\endgroup$ Oct 23, 2014 at 0:17
  • $\begingroup$ Similar to the Killing-Hopf theorem, the Italian name for the Gaussian elimination method sounds like someone is debating on the best way to kill poor C.F. Gauss. $\endgroup$ Nov 15, 2014 at 10:02
3
$\begingroup$

The Busy Beaver Problem.

The Beer Glass Theorem.

The Garden of Eden Theorem.

$\endgroup$
4
  • 2
    $\begingroup$ After posting this, I tried to StartPage "beer glass theorem" and couldn't find anything, so maybe it's not so well known by that name. Too bad, it would be a nice accompaniment to the Ham Sandwich Theorem. $\endgroup$
    – bof
    Oct 22, 2014 at 6:42
  • $\begingroup$ The Beer Glass Theorem says that, if three congruent circles in the plane intersect at one point, then the circle determined by the other three intersections is congruent to the original circle. Is there another name for this theorem? $\endgroup$
    – bof
    Oct 23, 2014 at 3:47
  • $\begingroup$ I mentioned the Byzantine Generals in an earlier comment on the original post. $\endgroup$ Oct 23, 2014 at 4:42
  • $\begingroup$ @GerryMyerson Dagnabbit! I searched the page for "Byzantine" but I forgot to click on "show more comments". I will delete the generals from my answer. $\endgroup$
    – bof
    Oct 23, 2014 at 4:52
2
$\begingroup$

Pigeonhole (or Box) Principle. (Note that "rational box problem" is very different from "Box principle".)

Jugendtraum (as with Dirichlet for the Pigeonhole Principle, the name of Kronecker is sometimes omitted).

$\endgroup$
2
$\begingroup$

Hauptvermutung

Technically this is a conjecture, but there are results about whether it is true or not under various circumstances.

$\endgroup$
1
  • $\begingroup$ That meets the kriterion of obscurity and not being a definition (if the conjecture were proven, it would be a theorem). $\endgroup$ Oct 22, 2014 at 7:14
2
$\begingroup$

Tropical geometry

Margulis napkin problem

Traveling salesman problem

Canadian traveller problem

$\endgroup$
4
  • $\begingroup$ Speaking of tropical geometry: the Aztec diamond and the arctic circle theorem ( en.wikipedia.org/wiki/Aztec_diamond ). $\endgroup$ Oct 22, 2014 at 21:13
  • $\begingroup$ And speaking of Aztec diamond, Cairo pentagonal tilings. $\endgroup$ Oct 22, 2014 at 21:26
  • $\begingroup$ "problems, whose names do not give any indication to what they are about or, to which person it is related...." Does the Margulis napkin problem qualify? $\endgroup$ Oct 22, 2014 at 22:06
  • $\begingroup$ @GerryMyerson : Maybe I should use the Wikipedia name, "napkin folding problem." But then maybe the objection is that "folding" is a clue to what it is about. $\endgroup$ Oct 23, 2014 at 17:40
2
$\begingroup$

The master theorem. ${}{}{}{}{}{}{}{}{}$

$\endgroup$
1
$\begingroup$

For a theorem whose name is actually misleading about its actual content, check out the case of the Diversity trumps ability theorem, as described by Abigail Thompson in a recent Notices: http://www.ams.org/notices/201409/index.html

$\endgroup$
0
$\begingroup$

The Hauptsatz (due to Gentzen).

$\endgroup$
0
$\begingroup$

The Stable marriage problem. $ $

$\endgroup$
2
  • $\begingroup$ The Stable Marriage problem (or theorem) is about the stability of marriage, isn't it? $\endgroup$
    – bof
    Oct 23, 2014 at 3:42
  • $\begingroup$ I guess, though that sort of objection applies to lots of other answers here too (e.g., the Traveling Salesman problem is about a traveling salesman). $\endgroup$
    – dfan
    Oct 23, 2014 at 12:37

Not the answer you're looking for? Browse other questions tagged or ask your own question.