Hacker News new | ask | show | jobs
by abarrett 3378 days ago
Provide this legend with the formula. Now how many people understand it?

∈ = is an element of

∀ = for all

∃ = there exists

4 comments

Exactly. This is a nomenclature issue. When this is spelled out it is easily understood. Math is not the issue here. Should CS students have an intro to abstract algebra? Probably. Do CS students (in those programs where CS isn't conflated with IT) take 3+ years of math courses? Yes.
His response would be that anyone who's studied even a little college math wouldn't need that legend. I learned that notation in High School.
Anyone who doesn't use that nomenclature on a regular basis is bound to need a refresher legend. The concepts are easily remembered (and used in all kinds of programming). But which direction the e points is less easily remembered.
I learned the details of photosynthesis, the Krebs cycle, and a lot of other basic biochemistry in high school, but I don't remember much of that at all.

I did a fair bit of set work in college, but it took me about a minute to dig some of that up to read and understand the relationship that's being described. I don't think I've worked with sets using actual mathematical notation in over 10 years. It wouldn't have surprised me if I couldn't read it (although I would've found it somewhat distressing).

The weird part is his audience: active students and researchers within the field of CS. They're the ones that I would've expected to be most likely to understand what it said.

I took three semesters of math in college and don't remember any of those symbols.
If you took three semesters of post-secondary maths and never encountered "∈", you should ask for your money back.
I don't know whether I encountered it. Perhaps I just forgot. Either way, it hasn't been a notation used in real life.
yep exactly - I have CS degree, rusty on my symbols but knowing them its obvious
What does the colon mean?
As others have said, "such that." It's worth noting that some people use a vertical line instead to mean the same thing.
I believe 'such that'
such that.
such that