Timeline for What are some theorems with very long names?
Current License: CC BY-SA 4.0
18 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 15 at 13:50 | review | Close votes | |||
| Sep 24 at 3:02 | |||||
| Sep 15 at 8:15 | comment | added | Mauricio | @TorstenSchoeneberg is an example category, many answers work here. The inclusion criteria is basically find a name that is unusually long and show that some notable source or some standard source as Wikipedia considers it as its common name. | |
| Sep 14 at 20:15 | comment | added | Torsten Schoeneberg | I'm still not clear on what the metric is here. If I just go through en.wikipedia.org/wiki/List_of_theorems looking for the "longest" names, I get the Structure theorem for finitely generated modules over a principal ideal domain, but I doubt that's what you're looking for. | |
| Sep 14 at 19:21 | comment | added | Jean Abou Samra | Matiyasevich-Robinson-David-Putnam theorem? Kreisel-Lacombe-Shoenfield-Tseitin theorem? Albert–Brauer–Hasse–Noether theorem? Grothendieck–Hirzebruch–Riemann–Roch theorem? | |
| Sep 14 at 19:20 | comment | added | Mauricio | @TorstenSchoeneberg no not necessarily theorems named after somebody, but theorems that have long names. | |
| Sep 14 at 18:00 | comment | added | LSpice | @TorstenSchoeneberg, re, I have also seen Dynkin added to that list, and also seen the names re-ordered, I suppose to their historical rather than alphabetical order. | |
| Sep 14 at 17:39 | comment | added | J. W. Tanner | The Cauchy–Schwarz inequality is also called the Cauchy–Bunyakovsky–Schwarz inequality | |
| Sep 14 at 17:04 | comment | added | Emil Jeřábek | As a random example, I seem to recall a paper of (IIRC) A. Visser where the (already long) name of the Friedman–Goldfarb–Harrington principle was extended with three more people, but I can’t find it now. | |
| Sep 14 at 16:56 | comment | added | Emil Jeřábek | Sometimes such names happen when someone falls into the trap of thinking that theorem names are supposed to be correlated to their discoverers. (They usually aren’t.) Then you get things like “DeMillo–Lipton–Schwartz–Zippel lemma” instead of the common name “Schwartz–Zippel lemma”. | |
| Sep 14 at 15:23 | comment | added | Torsten Schoeneberg | But are just looking for ones named after many mathematicians? Of course, for lack of compounding, the English language can just never reach the sound of "Riemannscher Hebbarkeitssatz" but funnily people are obsessed with Hilbert's Nullstellensatz. | |
| Sep 14 at 15:18 | comment | added | Torsten Schoeneberg | Poincare-Birkhoff-Witt and the Baker-Campbell-Hausdorff formula come to mind: Both are long enough that they are often referred to by acronyms PBW and BCH, respectively. | |
| Sep 14 at 13:26 | comment | added | LSpice | I think this partially depends on how inclusive one wants to be. In my own area, there is what many people call just the Weil representation, but I have seen called the Segal–Shale–Weil representation; and I am sure that a complete accounting of its influences and anticipants could list even more. Just yesterday, on MO, I saw what I call the Riesz representation theorem referred to as the Riesz–Markov–Kakutani representation theorem. | |
| Sep 14 at 12:37 | history | edited | Mauricio | CC BY-SA 4.0 | edited title |
| Sep 14 at 12:26 | history | edited | Mauricio | CC BY-SA 4.0 | added 161 characters in body |
| Sep 14 at 12:25 | history | undeleted | Mauricio | ||
| Sep 14 at 10:02 | history | deleted | Mauricio | via Vote | |
| Sep 14 at 10:00 | history | edited | Mauricio | CC BY-SA 4.0 | added 174 characters in body |
| Sep 14 at 9:54 | history | asked | Mauricio | CC BY-SA 4.0 |