Roger Granet

Consider an infinite set of discrete, finite-sized solid balls (i.e., elements) extending in all directions forever. Here, infinite set is not meant so much in the abstract, mathematical sense but in more of a physical sense where the balls have physical size and physical location-type relationships with their neighbors. In this sense, the set is used as an analogy for our possibly infinite physical universe. Two observers are viewing this set. One observer is internal to the set and is of the same finite size scale as the ball elements. Another observer is external to the set and is infinite in size relative to the balls and observer within the set. This observer is of the same size scale as the set as a whole. What do these sets look like to the two observers? The finite-sized (relative to the balls inside the set) observer within the set would view the set as a space composed of discrete, finite-sized objects. The external infinite-sized (relative to the inside the set) observer would view the very same set as a continuous space and would see no distinct elements within the set. How does this relate to us? First, the differing views of set N as being composed of a discrete versus continuous space may be related to the differing views of spacetime as discrete and continuous. Second, the perspective of the observer would have an impact on the assignment of a cardinality to an infinite set.

A resolution to the Russell Paradox is presented that is similar to Russell's “theory of types” method but is instead based on the definition of why a thing exists as described in previous work by this author. In that work, it was proposed that a thing exists if it is a grouping tying "stuff" together into a new unit whole. In tying stuff together, this grouping defines what is contained within the new existent entity. A corollary is that a thing, such as a set, does not exist until after the stuff is tied together, or said another way, until what is contained within is completely defined. A second corollary is that after a grouping defining what is contained within is present and the thing exists, if one then alters what is tied together (e.g., alters what is contained within), the first existent entity is destroyed and a different existent entity is created. A third corollary is that a thing exists only where and when its grouping exists. Based on this, the Russell Paradox's set R of all sets that aren't members of themselves does not even exist until after the list of the elements it contains (e.g. the list of all sets that aren't members of themselves) is defined. Once this list of elements is completely defined, R then springs into existence. Therefore, because it doesn't exist until after its list of elements is defined, R obviously can't be in this list of elements and, thus, cannot be a member of itself; so, the paradox is resolved. This same type of reasoning is then applied to Godel's first Incompleteness Theorem. Briefly, while writing a Godel Sentence, one makes reference to a future, not yet completed and not yet existent sentence, G, that claims its unprovability. However, only once the sentence is finished does it become a new unit whole and existent entity called sentence G. If one then goes back in and replaces the reference to the future sentence with the future sentence itself, a totally different sentence, G1, is created. This new sentence G1 does not assert its unprovability. An objection might be that all the possibly infinite number of possible G-type sentences or their corresponding Godel numbers already exist somehow, so one doesn't have to worry about references to future sentences and springing into existence. But, if so, where do they exist? If they exist in a Platonic realm, where is this realm? If they exist pre-formed in the mind, this would seem to require a possibly infinite-sized brain to hold all these sentences. This is not the case. What does exist in the mind is the system for creating G-type sentences and their corresponding numbers. This mental system for making a G-type sentence is not the same as the G-type sentence itself just as an assembly line is not the same as a finished car. In conclusion, a new resolution of the Russell Paradox and some issues with proofs of Godel's First Incompleteness Theorem are described.

Suppose one has a system, the infinite set of positive integers, P, and one wants to study the characteristics of a subset (or subsystem) of that system, the infinite subset of odd positives, O, relative to the overall system. In mathematics, this is done by pairing off each odd with a positive, using a function such as O=2P+1. This puts the odds in a one-to-one correspondence with the positives, thereby, showing that the subset of odds and the original set of positives are the same size, or have the same cardinality. This counter-intuitive result ignores the “natural” relationship of one odd for every two positives in the sequence of positive integers, which would suggest that O is one-half the size of P. However, in the set of axioms that constitute mathematics, it is considered valid. Fair enough. In the physical universe (i.e., the starting system), though, relationships between entities matter. In biochemistry, if you start with an organism, say a rat, and you want to study its heart, you can do this by removing some heart cells and studying them in isolation in a cell culture system. But, the results often differ compared to what occurs in the intact animal because studying the isolated cultured cells ignores the relationships in the intact body between the cells, the rest of the heart tissue and the rest of the rat. In chemistry, if a copper atom were studied in isolation, it would never be known that copper atoms in bulk can conduct electricity because the atoms share their electrons. In physics, the relationships between inertial reference frames in relativity, and observer and observed in quantum physics can't be ignored. Relationships matter in the physical world, but the mathematics of infinite sets is still used to describe it. Does this matter? It seems to, at least in physics. Infinities cause numerous problems in theoretical physics such as non-renormalizability and problems in unifying quantum mehanics and general relativity . This suggests that the pairing off method and the mathematics of infinite sets based on it are analogous to a cell culture system or studying a copper atom in isolation if they are used in studying the physical universe because they ignore the inherent relationships between entities. In the real, physical world, the natural, inherent, relationships between entities can't be ignored. Said another way, the set of axioms that constitute abstract mathematics may be similar but not identical to the set of physical axioms by which the real, physical universe runs. This suggests that the results from abstract mathematics about infinities may not apply to or should be modified for use in physics.

An age-old proposal that to be is to be a unity, or what I call a grouping, is updated and applied to the question “Why is there something rather than nothing?” (WSRTN). I propose the straight-forward idea that a thing exists if it is a grouping which ties zero or more things together into a new unit whole and existent entity. A grouping is visually manifested as the surface, or boundary, of the thing. In regard to WSRTN, when we subtract away all existent entities, the resulting "nothing" is the entirety, the all. That “nothing is the complete definition of the situation. An entirety/all is a grouping, meaning that “nothing” is itself an existent entity. One objection might be that being a grouping is a property so how can it be there in "nothing"? The answer is that it is only once all known existent entities, including all properties and the mind visualizing this, are removed does this “nothing” gain the entirety/all grouping property. Therefore, the very lack of all existent entities is itself what allows this new property to be present and thereby to allow "nothing" to be an existent entity. This entirety/all grouping property is inherent, or intrinsic, to “nothing” and cannot be removed to get a more pure “nothing”. While the ideas that “nothing” is a “something” that exists necessarily isn’t new, the grouping, or any, mechanism for how this can be so is.