Hey, Doron, still waiting for the definition of 'crisp' and some example crisp ids.
This list clearly shows that jsfisher cannot understand any of my arguments.While Doron is off googling to find things he can misinterpret into a post, permit me to say this has been a productive week. Doron, as he shared his wisdom, provided the following additional insights of doronetics:
- An interval, [X,Y) for example, is a real number.
- A collection with cardinality > 1 is equivalent to a collection of all distinct elements is equivalent to an interval.
- If you have A < C, then you cannot have A < B < C.
- For any real number Y, the immediate predecessor of Y is Y.
This brings my list up to an even 20. Did I miss any from this week?
Again, your proof has nothing to do with the construction [X,Y] because you force on it Transitivity (a,b,c construction (A < B < C)).Why are you changing the subject to "immediate predecessors"? The proof was whether {X : X<Y} had a largest element.
[X,Y] is exactly a,b construction (A< B), but your notinless game with symbols can't get it.If you have A < C, then you cannot have A < B < C.
Hey, Doron, still waiting for the definition of 'crisp' and some example crisp ids.
Assume the set {X : X<Y} does have a largest element, Z.
For Z to be an element of the set, Z < Y.
Let h be any element of the interval (Z,Y).
By the construction of h, Z < h < Y.
You have missed the determination that OMPT.pdf can be understood only by reading all of it, in order to understand any part of it.
While Doron is off googling to find things he can misinterpret into a post, permit me to say this has been a productive week. Doron, as he shared his wisdom, provided the following additional insights of doronetics:
- An interval, [X,Y) for example, is a real number.
- A collection with cardinality > 1 is equivalent to a collection of all distinct elements is equivalent to an interval.
- If you have A < C, then you cannot have A < B < C.
- For any real number Y, the immediate predecessor of Y is Y.
This brings my list up to an even 20. Did I miss any from this week?
Doron, a few simple questions:
If h is an element of the interval (Z,Y), can we not conclude h < Y?
If h is an element of the interval (Z,Y), can we not conclude Z < h?
This question is irrelevant to [X,Y] case because [X,Y] case is based of a,b construction.
By a,b construction X of [X,Y] case is not the immediate predecessor of Y.
Here is some analogy that may help you to understand my claim....
Ok, but I didn't ask about the "[X,Y] case".
As always your notions simply fail when applied to themselves, so mush so that you require them not to be applied to themselves ...
Since we are talking ONLY about the intermmediate predecessor of Y of the non-finite [X,Y] interval (a,b construction) of all members between X and Y, then any question that is not related to [X,Y] is irrelevant.
Are you totally unable to follow a discussion?
Please ask relevent questions.
jsfisher said:Assume the set {X : X<Y} does have a largest element, Z.
For Z to be an element of the set, Z < Y.
Let h be any element of the interval (Z,Y).
No, your notions fail to get OM, and as a result you can't conclude any meaningful thing about it.
This question is irrelevant to [X,Y] case because [X,Y] case is based of a,b construction.
By a,b construction X of [X,Y] case is not the immediate predecessor of Y.
Here is some analogy that may help you to understand my claim.
We know that no infinitely many red photons can cause the photoelectric effect, simply because no red photon has the required energy.
Now think about h < Y or Z < Y as two finite cases (red photons), where no finite case (a red photon) can be used to conclude something about [X,Y] non-finite case.
This inability to conclude something about the non-finite, by using infinitely many finite cases, is a fundamental problem of the mathematical science if the term all is used on a non-finite collection, because no finite case alone has the quality of a non-finite collection of all distinct members.
Furthermore, the notion of transfinite cardinal is based on the idea that its value is greater than any finite cardinal, so if Standard Math agrees with this notion, it must agree with the notion that no finite a,c case (for example h<Y or Z<Y) can conclude (has the quality to conclude) something about the non-finite a,c case (for example [X,Y] , which is the non-finite interval of the all members between distinct X and distinct Y).
Moreover, Standard Math also accepts the notion that since all irrational R members are non-countable, then even if there is some hypothetic way to symbolize non-finite irrational R members, still this set of symbols will have a cardinality of aleph0, and most of the irrationa R members will not be symbolized.
In other words, Y of the non-finite interval [X,Y] (of the all members between distinct X and distinct Y) must have an immediate predecessor by Standard Math, even if it cannot be proved or disproved by it.
Again:
We are in the same state of Godel's incompleteness theorems, where things must be true but cannot be proved or disproved within the deductive framework that deals with the non-finite.
What you mean like here…
Where you claim “This inability to conclude something about the non-finite, by using infinitely many finite cases..” then proceed to assert your ‘conclusion’ about ‘the non-finite by using infinitely many finite cases’. Concluding that you ‘can not conclude’ is still a conclusion Doron. Although, typical of your notions, it is a contradictory conclusion. Looks like “can’t conclude any meaningful thing about it” is the Doron catch phrase of the day. Oh and in case you missed it, we can conclude something about the infinite “by using infinitely many finite cases” namely that the number of finite cases used is, well, infinite.
Actual infinity existence is beyond the collection's existence.
Talking ONLY about immediate predecessors? Nonsense.
The most recent topic of discussion was my proof that the set {X : X < Y} has no greatest element. You objected to the proof with all sorts of fabulous claims.
If you'd now like to accept the proof as written, that would be great, and we can return to your immediate predecessor discussion. However, I doubt you would concede the point. So, let's return to my proof, up to but not including the point of your objection:
Are we fine up to here, or do we need to step back further? If things are good up until this point, please answer the following two questions:
- If h is an element of the interval (Z,Y), can we not conclude h < Y?
- If h is an element of the interval (Z,Y), can we not conclude Z < h?
You do not get it jsfisher, so let me help you.
Your failure is right at the first assumption, where you assume that a finite case of [X,Y] can be used in order to conclude something about the non-finite case of [X,Y].
You've said this before. Nothing's changed; it still isn't true.