Content deleted Content added
No edit summary |
Logical Flaw in Cantor's argument |
||
Line 6:
:I've looked up Cantor's 1874 paper in ''Journal für die Reine und Angewandta Mathematik'', and the argument given in that article is indeed the one given here. See also Joseph Dauben's book about Cantor. This was indeed his first proof of this result. [[User:Michael Hardy|Michael Hardy]] 22:17, 12 Jan 2004 (UTC)
'''This "proof" is logically flawed'''
The constructivists’ counterargument to the preceding “proof” of the “uncountability” of the set of all real numbers hinges on their firm belief that there is no greatest natural number --- hence, there is no last term in the sequence {Xn}. The completed constructibility of the monotone sequences {An} and {Bn} from {Xn} is also dubious for the same reason --- hence, the limit point C is “unreachable” (that is, it perpetually belongs to the elements of R denoted by the 3-dot ellipsis “. . .”). One could state in more familiar terminology that C is an irrational number which does not have a last, say, decimal expansion digit since there is no end in the progression of natural numbers.
For a simple counterargument, even granting arguendo Georg Cantor’s own hierarchy of transfinite ordinal numbers, we merely note that the infinite set whose size is “measured” by the ordinal number, say, w+1 = {0,1,2,3,...,w} (here, w is omega)) is also countable. To elaborate, “ordinal numbers” are “order types of well-ordered sets”. A well-ordering is an imposition of order on a non-empty set which specifies a first element, an immediate successor for every “non-last element”, and an immediate successor for every non-empty subset that does not include the “last element” (if there is one). For examples:
(1) The standard imposition of order on all the non-negative rational numbers:
{ 0, . . ., 1/4, . . ., 1/2, . . ., 3/4, . . ., 1, . . ., 5/4, . . ., 3/2, . . ., 7/4, . . ., 2, . . ., 9/4, . . . }
is not a well-ordering — because, for example, there is no positive rational number immediately following 0.
(2) The following imposition of order on all the non-negative rational numbers is a well-ordering but not a countable ordering or enumeration:
{ 0, 1, 2, 3, . . ., 1/2, 3/2, 5/2, . . ., 1/3, 2/3, 4/3, . . ., 1/4, 3/4, 5/4, . . ., 1/5, 2/5, 3/5, . . . }
(3) The following imposition of order on all the non-negative rational numbers is a well-ordering that is also a countable ordering or enumeration:
{ 0, 1, 1/2, 2, 1/3, 3, 1/4, 2/3, 3/2, 4, 1/5, 5, 1/6, 2/5, 3/4, 4/3, 5/2, 6, 1/7, 3/5, 5/3, 7, . . . }
It must be emphasized that, while the first two representations are not countable ordering or enumeration of the non-negative rational numbers, nevertheless, the set of non-negative rational numbers is countable as the third representation shows.
Rigorously, let us grant arguendo Georg Cantor’s claim of completed totality of infinite sets. The sequences {An} and {Bn} were defined to form a sequence of nested closed intervals [An,Bn] that “microscopes” to the limit point C which must be a member of R. The assumption that all the elements of R can be enumerated in the sequence {Xn} carries with it the imposition of a countable ordering --- which deviates from the standard ordering based on the numerical values --- of the members of R. Given an arbitrary countably ordered sequence {Xn}, by the very definition of the construction of {An} and {Bn} stipulated by Georg Cantor, there is only one sequence of nested closed intervals [An,Bn] that can be so constructed --- hence, only one same limit point C for both {An} and {Bn}. In other words, the enumeration scheme of the sequence {Xn} determines exactly the sequences {An} and {Bn} as well as the limit point C. A rearrangement of a finite number of terms of {Xn} is still a countable ordering of the elements of R --- if a rearrangement results in different sequences {An} and {Bn}, then a different limit point C is obtained but, always, there is only one limit point C that is “excluded” in any specified sequence {Xn}. We emphasize that in Cantor's tenet of completed totality of an infinite set, the limit point C of both the sequences {An} and {Bn} is known "all at once" in advance.
Therefore, Georg Cantor could have just as well specified the also countable set {X1,X2,X3,...} U {C} = {X1,X2,X3,...,C} [note that there is no real number immediately preceding C] --- instead of the standard enumeration {X1,X2,X3,...} that he assumed in the first sentence of his “proof”— as having all of R as its range so that C is clearly not in the sequence {X1,X2,X3,...} but C is in R = {X1,X2,X3,...,C} and no contradiction would be reached.
Furthermore,
{Xn} = {Yn} U {An} U {Bn} U {C} [1]
where the sequence {Yn} consists of all the terms Xi of the sequence {Xn} that were bypassed in the construction of the sequences {An} and {Bn}. If we accept Cantor’s reductio ad absurdum argument above, then we deny equality [1] and the easily proved fact that the union set of a finite collection of countable sets is countable.
BenCawaling@Yahoo.com
| |||