Saturday, June 15, 2013

Disproof of Cantor's Diagonal Argument

A series of sets of infinite sequence is said to resemble the following:

s1 = (0, 0, 0, 0, 0, 0, 0, ...)
s2 = (1, 1, 1, 1, 1, 1, 1, ...)
s3 = (0, 1, 0, 1, 0, 1, 0, ...)
s4 = (1, 0, 1, 0, 1, 0, 1, ...)
s5 = (1, 1, 0, 1, 0, 1, 1, ...)
s6 = (0, 0, 1, 1, 0, 1, 1, ...)
s7 = (1, 0, 0, 0, 1, 0, 0, ...)

It is claimed that there exists a set which is not included in the list, which is simply the abversion of the nth-most digit in each set (where n resembles the set number).

What has not been considered is that the sets are not value-ordered as stated. In other words, what has been used is the most random form of sequence for the sets. The abversion then represents a sequence which is provable in the infinite, but not in the finite.

What is difficult about an infinite set when it is organized? Such a set is said to have infinite value without exception. Or perhaps the concern is the 'volume' of the set? Isn't it possible that Cantor is confusing one infinite with another? Infinite volume may not by countable, but infinite volume does not assume quantity at all. Perhaps it is about fundamental issues, rather than mathematics.

Here is a more adequate order:

0000
0101
1010
1111

Still more accurate is the following

0000
0001
0011
0111
1111

But, in an infinite set, why wouldn't the components consist of fractions?

For example,

010 could become
0, 1/2, 1/2, 0
0,1/4, 1/4, 1/4, 1/4, 0 etc.?

By assuming the numbers have no space, Cantor may be assuming that the numbers have no quantity.

Why would the boundary be a set quantity when there is no difference in the values? In other words, why wouldn't some parts of the set be larger than others? After all, that is already how the set is defined. That is the micro problem. But there is also a macro problem. In the case of infinite sets, there is a kind of Achilles and Tortoise problem in addressing not the adequate number of sets, but rather the contents of those sets. This may cause confusion if it is not understood, e.g. if the order of the sets is arbitrary, then we must conclude that the contents are arbitrary. But if the order of the sets is ignored, the conclusion is that an arbitrary result is rational, and explicative. But that is not the case.

In the case of an infinite set these are uncountable sets, because they must be counted from last to first to ascertain value. This is what is called the entity problem in mathematics. In other words, several conflicts emerge: [1] There is a difference between a decimal set (a 0-dimensional value) and a first-in-sequence set, the second type being more geometric and less arbitrary, [2] The notion of set is affected by the concept of set, e.g. separability versus repetition and potentially still further concepts, in the case that the numbers are conceptualized, [3] The notion of set may admit to areas of numbers more than sequence of numbers, unless these sequences are seen to be 0-dimensional, or to describe multiple sets simultaneously.

The general observation is that there is a degree of arbitrariness in considering sets as though they exist in a categoric sequence without making efforts to address the quantity property of such categoric organization.

Again, it seems that the order given in Cantor's diagonal argument, at least within wikipedia, is too arbitrary to constitute a categorical set. This may be called the categorical criticism.

And, if an actual categorical organization can be conceptualized, how is it uncountable? It must simply be determined that it has volume when it is infinite.

No comments: