Hacker News new | ask | show | jobs
by _Microft 1702 days ago
The idea that unfamiliar symbols and alphabets are a huge problem for the accessibility of math is common. As physicist I do not agree. Math is hard. It's damned difficult. Symbols and alphabets are the least of your concerns when dealing with a math paper. I know a lot of these symbols by name, I sometimes understand the notation or could familiarize myself with it but the math itself? Nope, no chance, usually. If one cannot deal with the symbols, there is no chance in hell one could deal with the ideas.
3 comments

I'll disagree. I read many papers with mathematics in them, and I get a lot of the concepts but the symbology used doesn't make sense to me so its hard for me to understand what is exactly going on. The sentence after the equation that explains each symbol is necessary for me, and many others as well. Not everyone has taken 8 math classes to know each kroniger delta by heart.
> I read many papers with mathematics in them

That is the problem, non-mathematicians usually doesn't fully understand the math they use in their papers and thus the math becomes opaque. Papers written by real mathematicians are usually much easier to read, although of course the math in them is much much harder.

Well, musical notation looks like gibberish to someone who did not learn it. That said, I do agree with you 100% on scientific papers. Without an explanation of the formulas to cater to a wider audience a lot of papers fall into the "and then a miracle occurs" fallacy. Not because that's what they actually do. Not at all. I say this because to a large set of readers the impenetrable math has to be taken as a divine act that moves you from step n to n+1.

I remember going to lunch with one of my math professors in college. He was working on his PhD and was about to publish his thesis. As we sat down to eat he was very excited as he pulled out a sheet of paper from his pocket. It had been folded 3 or 4 times. You could tell he had been carrying this thing around, folding and unfolding it, for a long time because the folds showed wear.

This piece of paper was full of formulas, both sides, there was not a single blank area on the entire sheet.

He unfolded it and proceeded to give me a quick talk about what he was working on. He was very excited about it and I was happy for him. And yet that entire piece of paper looked like a language from another galaxy to me. I was on my third Calculus course. I had no clue what he was talking about.

Digressing a bit:

To this day I remember this when helping my kids with math, science and coding. As a matter of fact, I am currently working on an explanation of exponentiation and logarithms. In both cases everything looks great if things are even multiples of the base. The minute you do something like 2*2.1 or log_base_3(35.53) you hit the "and then a miracle occurs" problem, where you have to explain a thing by using the thing ("A white horse is a horse that is white").

I've spent the last couple of days working on cleaning-up an explanation of these things that makes sense without using a miracle to get to the answer. One of the problems is that there are natural explanations for things like square and cube (area and volume), but, what do powers of 2.1 and 3.25 mean? It is interesting how things completely break down. I don't think I have found a single mathematics text that bridges this gap.

If anyone has a sensible explanation of this I'd love to hear it!

Following on from my other reply...

When we start teaching math to students, we start with counting blocks: "You have 2 piles of blocks, one pile of 3 and another pile of 2. If you put them together, you get a pile of 5 blocks!"

That stops working as well when you deal with fractions. You can get away with 2.5 blocks, but 2.5 blocks is really 3 blocks, but one is a little smaller than the others. And at some point you can't use blocks to represent 2.3456 blocks. So you need different kinds of "natural" problems to represent those numbers.

But, as you point out. There are some things that aren't really representable as "natural problems". For a long time the idea of 0 wasn't natural. (People were actually killed for talking about the idea of 0) I mean, what does it mean to have 0 chickens? You either have some chickens, and you say "I have N chickens", or you don't have any chickens and you say nothing. Why would you need a number to represent nothing?

Maybe n^2.1 doesn't have a natural explanation. At least, not one you can hold in your hand. Can you imagine a shape with 2.1 dimensions to relate it to geometry? Probably not. But you can use geometry to prove that n^(a+b) = n^a * n^b and then you can apply those rules to "unnatural values" with an understanding of what is happening. The natural explanation of n^2 can be applied to the unnatural idea of n^2.1

Everything in math can't be understood with geometry or "natural examples", lots of math (most of math?) describes things that are not representable within the constraints of our physical world. That's what makes it so powerful!

Also, not everything in math can just be calculated (see: irrational numbers)

> For a long time the idea of 0 wasn't natural.

Yes! A long time ago I read a wonderful little book on just this bit of history:

https://www.amazon.com/Zero-Biography-Dangerous-Charles-Seif...

You can start explaining fractional powers with roots, e.g. x^0.5
Right, the problem is that you quickly run into the "miracle occurs" territory.

The square root of a number takes us from an area to the length of the side of the square corresponding to that area. The cube root is the same for a cube. What is the 10th root of x?

It's a number that, when multiplied by itself ten times equals x.

OK. How do you compute this number?

The best I can offer at this point is, for simplicity, a brute force search or, for faster results, a bisection search algorithm.

In other words, the "and then a miracle occurs" moment is right there. The fact that I can key these numbers into a calculator and get the answer isn't the kind of explanation I want to use for my kid. I don't want to say "once you get here you pick-up your calculator", because the legitimate question then might be "If it's magic, why don't I just pick it up at the start of the problem?"

To be clear, I don't mean "miracle" as anything other than "this shit is hard-to-impossible to explain or calculate by hand". That said, you could probably run through a quick bisection search by hand and likely converge on a low error answer in 2 to 5 cycles.

The meaning of of the e root of b explained with exponentiation and the exponentiation is explained with the root.

I think the magic/miracle of math is that you can go from "real world" into "math world" then back into "real world". If a rule is true for c and n and n+1, and you can physically represent the idea when n=2 and n=3, then you can apply that representation theoretically to n>3 to understand ideas that are not easily understandable.

The 10th root of x takes you from a measurement of an 10 dimensional object to the measurement of a 9 dimensional object. That's crazy, right? Without needing to "understand" what an 10 dimensional object is, you know something about it because you understand what roots mean with lower values...

Of course, that doesn't help you actually calculate the 10th root of x. Is there a better way than basically guess, check, and refine? The calculator is just really fast at doing that (and only needs to calculate a relatively small number of significant digits). Sometimes that's just how math is. The only magic there is that computers are very fast at computation compared to people.

>The 10th root of x takes you from a measurement of an 10 dimensional object to the measurement of a 9 dimensional object.

Doesn't it take you from 10d to 1d? For instance, 10^10 is the hypervolume of a 10-cube with all side lengths = 10.

except that mathematicians like to use shortcuts notation everywhere, shortcuts that only them understand... For example P(A|B,C) ?= P(A|B;C).

Moreover, mathematician seems driven by a frugal principle. They try to condense their though in the smallest number of symbols. To me it's like writing a Perl program with the shortest amount of text. Of course, the result is right, but it's super hard to understand.

Yeah, it's like there is something in their brain which differs from non-mathematicians.

Non-mathematicians discover something and then want the largest number of people to understand that thing as well, and they want to be the ones explaining it and see the sparkle in the eyes of the ones receiving the information and "getting it" for the first time.

Mathematicians want their peers to understand first and foremost in the quickest way possible, they then rely on 3rd parties to explain it to people who they consider "normies", they slap their name on the theorem or the demonstration and further use what they consider "subordinates" to explain it to the few "normies" who want to make an effort to understand it.

Most mathematics paper will define the symbols they use beyond the basics (and sometimes even the basics). If you are thinking about extremely common symbols then... it's like complaining that somebody not trained in music cannot read a music sheet.
One can make the same argument for doing arithmetic using Roman numerals.
Math will only emerge as a field when people will stop treating it as something that one only has to do at the frontier.

In other competitive fields such as banking, basketball and football you have the higher ups caring about the pyramid below them, if only as a place to recruit new talents.

Among the math higher ups, only Jim Simons cares about the "math pyramid" so to speak.

One has to be pragmatic, the goal of getting the population interested in math is GDP and median quality of life.

I know those things are very mundane for mathematicians who are absorbed in their world trying to be the ones cracking the Rienmann hypothesis, but even as that individual you have slightly better odds at making it if your surroundings look like Zurich or Cambridge vs. Baltimore or Mobile.

Matter of fact you have better odds if your country can extend the areas looking like Zurich and Cambridge and reduce the areas looking like Baltimore or Mobile.

What are you talking about? Mathematics has well and truly "emerged as a field" lmao
I think you'd be surprised if you gathered data on amount of cursing which goes on in colleges when students have to face math vs. English or history

Also cortisol levels spike before a math exam compared to again English or history.

Notoriously math is the most hated subject/field. There is no point trying to hide it.

Unless one is a masochist, then it's desirable to be popular, and although the field cannot and should not be watered down for the sake of ease of access , I think there is lots of room before reaching that point, but nobody is interested in making such effort

What's this got to do with "emerging as a field"? Yes Maths is hard, yes generally people don't like to do it, but that doesn't mean it hasn't "emerged as a field".
It's self imposed because mathematicians love to use their own notation.

Math is at its core philosophy and logic, they are both hard too, but they don't get the same level of hatred that math gets because unlike mathematicians philosophers and rational thinkers take the time to explain what goes through their mind instead of condensing very complex thoughts in 20 characters strings.

Turns out there are some social rules which not even math can break, if your attitude is :

"I don't give a damn about people understanding what I am trying to say, they are all dumb and uninteresting because they don't even put the time in to learn my special notation"

You won't be very popular. And your field will be kinda hated, which is what is happening.

> [philosophy and logic] don't get the same level of hatred that math gets

Because children aren't forced to study philosophy and logic for many hours each week.

And if you think logicians (even of the non-mathematical variety) aren't constantly inventing new notations...

> "I don't give a damn about people understanding what I am trying to say, they are all dumb and uninteresting because they don't even put the time in to learn my special notation"

Those mathematicians aren't calling you "dumb and uninteresting", you're just not in their target audience.

> And your field will be kinda hated, which is what is happening.

Again, it's hated because children are forced to study it, because their parents think it's essential. Most people don't think mathematics is an evil cabal of men intentionally obfuscating their work with crazy symbols just for the heck of it.

What has any of this got to do with "emerging as a field"? Mathematics is alive and well and, indeed, popular. It's not like Mathematics lectures are empty or that huge numbers are shying away from engineering or physics because of the Maths involved. Like, it's doing fine, and clearly "emerged as a field" centuries ago.

I don't give a fuck if people hate Maths, it's doing fine lol. You sound like someone who has literally no connection to the field and therefore can not perceive how it is actually doing, and instead you think "wow Maths must be in a bad state if everyone hates it". But no, that is just not true...

If there is any relevant criticism of Mathematics it is much more about going extremely deep into vastly theoretical domains without any reference to how practical such solutions might be than anything to do with whether or not the lay person "enjoys Maths".

All of this is irrelevant bullshitting. Maths emerged as a field centuries or even millenia ago. Please read the wiki page on "Mathematics".