FOM: a correction

William Tait wwtx at
Mon Feb 12 12:17:12 EST 2001

I just now posted a brief note in which I said that Cantor's 1874 
proof that the reals in an interval are uncountable is constructive. 
It isn't; but it can easily be made constructive---as Stuart noted, 
there is a constructive proof in Bishop's book.


More information about the FOM mailing list