What do you think about this book http://francis.williams.edu/record=b2104607 ?
Should we take that as a "No"?
What do you think about this book http://francis.williams.edu/record=b2104607 ?
Jsfisher by your reply it is clearly understood that there is a common reasoning to both X<Y non-immediate predecessor case and the sum of the members of set {0.9, 0.09, 0.009, …}, exactly because you say that "If 0.999... were not identical to 1, then you'd have an inconsistency between statements (1) and (2)."
Jsfisher by your reply it is clearly understood that there is a common reasoning to both X<Y non-immediate predecessor case and the sum of the members of set {0.9, 0.09, 0.009, …}, exactly because you say that "If 0.999... were not identical to 1, then you'd have an inconsistency between statements (1) and (2)."
...
Please do not reply to any part of it before you read all of it and then think about it, thank you.
It seems that you have missed the common reasoning of the difference between:You seem to have taken "immediate predecessor of Y" and replaced it with the gibberish "X<Y non-immediate predecessor case".
Why?
It seems that you have missed...
No, but you are ignoring the responses you receive. Instead, you just cycle back to one of your baseless assertions, still without any proof.
So, by using an example (based on a finite case) that between a finite amount of two distinct members, there is another member, Standard Math concludes (and I would say guesses) that this is also the case about an interval of the all non-finite elements.http://en.wikipedia.org/wiki/Continuum_(mathematics)
The term the continuum sometimes denotes the real line. Somewhat more generally a continuum is a linearly ordered set of more than one element that is "densely ordered", i.e., between any two members there is another, and it lacks gaps in the sense that every non-empty subset with an upper bound has a least upper bound.
Here is what we find at wikipadia:
So, by using an example (based on a finite case) that between a finite amount of two distinct members, there is another member
...Standard Math concludes (and I would say guesses)
...that this is also the case about an interval of the all non-finite elements.
"Any two members" is an (a) reasoning, and so is your proof by contradiction that is based on infinitely many finite Z < h < Y cases.
One finite case, jsfisher, exactly as each member of the set {0.9, 0.99, 0.999, ...} is < 1.Nope, just one case.
Be that as it may, you are still working from a baseless assertion. Are you going to support it any way?
One finite case, jsfisher, exactly as each member of the set {0.9, 0.99, 0.999, ...} is < 1.
Z < h < Y holds in the same manner as set {0.9, 0.99, 0.999, ...} does not have the largest member, and any member of
set {0.9, 0.99, 0.999, ...} is < 1.
Since we deal with the non-finite, then you have to show that your proof by contradiction holds also in the case that is equivalent to the sum of the non-finite set {0.9, 0.09, 0.009, ...}
...exactly because you claim that there is a big difference between sums over finite and infinite sequences (and your proof by contradiction is equivalent to what you call "sums over finite", where any given Z or h w.r.t Y is equivalent to any arbitrary member of the set {0.9, 0.99, 0.999, ...} w.r.t 1).
Jsfisher your proof does not hold exactly because it does not deal with the non-finite in the terms that were provided by you.
One finite case, jsfisher, exactly as each member of the set {0.9, 0.99, 0.999, ...} is < 1.
Z < h < Y holds in the same manner as set {0.9, 0.99, 0.999, ...} does not have the largest member, and any member of
set {0.9, 0.99, 0.999, ...} is < 1.
Since we deal with the non-finite, then you have to show that your proof by contradiction holds also in the case that is equivalent to the sum of the non-finite set {0.9, 0.09, 0.009, ...}, exactly because you claim that there is a big difference between sums over finite and infinite sequences (and your proof by contradiction is equivalent to what you call "sums over finite", where any given Z or h w.r.t Y is equivalent to any arbitrary member of the set {0.9, 0.99, 0.999, ...} w.r.t 1).
Jsfisher your proof does not hold exactly because it does not deal with the non-finite in the terms that were provided by you.
No, Doron the largest member of your first set would be 0.9999....
Well, that's the least upper bound on the membership, but just like +inf doesn't appear in the set of positive integers, 0.999... doesn't appear in the set {0.9, 0.99, 0.999, ...}.
Just one example is sufficient.
I thought that was what the "..." signified that it was an infinite progression and that 0.999... would be a member. Oh well, least upper bound and not a member, I can buy that. Still it doesn’t change my point that Doron can not argue 0.999... does not equal 1 without arguing that 3 times 1/3 does not equal 1.
This is the whole point.
Your Z < h < Y one example is based on some finite case (of Z and h) w.r.t Y , exactly as 0.99 or 0.999 are some finite cases w.r.t to 1.
In both cases we get "< 1" or "< Y" exactly because both cases do not deal with the non-finite (in the sense of 0.999...).
You have a room for h between Z and Y exactly because you do not deal with the non-finite (in the sense of 0.999...).
In other words, your proof by contradiction does not deal with the non-finite (in the sense of 0.999...).
This is the whole point.
Your Z < h < Y one example is based on some finite case (of Z and h) w.r.t Y , exactly as 0.99 or 0.999 are some finite cases w.r.t to 1.
In both cases we get "< 1" or "< Y" exactly because both cases do not deal with the non-finite (in the sense of 0.999...).
You have a room for h between Z and Y exactly because you do not deal with the non-finite (in the sense of 0.999...).
In other words, your proof by contradiction does not deal with the non-finite (in the sense of 0.999...).
0.999... is not "non-finite." It is just one number and therefore one case.
jsfisher said:Every element of your second set {0.9, 0.99, 0.999, ...} is the sum of a finite sequence of elements from your first set {0.9, 0.09, 0.009, ...}.
The value 1 is the sum of an infinite sequence of elements. Big difference between sums over finite and infinite sequences.
So you contradict yourself again jsfisher.
An infinite series is the sum of infinitely many things.
And you have to deal with the non-finite in X < Y case, exactly as you do in the case of the sum of infinitely many things.
If you do not do that then your reasoning does not deal with the non-finite, and this is exactly my argument about your proof by contradiction.
It simply does not deal with the non-finite, and therefore cannot be used in order to conculde anything about the non-finite X < Y case.
Jsfisher, your proof by contradiction is based on these trivial facts:
Any ordered collection of non-finite Q or R members does not have the largest member, if you take some object along the real line and exclude it from the collection.
In that case, this excluded object is > any member of the ordered collection.
Words mean things, doron, and what you have said here is trivially and colossally wrong. Consider the set {M : 1 <= M <= 2}. The number 0.5 is excluded from the set, yet the set has a largest member.
What did you really mean to say?
doronshadmi said:In that case, this excluded object is > any member of the ordered collection.
There is no requirement to deal with infinitely many cases. Just one case is sufficient to identify a contraction. Any additional cases would be redundant.
Your single case (where h has a room between Z and Y) is possible exactly because you do not deal with the non-finite.
There is no redunndancy here because your proof by contradiction is not related at all to [X<Y) non-finite interval.
You know exactly that we are talking about "<Y" of [X,Y), so save your words for this case, exactly because words mean things.
No, your first part, where you claim that the finite single case of X<h<Y can be used in order to conclude something about, [X,Y), this is nonsense.That part is just nonsense.[/indent]
Your statement was convoluted and, more importantly, blatantly wrong. Since a correct, clear, and even shorter wording was available, why did you go for the twisty maze option?
It is simple and clear enough, but as usual you try to take the focus away from the failure of your "proof by contradiction" that does not hold water ( as clearly shown in http://www.internationalskeptics.com/forums/showpost.php?p=4783540&postcount=3380 ), because your Z<h<Y construction has nothing to do with the non-finite [X,Y) interval.In that case, this excluded object is > any member of the ordered collection.
No, your first part, where you claim that the finite single case of X<h<Y can be used in order to conclude something about, [X,y), this is nonsense.
Really??I didn't try to conclude anything about [X,Y). That's another of your misrepresentations.
jsfisher said:http://www.internationalskeptics.com/forums/showpost.php?p=4721582&postcount=2864
Assuming X < Y < Z, and any reasonable definition for "immediate successor", then, like it or not, doron, Y is in fact an immediate successor to [X,Y)
It is simple and clear enough, but as usual you try to take the focus away from the failure of your "proof by contradiction" that does not hold water ( as clearly shown in http://www.internationalskeptics.com/forums/showpost.php?p=4783540&postcount=3380 ), because your Z<h<Y construction has nothing to do with the non-finite [X,Y) interval.
This is another twisted way to get away from your failure, becuae you clearly know that we are talking here only about Standard Math framework where 0.999...=1.jsfisher said:Also, if, as you insist, 0.999... < 1, then what is 1 - 0.999...? And if we let d = 1-0.999..., what would 0.999... + d/2 be?
Again [X,Y) is a finite interval
Nonesene.The Man said:Your whole notion seems to be you just simply and continually denying the fact that a finite interval (in the reals) would have a infinite amount of real numbers as possible values for h.
Ok, I used the wrong name, but not names are important here…
…but the fact that [X,Y) has infinitely many elements that we have to deal with.
Nonesene.
You simply do not get the difference between infinitely many finite cases (where each h is such a case that is < Y) and the real non-finite case, where "<Y" does not hold (exactly as can be found in the case of 0.9+0.09+0.009+...=Y=1).
Really??I didn't try to conclude anything about [X,Y). That's another of your misrepresentations.
jsfisher said:http://www.internationalskeptics.com/forums/showpost.php?p=4721582&postcount=2864
Assuming X < Y < Z, and any reasonable definition for "immediate successor", then, like it or not, doron, Y is in fact an immediate successor to [X,Y)
The last dialog actually started because you claimed that Y is an immediate successor of [X,Y). Go on jsfisher and continue to air your lies.
What the heck do you think you’re talking about?
Look at this:
http://www.internationalskeptics.com/forums/showpost.php?p=4767201&postcount=3303
http://www.internationalskeptics.com/forums/showpost.php?p=4781744&postcount=3370
http://www.internationalskeptics.com/forums/showpost.php?p=4781767&postcount=3371
http://www.internationalskeptics.com/forums/showpost.php?p=4781867&postcount=3372
and please stop your zigzag.
Is Y is a mamber of set {X : X < Y}?Yes, really. The proof showed that the set {X : X < Y} has no largest member. There was no half-open finite interval [X, Y) anywhere in the proof.
No, you are unclear of how that would works, so please direct us to some professional source that clearly talks about Y as am immediate successor of [X,Y) (as you claim).Sure. Note the qualifier, 'any reasonable definition for "immediate successor"'. Further clarity was provided in a later post as to how the successor (predecessor) concept would be extended to include intervals along with the reals.
Are you unclear as to how that would work? It is really very simple.