Karl Palmskog (Jan 12 2021 at 15:59): 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")
Théo Zimmermann (Jan 12 2021 at 16:00):Probably yes.
Karl Palmskog (Jan 12 2021 at 16:01):OK, it seems I still have some Sprachgefuhl for French
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:
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
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...
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: Jun 03 2023 at 18:01 UTC