3 ms·

> Chu constructions Star-autonomous category constructions? > Girard's paradox Provability paradox? > Calabi-Yau manifold Smooth n-dimensional complex mani

> Chu constructions Star-autonomous category constructions? > Girard's paradox Provability paradox? > Calabi-Yau manifold Smooth n-dimensional complex manifold? > Dijkstra's algorithm Shortest-path-first algorithm? (I'm cheating here because this is literally an already-common alternative name for it) > Haber–Bosch process Ammonia synthesis loop? (Also cheating here, since the "Ammonia production" Wikipedia article uses this exact terminology) > Otto cycle Four-stroke cycle? (Cheating yet again, since Wikipedia states: "This is why the four-stroke principle today is commonly known as the Otto cycle and four-stroke engines using spark plugs often are called Otto engines.")

saithound 6y ago
The names you suggest are generic terms that already exist in the respective jargons with different, more generic (and in fact more intuitive) meanings. It's like noticing that the name "Jonathan" has no mnemonic function in the term "Jonathan apple", then suggesting the term "fruit" as a better replacement. This would not solve, but exacerbate the issues raised in article, in that this would make all of learning, teaching and expert communication harder (compare your suggestions with the ham sandwich theorem, a snappy name which serves as an exceptionally good mnemonic device for both the theorem and its usual proof, despite not mentioning Lebesgue measure, Euclidean space, exact division, or really any specific objects involved in the statement of the theorem). Non-Otto four-stroke cycles abound (cf. Diesel cycle); new industrial methods for ammonia synthesis come into existence every few years and there's not much point in singling one out and calling it _the_ ammonia synthesis loop. The case of shortest-path algorithms has been thoroughly discussed upthread. Your suggestion for Calabi-Yau and Girard's paradox are not coherent with the meanings of these terms. No big deal: giving a purer meaning to the words of the tribe is not easy, and requires deep domain expertise. And those with deep domain expertise do think about this task, have some strong incentives to think about it (teaching evaluations factor into promotion and tenure) and generally do fairly well at it. (Startup idea: your-jargon-reform-is-bad as a service, backed by GPT-3?)
- yellowapple 6y ago
  > The names you suggest are generic terms that already exist in the respective jargons with different, more generic (and in fact more intuitive) meanings. The last three, like I mentioned, were pretty much direct from Wikipedia. But yeah, I'm under no pretense that these are necessarily correct. My only point is that we can surely do better than "$person $thing" for nomenclature. The Otto cycle is a perfect example; sure, "four stroke cycle" might be too broad, but "spark-ignited four stroke cycle" (maybe abbreviated to SI4C) doesn't seem to be (there are technically other such cycles, but the vast majority of the time people talk about a spark -ignited four-stroke cycle they're talking about an Otto cycle or some evolution thereof).

saithound 6y ago

The names you suggest are generic terms that already exist in the respective jargons with different, more generic (and in fact more intuitive) meanings. It's like noticing that the name "Jonathan" has no mnemonic function in the term "Jonathan apple", then suggesting the term "fruit" as a better replacement. This would not solve, but exacerbate the issues raised in article, in that this would make all of learning, teaching and expert communication harder (compare your suggestions with the ham sandwich theorem, a snappy name which serves as an exceptionally good mnemonic device for both the theorem and its usual proof, despite not mentioning Lebesgue measure, Euclidean space, exact division, or really any specific objects involved in the statement of the theorem). Non-Otto four-stroke cycles abound (cf. Diesel cycle); new industrial methods for ammonia synthesis come into existence every few years and there's not much point in singling one out and calling it _the_ ammonia synthesis loop. The case of shortest-path algorithms has been thoroughly discussed upthread. Your suggestion for Calabi-Yau and Girard's paradox are not coherent with the meanings of these terms. No big deal: giving a purer meaning to the words of the tribe is not easy, and requires deep domain expertise. And those with deep domain expertise do think about this task, have some strong incentives to think about it (teaching evaluations factor into promotion and tenure) and generally do fairly well at it. (Startup idea: your-jargon-reform-is-bad as a service, backed by GPT-3?)

yellowapple 6y ago
> The names you suggest are generic terms that already exist in the respective jargons with different, more generic (and in fact more intuitive) meanings. The last three, like I mentioned, were pretty much direct from Wikipedia. But yeah, I'm under no pretense that these are necessarily correct. My only point is that we can surely do better than "$person $thing" for nomenclature. The Otto cycle is a perfect example; sure, "four stroke cycle" might be too broad, but "spark-ignited four stroke cycle" (maybe abbreviated to SI4C) doesn't seem to be (there are technically other such cycles, but the vast majority of the time people talk about a spark -ignited four-stroke cycle they're talking about an Otto cycle or some evolution thereof).