Mustard Watches (1990)
girard.perso.math.cnrs.fr
Mustard Watches (1990)
1–10 of 38 posts
Re: Mustard Watches (1990)
#2Love mine. I can discreetly squirt mustard onto boring hors d’oeuvres.
Re: Mustard Watches (1990)
#3French version, as a proper PDF: https://girard.perso.math.cnrs.fr/moutarde.pdf
Re: Mustard Watches (1990)
#4Is there a garmin siracha device?
Re: Mustard Watches (1990)
#5Is there a garmin siracha device?
There should be a suitable structure-preserving morphism.
Re: Mustard Watches (1990)
#6Theorems 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 theorem 4, though.
Re: Mustard Watches (1990)
#7What 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.
Re: Mustard Watches (1990)
#8What 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 think it’s the lack of mustard. From the first paragraph: “what is the point of knowing time if you cannot get mustard?”
Re: Mustard Watches (1990)
#9highly entertaining read for a mustard fan, but what is this demonic presentation of a pdf
Re: Mustard Watches (1990)
#10[deleted]