[FOM] history of diagonal argument

Robert Black Mongre at gmx.de
Sun Jul 22 03:34:19 EDT 2007

Does it have to be decimal? In the paper you 
mention Cantor shows by diagonalization that 
there are uncountably many formal binary 
expansions. Then in §4 of the Beitraege (see pp. 
288-289 of the Zermelo-edited Abhandlungen) he 
argues that only countably many of the reals have 
two binary expansions and that removing a 
countable set from a set of power 2^Âleph_0 
doesn't affect cardinality. See Zermelo's 
editorial note on pp. 280-81.


>This is a question about the form of Cantor's diagonal argument as applied
>to decimal expansions of real numbers.
>The argument appears in
>author = "Georg Cantor",
>title = "{\"U}ber eine elementare {Frage} der {Mannigfaltigkeitslehre}",
>journal = "Jahresbericht der Deutschen Mathematischen Vereinigung",
>volume = "I",
>year = "1890--91",
>pages = "75--78"}
>It can be read on-line at
>Cantor's stated purpose is to exhibit uncountable infinities without
>using irrational numbers
>(unabh\"angig von der Betrachtung der Irrationalzahlen)
>and, indeed, no decimal expansions appear in the paper.
>Now I am perfectly willing to believe that Cantor must have realized
>that a proof of the uncountablity of the reals along these lines is
>possible but I have trawled through his collected works and I have not
>been able to find any explicit reference to a proof like this.
>I could also find no mention in Dauben's book on Cantor's mathematics.
>The earliest place I have been able to find the decimal-diagonalization
>proof is `Theory of Sets of Points' by Young and Young (1906),
>with a reference to the above paper.
>My question is twofold:
>- can someone point me to a place where Cantor explicitly wrote down
>   the decimal-diagonal argument or, again explicitly, mentioned the
>   possibility of such a proof?
>- failing that: is there a reference earlier than Young and Young's book
>   where this proof appears?
>KP Hart
>E-MAIL: K.P.Hart at TUDelft.NL           PAPER: Faculty EEMCS
>PHONE:  +31-15-2784572                       TU Delft
>FAX:    +31-15-2787245                       Postbus 5031
>URL:    http://fa.its.tudelft.nl/~hart       2600 GA  Delft
>                                              the Netherlands
>FOM mailing list
>FOM at cs.nyu.edu

This mail is coming from my gmx address because 
the University of Nottingham doesn't allow smtp 
access from off campus. You can reply either to 
the address from which this comes or to 
<Robert.Black at nottingham.ac.uk> - either way I'll 
get it.

Robert Black
Dept of Philosophy
University of Nottingham
Nottingham NG7 2RD

tel. 0115-951 5845
home tel. 0115-947 5468
[in Berlin: 0(049)30-44 05 69 96]
mobile 0(044)7974 675620

More information about the FOM mailing list