matt grime
Science Advisor
Homework Helper
- 9,361
- 6
If you are now going to declare the "infinite environment is 2 through infinity and 0" then I don'et know what you're remotely getting at. Why is 1 not in this set? Because it is "the finite"? This is a departure from the usual ideas, and almost certainly wouldn't agree with whatever notion of numbers the bloke from princeton had.
I don't see whty you need to make a distinction between different symbols for the same object: 3=1+1+1.
You are reading more into it than I do (what I termed "personifiying", such as assigning terms like mysterious to 0).
If however, all this princetonian was doing was explaining to you that there is a initial ordinal, successor finite ordinals, and that the set of finite ordinals is infinite, then I can see what he was getting at.
Oh, and 1 is also a "neutral element" for the operation of mutliplication. Though I don't like those labels for objects - naming them the real and imaginary numbers is one of mathematics' worse choices.
A reason why some people do and some do not take 0 to be natural is that some wish for the naturals to be the"counting numbers" as, say, going back to the romans. Some wish to use 0. The point is that we can view the set of natural numbers, in either version, as a model of an "inductive set". Loosely a set with an initial term, and for every other term there is a "next" element.
Some start coutnign with 0 soem with 1. 0 comes about becuase of the use of the empty set to create the model in peano's axioms, I would suggest.
We could equally start with -1,0,1,...
All that matters is the ordering. It is only if we also wish to define addition to these that we must make more specifications. But the choice of how we add things is what makes 0 the identity.
There is a perfectly valid form of addition on N that says 1+1=3, and 2+2=5.
To see this, hold up two fingers and then two more fingers and you have "1+1=3" by coutnign the spaces between them. So 0 is only special with respect to your common notion of addition.
I don't see whty you need to make a distinction between different symbols for the same object: 3=1+1+1.
You are reading more into it than I do (what I termed "personifiying", such as assigning terms like mysterious to 0).
If however, all this princetonian was doing was explaining to you that there is a initial ordinal, successor finite ordinals, and that the set of finite ordinals is infinite, then I can see what he was getting at.
Oh, and 1 is also a "neutral element" for the operation of mutliplication. Though I don't like those labels for objects - naming them the real and imaginary numbers is one of mathematics' worse choices.
A reason why some people do and some do not take 0 to be natural is that some wish for the naturals to be the"counting numbers" as, say, going back to the romans. Some wish to use 0. The point is that we can view the set of natural numbers, in either version, as a model of an "inductive set". Loosely a set with an initial term, and for every other term there is a "next" element.
Some start coutnign with 0 soem with 1. 0 comes about becuase of the use of the empty set to create the model in peano's axioms, I would suggest.
We could equally start with -1,0,1,...
All that matters is the ordering. It is only if we also wish to define addition to these that we must make more specifications. But the choice of how we add things is what makes 0 the identity.
There is a perfectly valid form of addition on N that says 1+1=3, and 2+2=5.
To see this, hold up two fingers and then two more fingers and you have "1+1=3" by coutnign the spaces between them. So 0 is only special with respect to your common notion of addition.