FOM: a correction

William Tait wwtx at midway.uchicago.edu
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.

Bill




More information about the FOM mailing list