Stream: coq-community devs & users

Topic: " funny maths"


view this post on Zulip Karl Palmskog (Jan 12 2021 at 15:59):

@Théo Zimmermann the part here about "funny maths" here sounds a bit like a gallicism to me: https://github.com/coq-community/hydra-battles

I think what is meant is more like "amusing math" or "entertaining math", right? Mathematiques amusantes and not mathematiques drôles (the latter seems the closest back-translation of "funny")

view this post on Zulip Théo Zimmermann (Jan 12 2021 at 16:00):

Probably yes.

view this post on Zulip Karl Palmskog (Jan 12 2021 at 16:01):

OK, it seems I still have some Sprachgefuhl for French

view this post on Zulip Christian Doczkal (Jan 13 2021 at 14:21):

Resorting to German? Well, I don't have a good translation for "Sprachgefühl" (with ü) to either French or English. I've never come across the dictionary translation of "feel for language" :thinking:

view this post on Zulip Karl Palmskog (Jan 13 2021 at 14:22):

yes, I know about the ü, I was just too lazy to add it. Swedish has an exact equivalent, that's why I like it, and nobody knows about the Swedish word generally

view this post on Zulip Karl Palmskog (Jan 13 2021 at 14:25):

@Christian Doczkal what would be the German equivalent of "entertaining/funny math" that doesn't sound weird? "Lustige Mathematik" doesn't come out quite right to me...

view this post on Zulip Christian Doczkal (Jan 13 2021 at 14:31):

Indeed, "lustige Mathematik" doesn't sound too great, but "unterhaltsame Mathematik" (entertaining) or maybe "amüsante Mathematik" (amusing). I guess the usage might be similar to the usage in French. :shrug:


Last updated: Feb 05 2023 at 13:02 UTC