Hacker News Reader

Comment by tux3 | Hacker News Reader

That begs the question of whether the unorthodox notation is a catalyzer for the results he gets, just a coincidence, or if just thinking differently in general is the reason for both. =)

View on HN

It raises the question, it doesn't beg it (sorry for the boring off-topic comment). https://www.writersdigest.com/write-better-fiction/begging-t...

Thank you! I think I was actually corrected on that once before, but maybe this time it'll stick =)

A nice substitute might be begets. It is so similar, I wonder if that is where the confusion arose to begin with.

See https://languagelog.ldc.upenn.edu/nll/?p=2290 for some details. I would summarize by saying, there were words involved (i.e. the Latin "petitio" and Greek "αἰτεῖσθαι") that have multiple meanings (a modern analogue being "plead", which can mean "ask"/"beg", but can also mean "plead to the court [some statement of fact]"—i.e. to make a claim), and the word "beg" comes from a translator selecting one of the wrong meanings. Also, "the question" is really a poor choice to mean "the original point to be proven"/"the conclusion"/"the point in question".

I am strongly against prescriptivism telling people that a bad translation that makes no sense is correct. I recommend "assuming the conclusion" as a correct name.

This literally begs the question whether the prescriptive approach is to be preferred over the descriptive one.

I feel like at this point common usage has moved so far away from this that it’s almost not worth trying to reel it back in.

I think notation is completely misunderstood by some fields, and that physics in particular really shows the benefits of it (i.e. With tensors and feynman diagrams we can nearly stop ourselves from writing down the wrong answer through notation), but academics are just as idiosyncratic as everyone else so I'd guess something more human.

I've got terrible mathematical education, but Feynman diagrams are something even a clown like myself can easily wrap his head around. They're really an exceedingly clever device, end "clever" doesn't do it justice.

They don't even have to be Feynman diagrams - theoretical (rather than mathematical) physicists are usually pretty lazy. We make up notation for us rather than the reader. Mathematicians, I find, are a lot worse but still bearable. Engineers though, oh boy, seem to actively enjoy using notation to obscure the material in the books I have read.

I bought ~5 different kindle books on logic as a prerequisite for understanding another book I originally bought on Probability Theory (E. T. Jaynes). Every logic book I bought used a different notation and none of them matched the notation used in the book I wanted to read either, which is how I ended up with 5 of them.

You'd think something as straight forward as (boolean) logic would converge on a standard notation. But I'm not familiar with the mathematics field to really criticize this. Regardless I found it to be a large barrier-to-entry which over complicated something when I was hoping to find direct analogies not needing constant 'translation'.

I agree. What I saw with the mathematics students during our Bachelors (I did CS, so adjacent, but still far away) was that they would have a really hard time in the beginning coming from school, but after a few semesters they would transcend notations and it would then become mostly a thing of preference. The thing is that all of these guys were already really talented and engaged in mathematics, and it was still quite hard combined with the fundamental difference of how we do mathematics in university compared to school.

That gives me some motivation to power through them until I get used to the notation. Thanks.

In programming language theory there is a unified notation for operational semantics, but most papers use nonstandard and/or incorrect interpretations of the notation. It’s a glorious minefield when you go to try to implement the papers — you inevitably end up talking to the authors & helping them debug issues, even years later.

I suspect that he has some alternate level of perception, sees the beauty of the underlying mathematical structures directly without seeing the ugliness of the notation that distracts dull-witted mortals like me.

Reply on news.ycombinator.com