Axiom Tutoring

Advanced Math, Stats, Logic, Physics, CompSci, and test-prep tutoring

Professional tutoring service offering individualized, private instruction for high school and college students.  Well qualified and experienced professional with an advanced degree from Columbia University.  Advanced/college mathematics, logic, philosophy, test prep, microeconomics, computer science and more.

Filtering by Tag: math

Without =

All I want to say here is how interesting I think it is to consider:

For thousands of years people did Mathematics without an equal-sign! The “=” symbol, if memory of a history of Math text serves me correctly, made its first appears due to … Fibonacci? Perhaps I’m getting my mental wires crossed with the fact that he imported Arabic numerals. Maybe it was Recorde? If only there were a way to determine its source without leaving my computer … Well I guess we’ll never know.

But before the 13th century much of mathematics had no symbol for equality, and people merely used the word “equals” or just a blank space where an equality symbol might go. In some ways we might do well to return to that, at least for introductory students, because they often fail to realize that the equal-symbol means the same that the English word “equals” means: That the thing on the left is the same as the thing on the right. (That’s not actually entirely true, equality can be used for the definition of a function, which isn’t precisely, logically, the same thing.)

However, ancient Egyptians had a symbol for it similar to what we now use for proportionality. Certain later Greek speakers had their own symbol although it did not persist through history. Ancient Indians used pha which was a contraction in their language. Today’s equal-sign, “=”, derives from the signification of two parallel lines. This choice is due to the fact that parallelness behaves very similarly to equality. Some of the features of equality that are most useful are:

  1. Reflexivity: Every line is parallel to itself just as every object is equal to itself.

  2. Symmetry: If line m is parallel to line n then line n is also parallel to line m. A similar statement holds for equality.

  3. Transitivity: If m is parallel to n, and n is parallel to p, then m must be parallel to p. Again, the same sort of thing is true for equality.

Any relation satisfying the three properties above is called an equivalence relation. Equality and parallelness are both equivalence relations, and polygon similarity is also an equivalence relation. It is worth noting, though, that equality is stronger than a mere equivalence relation. The distinguishing feature of equality which separates it from all other equivalence relation is that of substitutability. If two quantities are equal, all the same sentences must be true about those numbers. If 11 is prime then, since 11 = 9+2, we must also be justified in saying 9+2 is prime. Substitutability does not hold for parallel lines. Line m may be parallel to n but a distance of 10 units away from it. If substitutability held we would be able to infer that line n is also 10 units away from n. Since that’s ridiculous, we see that parallelness does not permit of substitution.

But the use of a symbol for equality was not practiced even by startlingly modern European mathematicians such as Fermat. In some way I find this inspiring—Math really just is what we could express in many more words in regular English. Math is not categorically different reasoning from other kinds of reasoning, the symbols merely compact a very large amount of information and abstraction.

Current projects: Bayesian Statistics, Measure Theory, Automata

I've picked up a few Stats and Physics books that I just can't read, and it's because the Math is hard.  Hard in a weird way, to me anyway.  Knowing quite a good bit of Math it's strange to me that I'd pick up a book in another field and not understand the Math in it.  In the first chapter of an Econometrics book, casual appeal to a matrix form of Taylor's Theorem?  Matrix operations defined by the Dirac delta function when that never comes up as a significant topic in a Linear Algebra book. 

Well I think I need to just push harder on the Math.  I have fairly short patience tracing through the less mathematically rigorous material that is standard in these other subjects, used to build up intuition.  So I figure, more Math is always better and at the end of the tunnel I have a better chance of circling back to the other topics. 

So these days I've been working on Measure Theory and Probability Theory, in order to get me to that great Bayesian mountain: Jaynes' Probability Theory.  With Math muscles that big I'm sure most Econometric books should be no problem.  I should also pick up some advanced Linear Algebra books or maybe something on the Math of Physics, and eventually be ready to learn relativity.