From Mikusinski (and Adrian) With Love
I explained in a post before that, that I left out a number of steps, and I certainly rounded off some edges in the interest of trying to make it somewhat realistic. In general, though, I think the explanation was sound.
If you are interested, this is what I was working with, from Mikusinski (emphasis in original; also, I'm using the phrase "is an element of," rather than the symbol, because that symbol really messes with my layout):
The result of multiplication of two natural numbers x and y is called the product of x and y and is denoted by xy (or sometimes by x &bull y). The product of x and y is defined by induction as follows:I do have at least one more post up my sleeve about all of this. And the reason I do is because I love talking and writing about this kind of stuff.
(&bull) x &bull 1 = x;
(&bull &bull) x(y + 1) = (xy) + x.
Let X be the set of all natural numbers y such that the product xy is uniquely defined for every natural number x. By (&bull) we see that 1 is an element of X. Consider some y such that y is an element of X. Then xy is uniquely defined and so is (xy) + x because of the uniqueness of addition. Thus, by (&bull &bull), the product x(y + 1) is uniquely defined, which proves that y + 1 is an element of X. By the Induction Principle the set X contains all natural numbers, so the product xy is uniquely defined for all pairs of natural numbers.
Hey, I even enjoy a good snark, even when I disagree with it (especially when it employs an analogy; I love analogies). This is from Adrian, defending the sacred unity of repeated addition and multiplication:
There is nothing more exactly identical in all of mathematics other than perhaps something like "0=0". Saying otherwise would be like saying that
"A triangle is not a three sided polygon -- a triangle is a triangle. That it has three sides quickly follows and 'it works', but it isn't part of the definition, and it is damaging and just false to say that 'a triangle has three sides'."
Preposterous.
Labels: education, general, mathematics







