y = f(x)
If you give a problem with x = f(y) it really confuses people. If I label the horizontal axis y and the vertical axis x in the cartesian plane then confusion ensues.
t = b(a) where t is the velocity and a is time
That's confusing. I suppose it's analogous to me saying
"The male, fluffy, white, large sheep."
There is a certain amount of brainwashing that occurs with the symbols that we use. Using symbols other than the ones that have been standardized on is very difficult cognitively. What you say is true in theory but I think not in practice.
When people have very fragile understanding, they may be genuinely unsure if derivative with respect to x is computed the same way as derivative with respect to n. After all, x is always a real-valued variable and n is always a non-negative integer.... right?
People who have learned math and are comfortable with it's symbols and abstractions are less susceptible, but all people are susceptible to this confusion.
(x1(x2+x3) - x1(x2))/x3
is simply not as understandable to a first year calculus student as
(f(x+h) - f(x))/h
I've been teaching university level mathematics for 25 years and I know mixing up symbols confuses people. Try reading Newton's Principia. It's really hard to know what he's talking about.
EDIT: Try this equation. What famous one does it represent?
(sex(sxe) - sex(xes))/(sxe - xes) = xse sex/xse sxe
in programming, y = f(x) = x^2 is one way; 'y' is a label for a function of one variable.
But in math there is no fixed typing, or distinctions. The symbolic equation represents a relationship.
Hence:
y(x) = x^2 <=> x(y) = (+/-) sqrt(y)
the domain and domain can be switched and the entire equation rearrange so that a 'variable' becomes a 'function'.
x(y) = (+/-) sqrt(y)
is not valid notation. On the left hand side you are stating that x is a function of y. But on the right hand side your usage of (+/-) indicates that y can go to two different values. Hence x is not a function of y. To be a function one must have each input going to a distinct output.
That means switching the variables around switched domain/codomain.
An example where they are both the same:
y(x) = x + 1 <=> x(y) = y - 1
Symbols are in fact intimidating to some people. Not after you learn them, but before.
Your argument is abstract and theoretical. It doesn't make any difference to a computer which symbols you use, because it's a lookup table. But to a human, learning new characters takes effort. That effort could be used to learn the concepts, but instead we take time learning new symbols.
Try typing your reply in trinary. It shouldn't make any difference if the symbols are ascii or trinary. You should be able to type just as fast.
College algebra: pi.
Calc 1/2: pi, theta, capital sigma for sums. epsilon and delta to state the definition of a limit (but epsilon-delta proofs have largely disappeared from mainstream calc courses, so those two letters actually don't appear much).
Linear algebra: pi, capital sigma. Some people like to use stuff like phi or psi for linear maps. I don't.
On the one hand, in writing my course notes I have moved away from Greek letters somewhat in courses like abstract algebra. On the other hand, there is at least one good reason to use them: It helps you distinguish different kinds of objects by using different kinds of symbols. So, for example, I can write "f(x)" for a group map f applied to a group element x. If you follow the rule of picking letters from disparate parts of the alphabet for different kinds of things, that's okay. But I think some people prefer "phi(x)" exactly because the function phi "stands out" from the argument x.
Also, if I need 4 functions "in parallel", I could use alpha-beta-gamma-delta. If I try to do this using Roman letters, I use f, g, h, ... now what? ("i" is sort of reserved for indexing; "e" might mean the constant, but in any case is not often used to name a function.) You can subscript (f_1, f_2, f_3, f_4) but that introduces another kind of notational density and possibility of confusion. There are tradeoffs both ways.
There are places where I'm definitely in sympathy with the your general point. I've sometimes read something and wondered why the writer didn't just use a Roman letter (particularly when I don't recognize the Greek letter - is that a capital Greek whatsis or an emoji?). Sometimes, people use calligraphic script caps (e.g. for ideals), not realizing that they will be a pain for handwriting or TeXing notes. And in some subfields of math, people seem to like Fraktur or Hebrew characters which are a real nuisance (it took me a few tries to learn how to handwrite a passable aleph), particuarly when they're handwritten and the person writing has shitty penmanship so you can't tell what letter they wrote.
I agree with the general point, though: Greek letters should be used like seasoning.
Instead of trying to compress everything into a very limited set of "daily language" symbols we should be trying to expand our ideas, including our language(s).
The symbols we use in math aren't to be confused with the ideas, they are shorthand. Ideas and symbols are independent, and we still have to explain what Greek letters do using English anyway. We use Greek letters for convenience, not for expressive power. Writing "∫ x ∂x" is only faster and more compact than writing "The integral of the equation x over x", it is not an improvement of the concept, right?
Use of symbols is the act of trying to compress everything into a smaller set, not the other way around.
For the modern audience, the use of Greek letters may hamper learning because the symbols are unfamiliar and foreign looking. It takes cognitive effort to learn the Greek letters in addition to the cognitive effort to learn the mathematical ideas. What if we could remove the cognitive effort on letters, and focus on the pure math ideas? What if the Greek letters are a speed bump to learning? That we use ∑ for sum and ∆ for change are arbitrary - canonical, but completely arbitrary. History could have decided that a circle was the integral symbol, or the capital letter I. Maybe math would be easier to learn if we switch to capital letter I.
It is not, strictly, an improvement on the concept. It's the same concept expressed two ways.
But you cannot symbolically manipulate that prose text, where as you can stick that integral statement into an equation and manipulate it there along with the other expressions of the equation. The ability to perform those manipulations is an improvement.
But, nothing about writing math in text prevents manipulating the text, right? You can do it, it would just be laborious and exhausting for people who are familiar with the use of symbols.
Try a "solve for x" problem with the equation described in prose (still using short variable names and numbers though):
x added to 4 all divided by 3 is equal to 16.
What's the next step in solving this? First, because we're abandoning the conventions of symbolic notation the groupings of equation parts (terms and expressions) becomes a bit hairier. I've tried to be clear, and I think in this instance it is, that "divided by 3" applies to "x added to 4". So we know that we should multiply both "sides" by 3. I put sides in quotes because, well, now there are no sides. An equally valid prose description is: one third of x plus four is the same as sixteen
If we lack conventions for expressing these statements we could probably come up with an absurd number of equally valid prose presentations of this one expression. This makes reasoning about the next steps much, much harder, as we first have to parse a near arbitrary expression and then discern the author's intent (and seek clarification for more complex ones). the result of dividing four and x by three is sixteen.
By the time you settle on a subset of english for prose math specification you'll be down to such a small or specialized portion of the language that you might as well add back in the symbols and at least lose the English dependency for your work so you can collaborate with people around the world.There's a reason a good portion of elementary mathematics was spent on "word problems", where we reduced problems like this down to their essential equations (a process of abstraction, though not described to us as such). Usually you'd see the above as something like:
Andrew has some number of apples. Billy gives him 4
more. He splits the apples evenly between himself,
Billy, and Charlie. Everyone has 16 apples, how many
did Andrew have to start with?
All that other crap is noise. Just like in the prose version of the equation "the result of ..." has no value in trying to solve the problem.Maybe I didn't make my point clearly. I'm not arguing against the use of notation or symbols. I'm asking whether Greek specifically is slowing learning down or intimidating people from starting. I'm asking whether learning the symbols with the concepts is the most efficient way to learn math, not whether it's the most efficient way to do math.
Maybe the laborious way is better if more people are comfortable starting that way, and easing more slowly into symbolic syntax.
Maybe there's a more compelling story about math that will get more people interested in it than teaching what symbols do.
If Greek is intimidating enough that many people never start, it doesn't matter how actually laborious the symbols are or not, the battle is lost.
The whole point of education is to approach and embrace unfamiliar concepts.
By the way, arabic numbers are... arabic.
It's a fact that some people are intimidated by Greek letters and highly symbolic math, I'm not sure why that's being pushed back on. It's an open question, not a statement on my part, whether using more familiar symbols would speed up learning. Are you absolutely certain it would not? Why? Have you tried?
Lots of people on HN believe music education would be improved by updating the notation to be more "modern", and complain that music is more difficult to learn than it could be.
What you seem to be saying is Japanese is too hard to learn, so let's just discard Kanji and use the english alphabet instead. You can do that, but at some point you are not teaching Japanese any more.
I was talking about conceptually expressive power. Symbols have no conceptually expressive power at all, we assign meaning to them by describing what they do using familiar language, and previously defined symbols. The transitive definition of any symbol is completely and only defined from first principles via familiar language.
∑ - sigma - s as in sum
∫ - long s - s as in sum
It's not totally arbitrary.
I could use sigma - s as in subtract.
I could use iota - I as in integrate.
Of course it's arbitrary.
That is correct, but at this point it is standard to see sigma as summation (or in some other contexts as set or space, but it's also clear in those contexts which meaning is appropriate, certainly an algebra student seeing sigma notation will not also be seeing sigma used for "set" or "space" in that same course).
Also don't confuse arbitrary with random. Having a reason doesn't mean a choice isn't arbitrary.
Bigger picture, maybe I'm misinterpreting you, but I feel like the logical conclusion of your argument is that nothing can change now, because canon. And yet basic math notations have changed throughout history.
It would take a lot of effort to change the summation symbol from sigma to something else. But if something else made learning math faster, the canon is exactly the part that needs to go, not an excuse to stop improving.
The symbols in math are great for writing by hand, but can become cumbersome when typing.
As I went through school I saw many students who were bilingual either do poorly or exceptionally well in math.
These were students who spoke Spanish, Tagalog, Chinese, Burmese, etc. at home for the most part and then spoke English at school. Some learned well and some didn't.
I like to think about math as language, rather than thought or logic or formulas or numbers. The Greek letters are part of that language, and part of why learning math is learning a completely foreign language, even though so many people who say they can't do math practice mathematical concepts without Greek letters. All of the math we do on computers, symbolic and numeric, analytic and approximations, can be done using a Turing machine that starts with only symbols and no built-in concept of a number.