Let's review. Doron presented us with two mappings:
A ↔ {A} | Provides 1 ↔ {}
A ↔ { } | Provides 2 ↔ {A}
We have first A ↔ {A} and A ↔ { }. That's not bijective. Heck, that's not even functional since A has two possible mappings. No bijection here.
Then we have 1 ↔ {} and 2 ↔ {A}. Also not bijective, at least not between the natural numbers and the members of P({A}). There'd need to be a mapping for all of the natural numbers, not just two of them. No bijection here, either.
Another Doron masterpiece of failure.
jsfisher you simply repeat on your separation approach of the two mappings (you get only one mapping at a time), so by using this separation method, there is no wonder that you can't define the bijection between 1,2 and {},{A} objects.
Your problem is found right there:
jsfisher said:
doronshadmi said:
Jsfisher, along this thread you are missing a very simple fact, which is:
Any given set it is first of all a collection of different objects.
Why do you belabor this trivial thing? Has anyone said otherwise?
jsfisher, it is a trivial thing for you exactly because you are not using your reasoning in order really understand what enables the existence of a collection of different objects.
For you an expression like "connectivity AND isolation" is meaningless exactly because your reasoning is not involved in any further research of the fundamental conditions that enable the existence of sets (you take their existence obviously).
A direct result of this (indeed) trivial approach, prevents from you to understand the non-trivial conditions that enable the existence of sets, in the first place.
In other words, jsfisher, What You See Is What You Get, and in this case you see triviality and therefore there is no wonder that you indeed get triviality.
-------------------------------------
By understanding sets as a result of connectivity AND isolation, one enables to use methods, which are inaccessible to any one that does not research the fundamental conditions that enable the existence of sets.
One of these methods is Cantor's construction method, which is based on the fact that sets are the results of connectivity AND isolation.
For example, finite sets are the result of stronger isolation w.r.t connectivity under connectivity AND isolation comprehensive and one framework.
Being a finite set is being isolated by strict amount of objects, such that there can be differences of these amounts under comparison (where comparison is not possible without the connectivity accept among isolated objects, under connectivity AND isolation comprehensive and one framework).
By using Cantor's construction method as a tool of connectivity AND isolation comprehensive and one framework, one enables to define any wished degree of mapping between any two given sets, where the set of natural numbers is used as a dynamic measurement tool for any mapping degree between two sets with different objects.
This dynamic measurement is useful for both finite or infinite sets, where in the case of finite sets, the aspect of connectivity is expressed as the tendency for balance between the considered sets, where this balance is fully expressed as a bijective mapping.
In the case of finite sets, this mapping has finite amount of results, which exist between non-bijection and bijection.
In the case of infinite sets, this mapping has infinite amount of results, which exist between non-bijection and bijection.
In both cases Cantor's construction method is used as the main tool.
Furthermore, by understanding that connectivity is a building-block of sets exactly as isolation is a building-block of sets under connectivity AND isolation comprehensive and one framework, one enables to understand that both building-blocks must be true (
both of them are present) otherwise "connectivity AND isolation" is a false proposition.
By understanding this logical truth, one enables to understand that no amount of isolated objects is connectivity, and as a result given any set, its amount can't be summed into connectivity, such that given any set, it is an ever increasing form of existence (abstract or not).