In his very interesting article
http://www.austms.org.au/Gazette/2006/Jul06/jcrossley.pdf Prof. John Newsome Crossley writes: "
Mathematics has no end, and many ends".
I wish to share my view of the, so called, paradox.
Cantor defined the notion of actual infinity by providing the transfinite mathematical universe, which uses accurate measurement units (transfinite cardinality like aleph-0 etc.) of the number of members of sets.
Godel was a Platonist, which gave him the motivation to prove that no axiomatic mathematical system that is strong enough to deal with Arithmetic, can be both complete (can prove its all true statements within its own framework) and consistent (avoiding contradictions). In other words, he wished to prove that the symbolic formal approach is insufficient in order to fully express (fully capture) the Platonic realm (according to Godel's view, the symbolic formal approach is subjective with respects to the objectivity of the Platonic realm).
By following Godel approach, I wish to extend the notion of symbolic formal approach, such that it will be abstractly understood both by verbal_symbolic AND visual_spatial mathematician's skills.
For example, {} is a mathematical expression of the, so called, empty set.
The cardinality of a given set is defined by the number of its members, so in the case of {} the cardinality is |{}| = 0.
0, in this case, means that the outer "{" and "}" or the void between {} expression, are not in the scope of (abstract or non-abstract) existing members (more precisely, "{" and "}" is "above" existing members, and the void between {} expression is "below" existing members).
In other words, we have used here an abstraction that combines verbal_symbolic AND visual_spatial mathematician's skills in order to understand {}.
By following this abstract approach one immediately understands that the inner {} of {{}} expression, is not extensible into the outer "{" and "}" AND not reducible into the void between the inner {} expression, and so is the case about {…{…}…} expression (the inaccessibility of the number of levels of (abstract or non-abstract) existing members, to the Platonic realm).
{{}} or {…{…}…} demonstrate that given mathematical universe, the actually infinite (expressed by the outer "{" and "}") or the actually finite ("expressed" by the void between {} expression) are inaccessible to any number of (abstract or non-abstract) existing members.
By following this notion one immediately understands that the Cantorean notion of actual infinity, which is based on the notions of accurate values of the number of members (aleph-0, etc.), is not satisfied.
In other words, the Platonic realm in itself is "above" and "blow" members, where the level of members is inaccessible to it.
So, at the level of members (or more generally, the level of collections) "
Mathematics has no end, and many ends", but it is not a paradox if one uses his\her verbal_symbolic AND visual_spatial skills, in order to be aware of the Platonic realm w.r.t the level of collections (which means that the mathematician's awareness is a significant factor of the mathematical research and its (abstract or non-abstract) results, unlike the "hard" Platonic view).