Live data from Hacker News

Mustard Watches (1990)

girard.perso.math.cnrs.fr

21–30 of 38 posts

Re: Mustard Watches (1990)

#21
post #18

I’m not sure what the author had in mind when he wrote the paper, but its light-hearted content reveals well how to structure a math paper: (1) state the problem and why the reader should care about it, (2) state how the paper builds on prior work, (3) summarize the main results, and then (4) develop them in theorem-proof style. An economics paper in the same spirit (though of course economics addresses more practica…

Economics humor is a bit droll: https://www.ft.com/lol-404

Re: Mustard Watches (1990)

#22
post #14

In the classic 2002 feature film "Undercover Brother" the titular character had a hot sauce watch which enabled him to eat white people food. James Bond was surely jealous. https://www.imdb.com/title/tt0279493/

After moving somewhere with criminal amounts of unexpected mayonnaise I have referred to that scene often. Great movie.

Re: Mustard Watches (1990)

#24

Theorems 1 and 2 are a little weak. For theorem 1, once a mustard watch reaches a sufficiently enormous size, material weaknesses become relevant problems to overcome, and it is not clearly shown that adding a few more grains will in fact allow the watch to still operate. And theorem 2 doesn't discuss how much time is needed to measure the current time. I'm not entirely sure this has been peer reviewed. No notes on t…

You can prove it easily by induction. If Wm(n) is a mustard watch containing n micrograms of mustard, then it suffices to show that Wm(0) exists, and that if Wm(n) exists then Wm(n+1) must exist. Obviously a single additional microgram of mustard could not overload the structure of a watch. Therefore, Wm(10^100) or any other size must exist.

Re: Mustard Watches (1990)

#25
I’m not sufficiently familiar with French culture or maths culture (and barely at all with their intersection!) to tell whether this is satire/parody, or just bonkers in general. Which is it?

Re: Mustard Watches (1990)

#26
post #25

I’m not sufficiently familiar with French culture or maths culture (and barely at all with their intersection!) to tell whether this is satire/parody, or just bonkers in general. Which is it?

As I understand it (also neither a mathematician nor French), it's a parody on a certain type of math paper, I'm guessing in abstract algebra, where the author does nothing but present a theory that is a "generalization" of some other theories, with no concern whether this generalization is helpful in any context.

So you get a "mustard watch", a thing which behaves simultaneously as a watch and as a mustard container, and finding a situation where that would be useful is an exercise for the reader.

Re: Mustard Watches (1990)

#27

What precisely is the complaint the actual author is making wrt temporal logic? Surely it is more than the assertion that there is no such canonical one? I can’t decode French elitism.

>I can’t decode French elitism.

It is a clear case of "langue-dans-la-joue"

(or is it "langue-dans-la-fesse"?).

Re: Mustard Watches (1990)

#28
post #25

I’m not sufficiently familiar with French culture or maths culture (and barely at all with their intersection!) to tell whether this is satire/parody, or just bonkers in general. Which is it?

It's a satire of a typical kind of paper from logic, in particular modal logic. Jean-Yves Girard has been very vocal against these academic papermills where the authors consider ad-hoc meaningless logical systems. For a more in-depth critique of semantics, you can also read the broccoli logic paper: https://girard.perso.math.cnrs.fr/meaning1.pdf
Post reply on HN