Live data from Hacker News

Mathematicians should stop naming things after each other

nautil.us

401–406 of 406 posts

Re: Mathematicians should stop naming things after each other

#401
post #245

Earlier quoted context omitted.

>Areas like philosophy and law actually suffer in my opinion when they overload common words It's more that people take material from our fields and misuse them in casual contexts. >If "contractualism" were just known as "Scanlon's theory" it would be a lot easier.) It would also be wrong as it isn't his theory, he's just a philosopher with a recent in-vogue formulation of it. The source of the theory in modern weste…

See, you're actually making my point. ;) Social contract theory is known as contractarianism . [1] (And the source was first Plato, but is best known through Hobbes. Rousseau was then the next best-known iteration after Hobbes.) But "contractualism" is generally used to refer to T.M. Scanlon's theory specifically. [2] This is my point. They're too easy to mix up. ;) [1] https://plato.stanford.edu/entries/contractaria…

Am I though?

The preambles of the articles that you're citing do not agree with your position, neither does a number of other definitions found easily online, neither does the academic publication record (you'll easily find 500+ articles on Contractualism penned before Scanlon).

See: "There is no necessity for a contractarian about political theory to be a contractarian about moral theory, although most contemporary contractarians are both. It has been more recently recognized that there are two distinct strains of social contract thought, which now typically go by the names contractarianism and contractualism."

[...]

"Contractarianism argues that we each are motivated to accept morality “first because we are vulnerable to the depredations of others, and second because we can all benefit from cooperation with others” (Narveson 1988, 148). Contractualism, which stems from the Kantian line of social contract thought, holds that rationality requires that we respect persons, which in turn requires that moral principles be such that they can be justified to each person. Thus, individuals are not taken to be motivated by self-interest but rather by a commitment to publicly justify the standards of morality to which each will be held. Where Gauthier, Narveson, or economist James Buchanan are the paradigm Hobbesian contractarians, Rawls or Thomas Scanlon would be the paradigm Kantian contractualists. The rest of this entry will specifically pertain to the contractarian strain wherever the two diverge."

In other words, this isn't about Scanlon the person, it's about two different schools of thought regarding people and their relationship with society. To dumb them down significantly, one's about the selfish, desperate flight from the state of nature, the other is about the crafting of a persuasive encompassing rationality of co-operation.

----

Also, just as an aside, while this difference might seem like it's a small nitpick, it's actually one of the fundamental theoretical divides between continental European and American/British legal systems. So yes, there's a reason why the terms are distinct.

Re: Mathematicians should stop naming things after each other

#402

Earlier quoted context omitted.

It seems like very few concepts are truly unique. At the very least, they have some relation to other concepts so it would be advantageous to make up a name/word that is similar to an existing concept.

Why? It's not the same concept, just vaguely similar to some other thing. But all of the interesting aspects are in the difference, otherwise we wouldn't bother mathematically with the concept in the first place. Similar != Same And treating similar things as same is the source of a lot of error and confusion and misinterpretation. If its just to help a beginner at first with a little bit of understanding, you can ju…

Many breakthroughs now require cross-disciplinary collaboration. We're unnecessarily increasing the barrier to entry. Imagine if with programming we did away with simple type names like integer, decimal, character, string and instead called them the Karson Couch, Aisling Mcniel, Elmer Enriquez, Alton Francis, and George Boole?

Of course people could learn them eventually.. but what's the advantage? It's much easier to understand the relationship between an unsigned & signed integer vs. a Karson and an Aisling.

I experienced a form of this firsthand when interning at IBM quite awhile ago. They used unnecessary acronyms for everything and it was amazing how much it slowed down onboarding compared to other tech companies. Even for the regular employees it was crazy how much time was wasted at meetings and e-mail back & forth clarifying needless abbreviations.

Re: Mathematicians should stop naming things after each other

#403

Earlier quoted context omitted.

Lucky us, we have Booleans, Turing Machines, Bolzmann machines, Markov Chains, Liskov Substitution Principle, ISO 8601 dates, the MIT and BSD licenses (hat-tip to the GPL), and the wholly ambiguous concept of a "class" or "object-orientation"

> Booleans On-off switches. Or conditionals. Or bits (depending on implementations). Or truthy/falsey values. > Turing Machines Symbolic tape machines. > Bolzmann machines Hidden-unit binary threshold networks. > Markov Chains Cumulative event probability chains. > Liskov Substitution Principle Instance Substitution Principle. > ISO 8601 dates Big-endian dates (or simply YYYY-MM-DD dates). > the MIT and BSD licenses…

> Booleans

Truth values.

> Turing Machines

Tape automata. (Though there are a lot of variants.)

> Liskov Substitution Principle

Behavioral subtyping. Even Liskov calls it this, but "SOBID" doesn't have the same ring to it. (BOIDS?)

> ISO 8601

Lexicographic dates. (ISO 8601 also specifies ordinal dates, with day of year (i.e. YYYY-DDD), but the "big endian" ordering principle is still accurate.)

Although "ISO 8601" tells you what specification describes it, which is a lot better than widgets named after people.

Re: Mathematicians should stop naming things after each other

#404
post #242

The fact that mathematics honors the people that built it is one of the things I love the most about it. But speaking practically, it’s by far the beat option in many cases. There might be a small number of basic concepts (like dodecahedron or inverse) that can be given actually descriptive names, but for anything even slightly complex it’s impossible, so we end up with a mixture of almost nonsensical and often confu…

> Is it harder to remember and distinguish “Hamiltonian”, “Dirac delta” or “Lagranian” than “cohomology”, “homomorphic” and “homeomorphic”? While I agree with your overall point, I must note that you did write Lagranian instead of Lagrangian ;)

Ah you got me. Although those Greek and Latin names aren’t always trivial to spell either!

Re: Mathematicians should stop naming things after each other

#405

Earlier quoted context omitted.

Baseball's development had nothing to do with math. Engineering is not a subfield of math either, it merely uses math as a tool. As a field, engineering evolved in parallel with math, only borrowing mathematical methods when their suitable applications were discovered. Computer Science is a subfield of math because it was developed by mathematicians as a direct descendent of algebra and the study of algorithms, which…

It seems kind of strange to me to draw the lines based on anthropology. If there was alternate universe in which a philospher with no mathematical training invented Turing machines and so forth, would you consider CS a subfield of math in one universe but not the other? Your classification seems as reasonable as any, but the lines seem fairly arbitrary to me.

You can’t invent a Turing machine without math, so your question doesn’t make sense.

Re: Mathematicians should stop naming things after each other

#406
post #93

Hard disagree. Once you get to the advanced levels of any field, terminology being "accessible" doesn't really matter, but being precise does . Areas like philosophy and law actually suffer in my opinion when they overload common words with uncommon meanings, or descend into weird disambiguations that depend on suffixes. For example, in philosophy there's "contractarianism" and "contractualism", and trying to remembe…

I Disagree with you, in Computer Science we have things like: "Quick Sort", "Merge Sort", "Map", "Hashtable", "LRU", etc... etc... They are much more descriptive and easy to remember, even though the Algorithms can be complex themselves. Event the name "Boolean", could be changed to "Conditional"... and be even more readable. Also, Dijkstra algorithm can be generalized to "Shortest Path Algorithm" (there can be more…

> Even the name "Boolean", could be changed to "Conditional"

ah, my pet peeve. When I invent my language, a "bool" is going to be a set, closed under the operations "union" and "intersection".

if you want conditionals, you can use zero and nonzero, the way things were always intended.

Post reply on HN