jsfisher
ETcorngods survivor
- Joined
- Dec 23, 2005
- Messages
- 24,532
Please direct me to the point I were (mis-)responding to.
You are having that much trouble figuring out what part of my post you responded to?
Please direct me to the point I were (mis-)responding to.
I agree with you that I wrongly assumed that your professional level of mathematics enables you to understand that {a,b,c,...} or {{},{a,b,c,...},...} are expressions that are used "without loss of generality".
You wrote that I were (mis-)responding to something, so please direct me to the part of your post that were (mis-)responded by me.You are having that much trouble figuring out what part of my post you responded to?
The claim that philosophy has no impact on the math, is simply your philosophical point of view, so?Whether you accept or agree with Cantor on a philosophic basis has no impact on the math.
You wrote that I were (mis-)responding to something, so please direct me to the part of your post that were (mis-)responded by me.
The claim that philosophy has no impact on the math, is simply your philosophical point of view, so?
{a,b,c,...} or {{},{a,b,c,...},...} are easily understood as A and P(A) expressions without a loss of generality, unless one insists to deal with notations instead of notions, and probably this is your case.That's the thing about Mathematics.
Not at all. It is the one involving P(A) members that is not paired with any A member, such that both P(A) and A members are inaccessible to the platonic common objective (discovered) level of actual infinity (notated the outer "{" and "}" in both sets).If it is the one involving the cardinality of a set and its power set, then there is a whole preface you need to provide about cardinality. Yet another thing you omitted.
It is the one involving P(A) members that is not paired with any A member, such that both P(A) and A members are inaccessible to the platonic common objective (discovered) level of actual infinity (notated the outer "{" and "}" in both sets).
{a,b,c,...} or {{},{a,b,c,...},...} are easily understood as A and P(A) expressions without a loss of generality, unless one insists to deal with notations instead of notions, and probably this is your case.
That there is no bijection between P(A) and A members, which is a relative measure that is inaccessible to the absolute level of the platonic common existence of both sets (which is notated by the outer "{" and "}" of {a,b,c,...} or {{},{a,b,c,...},...} that are easily understood as A and P(A) expressions without a loss of generality).Edited by full replacement:
So, what is the statement of Cantor's Theorem you had in mind?
jsfisher said:... defining cardinality of sets in terms of numbers isn't appropriate. Instead, we can define it as a relative measure, the comparison of the cardinality of two sets, and thereby avoid the use of numbers (until later).
"There exists set X" is only a tautology, where what comes after "such that" is not only a tautology (and in the case of Cantor's Theorem, J's "existence" involved with contradiction, where this contradiction has no impacted on the platonic common level of existence of both P(A) and A, because this common level of existence is only a tautology).

That there is no bijection between P(A) and A members, which is a relative measure that is inaccessible to the absolute level of the platonic common existence of both sets (which is notated by the outer "{" and "}" of {a,b,c,...} or {{},{a,b,c,...},...} that are easily understood as A and P(A) expressions without a loss of generality).
As long as one does not understand that platonic existence is a discovery that does no need any meaning in order to exist (it is a tautology of existence that does not need any further interpretation or meaning), one wrongly gets this discovery only in terms of subjective invented multiple interpretations and meanings that are not the discovered tautology of existence.
No jsfisher, once again you get discovery in terms of invention.Excellent. You finally admit your invented terminology has no meaning. On this we can all agree.
The claim that philosophy has no impact on the math, is simply your philosophical point of view, so?
It is gibberish from your one level reasoning of set, which does not distinguish between the discovered level of A and P(A) (notated by the outer "{" and "}") and the invented level of A and P(A) (notated by their members, and the mapping (which is not bijective, in this case) is done at the invented level of members of these sets).By the way, Doron, do you realize that a bijection between A and P(A) isn't the same as between the members of A and P(A)? The latter is gibberish.
1. Axioms in the framework of mathematics do not need any proof, otherwise they are not axioms, in the first place.You are the one that is claiming philosophy has an impact on math. Too bad you haven't provided any proof of that. Lots of claims, no proof.
As long as one does not understand that platonic existence is a discovery that does no need any meaning in order to exist (it is a tautology of existence that does not need any further interpretation or meaning), one wrongly gets this discovery only in terms of subjective invented multiple interpretations and meanings that are not the discovered tautology of existence.