Cantor On The Cardinality Of Natural Numbers

1169 Words3 Pages

On considering the comparison of cardinalities of the set of natural numbers and real numbers, we turn to Cantor’s Diagonal Argument and Cantor’s supposed proof that there exist more real numbers than natural numbers. In this essay I will firstly outline this argument and continue by setting out some of its implications. I next consider Wittgenstein and his remarks on Cantor’s argument, namely the abstract nature of transfinite numbers, the use of the term infinite and the assumption that all sets may be well ordered. Finally I will conclude that whilst Wittgenstein considers Cantor’s argument to exhibit some merit, there are fundamental flaws in these concepts which prohibit one from wholly accepting Cantor’s conclusion. To outline Cantor’s …show more content…

This number is therefore not an element of the set of the natural numbers. Thus the argument suggests there exist more real than natural numbers even when considering an infinite list of the naturals. Hence the result is given that the real numbers cannot be put into one-one correspondence with the natural numbers. This is that the set of real numbers is non-denumerable. Since we have the definition that two sets have the same cardinality if and only if there is a one-one correspondence between their elements, Cantor believed that he had shown that there is variation between the cardinality of the set of natural numbers and the set of real numbers . Defining the transfinite cardinal of the natural numbers as ℵ_0, Cantor concluded that the different cardinality of the real numbers suggests the existence of another transfinite number, larger than ℵ_0.Cantor proved the theorem 2^(ℵ_0 )>ℵ_0 stating that 2^(ℵ_0 )=ℵ_1 which Cantor defined as the cardinality of the set of the real numbers. Further, based on this idea, Cantor gave that in fact there exists an infinite number of transfinite cardinal numbers. Thus there exists an infinite number of …show more content…

Despite the supposed proof of Cantor’s theorem, Wittgenstein commented on the use of this statement in accordance with the transfinite numbers. In his Remarks on the Foundation of Mathematics, Wittgenstein noted that whilst Cantor may say 2^(ℵ_0 )>ℵ_0 it is “a piece of mathematical architecture which hangs in the air, and looks as if it were, let us say, an architrave, but not supported by anything and supporting nothing” . Although we may consider Cantor’s theorem, it in fact does not inform us as to the context of 2^(ℵ_0 ). Hence we have no more information as to this apparent cardinality of the real numbers. With no concept as to what sense or concept we are actually giving to this cardinality, we can say very little about the number of elements in the set of real numbers. Therefore to suggest conclusively that there are more real numbers than there are natural numbers, with no account for what this means, seems ambiguous and as a result

More about Cantor On The Cardinality Of Natural Numbers

Open Document